论文部分内容阅读
一个由ｎ个非负整数有序对构造的序列是有向可图的，如果它是某个有向图的度序列，一个有向可图序列是蕴含强连通，如果它是某个强连通有向图的度序列。Ｂｅｉｎｋｅ和Ｈａｒａｒｙ给出了一个有向可图序列为蕴含强连通的判准，Ｂｅｉｎｅｋｅ－Ｈａｒａｒｙ判准的充分性证明是“相当长”的（见「１」）。本文的目的是给出Ｂｅｉｎｅｋｅ－Ｈａｒａｒｙ判准的充分性的一个简短证明。