关于强连通有向图的一个定理之简证

1984年美国数学评论(MR.84g∶05069)上刊登了Horák,Peter的下述结果。定理设D是含至少二个点的强连通图,则(?)v∈(D),(?)u(v)≠v,使D—u(v)是单侧连通的而且v可达到D—u(v)中的每个点。评论指出此定理结合了D.P.Geller:B.Manvel、P.K.Stockmeyer与D.J.A.Welsh等的已有结果(MR.42~#1718;MR.44~#2668)。本文将利用D.E.Knuth的一个引理J.of Combin.Theory (B) 16 (1974) 42—46,]来给出此定理的一个简单证明。