定义
每对顶点之间都有一条边相连的有向图称为竞赛图.
结论
定理1:任意一个竞赛图存在一条Hamiltion路径
证明:
①一个只有一个点的竞赛图存在Hamiltion路径.
②由n个点构成的存在Hamiltion路径的竞赛图,对这条路径上的点按照拓扑序1..n标号,新点标号为n+1.
若存在E(n+1,1)或者E(n,n+1),则可以将新点加载Hamiltion路径的头或者尾,否则必定存在相邻的形如E(i,n+1)和E(n+1,i+1)的边,将E(i,i+1)删去加入新的两条边,则构成新的Hamiltion路径.
证毕.
定理2:一个竞赛图存在Hamiltion回路的充要条件该图强连通
证明:
充分性:
根据Hamiltion回路定义,存在Hamiltion回路的图一定强连通
必要性:
①点数等于3的强连通竞赛图存在Hamiltion回路.
②由n个点构成的存在Hamiltion回路,新加入编号为n+1的点.
若n+1号点向前n个点的连边全部同向,则该图不强连通,故存在两条不同向的边,存在两条不同向且相邻的边,将原图上的边去掉加上这两条边,则新图存在Hamiltion回路.
证毕.