路与连通性

路的相关概念：

设G=(V,E)是一个图,点边交错序列Ｐ=v_i1e_i1v_i2e_i2···v_ike_ikv_ik+1e_ik+1称为G中连接v_i和v_ik+1的一条路(path),如果e_ij=v_ijv_ij+1,j=1,2,··· , k.(这些顶点和边可以相同,也可以不同)

当路P中v_i1,v_i2 ，··· ，v_ik，v_ik+1是互不相同时,称Ｐ为简单路(或路)，称v_i1和v_ik+1为路P的两个端点,其它点称为内部点，称路Ｐ的长度(length)为k.

称图G=(V,E;w)为赋权图,如果G=(V,E)为图,并且有函数w:E→R⁺或w:V→R⁺.

设Ｐ是连接v_i1和v_ik+1的路,称Ｐ为一个圈(cycle)(回路),如果v_i1=v_ik+1;此时圈的长度就是Ｐ中的所含边的数目(也是Ｐ中的顶点数目).

设G=(V,E)为n阶图, P是G中的任何一条连接u和v的路,则G中存在(另)一条连接u和v的路,其长度≤n－1.(特别地,当u=v时,长度≤n)同样,设C为图G中的一个圈,当u的顶点互不相同时, C的长度≤n.

 

连通性：

设G=(V,E)是一个图, 称G是连通图(connectedgraph),如果对于任意的点u,v∈V,G中都存在一条路P来连接u和v.否则称G是不连通的。

设G=(V,E)是一个图,在V上定义一个关系R, uRv当且仅当 G中存在一条路P(u,v)来连接顶点u和v, 则能够验证关系R是V上的一个等价关系.通过等价关系R，可构造等价类

[u]_R={v∈V︱uRv}，于是图G能够被划为一些子图G₁,G₂··· G_k,这里G_i是由G的某一个等价类构成的子图,称G_i为G的连通分支(component).这里k称为G的连通分支数目,则记ω(G)=k.当ω(G)=1时, 也称G称为连通图.

反圈：

距离：