Prop. 设G是竞赛图,即完全图的一个定向。则G必有哈密顿path. 证明: 反证。设n=|V|, 且P={ 1,2,3,…,k}(k<n)是G中的最长path. 则对任取的a∉P, 我们有下图 如果a和1