离散数学图论作业

问题二

求证：一个简单无向图是二分图的充分必要条件是图中不存在长度为奇数的回路。

证明

必要性

    现在有一个二分图$G$，假设其存在一条长度为奇数的回路，不妨设长度$k = 2*k'+1$，其回路节点依次为$v_1,v_2,v_3,...,v_k$，$(v_i,v_{i+1})$存在一条边，$(v_k,v_1)$亦有边。
     我们将该二分图的点集分为$(V_1,V_2)$显然，$v_1$和$v_2$不能同时在$V_1$或者$V_2$，因为他们之间有边相连。不难得出，$v_1,v_3,v_5,...,v_{k^{''}}, k'' \leq k'$在同一个点集，剩下的在另一个。这里可以得出，$v_1$和$v_k$必须在同一个点集，但他们之间又有边，根据二分图的性质，不能在同一个点集，矛盾。所以不存在奇数回路。必要性得证。

充分性

     假设一个图只存在偶数回路，证明其必为一个二分图。下为证明。
     显然，对于任意偶数回路$v_1,v_2,v_3,...,v_k， k = 2*k'$，均可将其分为两个点集，使其成为一个二分图。
     如果该图中所有偶数回路划分的点集均不冲突，则可以将该图分为两个点集，构成二分图。
     假设存在两条路径$v_1,v_2,v_3,...,v_k， k = 2*k'$，$w_1,w_2,w_3,...,w_k， k = 2*k'$，其中存在$i,j$,使$w_{i'} = v_i, w_{j'} = v_j$，$v_i, v_j$在同一个点集而$w_{i'}, w_{j'}$不在同一个点集。
     如果$v_i, v_j$在同一个点集，则$v_i, v_j$存在一条长度为偶数的通路。
     如果$w_{i'}, w_{j'}$不在同一个点集，则$w_{i'}, w_{j'}$存在一条长度为奇数的通路。
     若路径无重复，则可以得出$v_i, v_j$存在一条长度奇数的回路，矛盾。
     若路径有重复，重复部分必然经过偶数次，删去后，对回路长度的奇偶性无影响吗，即仍然存在长度为奇数回路，矛盾。
     充分性得证。

问题三

举例说明Dijkstra算法不适用于带负权的带权图。

假设计算1号节点到3号节点的最短路，标准的Dijkstra算法在第一步更新了3号节点就会终止程序（已经更新到了终点），得出最短路长度为2。但显然最短路长度为1。
Dijkstra的正确性证明，即贪心证明，是基于边权非负的，在这里就不阐述。