图论算法_2013.ppt

现代图论算法;目录;一，引例; 为了寻找答案，1736年欧拉把陆地缩为一点，把桥作为连接点的边，将这个问题抽象成图形的一笔画问题。即能否从某一点开始不重复地一笔画出这个图形，最终回到原点。欧拉在他的论文中证明了这是不可能的，因为这个图形中每一个顶点都与奇数条边相连接，不可能将它一笔画出，这就是古典图论中的第一个著名问题。;“巧渡河”问题;“巧渡河”问题的解;(1,1,1,1) (1,1,1,0) (1,1,0,1) (1,0,1,1) (1,0,1,0) (0,0,0,0) (0,0,0,1) (0,0,1,0) (0,1,0,0) (0,1,0,1);其他模型;网络流问题;网络流问题;全一问题;全一问题;最短网络问题;最短网络问题;Pollak－Gilbert猜想;Pollak－Gilbert猜想;Pollak－Gilbert猜想;Pollak－Gilbert猜想;二，基本图论概念;;[定义] 孤立点 若a∈V，a不与其他顶点相邻，称a为孤立点(isolated vertex)。;[定理1 (握手定理Handshaking)] 设无向图G=V, E有n个顶点，m条边，则G中所有顶点的度之和等于m的两倍。即 证明思路：利用数学归纳法。 [定理2] 无向图中度为奇数的顶点个数恰有偶数个。 证明思路：将图中顶点的度分类，再利用定理1。;[定理3