图论的基本定理

1.握手定理：点度之和为边数的二倍
推论：奇数度的节点数必为偶数
2.一个简单有向图是强连通的，当且仅当G中有一条包含每个节点的有向闭道路
3.在简单有向图中，每个节点位于且仅位于一个强分图中。
4.设G=(V,E)是一个n阶的简单有向图，A是G的邻接矩阵。对k>=1，令，则表示G从Vi到Vj的长度为k的有向道路的数目。
推论1：使>0的最小值k，是G从Vi到Vj的距离d(Vi,Vj)。
推论2：令
，则存在t,s使>0和>0,当且仅当G中有一条包含Vi和Vj的有向回路。
5.计算强分图：
利用warshall算法求得可达性矩阵P，根据

求得G，G中每行不为零的元素组成一个强分图。