有向图的可迹性与泛连通性点对.docVIP

摘  要  本文分为两章对局部内（外）半完全有向图及其扩张有向图的可迹性和 竞赛图及扩张竞赛图中的泛连通性点对这两个方面分别作了讨论． 第一章里我们研究了局部内（外）半完全有向图及扩张的局部内（外）半 完全有向图的可迹性问题．１．１节介绍了与内容相关的概念和引理，１．２节 证明了对于连通的ｎ阶局部内半完全有向图Ｄ，若它中任意不相邻的受控 点对｛ｚ，ｇ），满足ｄ（ｚ）≥？－ｔ，ｄ（ｙ）≥礼一１，或ｄ（ｘ）≥礼一ｌ，ｄ（ｙ）≥扎，则Ｄ是可迹 的．同时还证明了对ｎ阶连通的局部内半完全有向图Ｄ中的任意不相邻的 受控点对｛ｚ，Ⅳ），若ｍｉｎ｛ｄ＋（。）＋ｄ－（Ⅳ），ｄ－（。）＋ｄ＋（ｇ））≥扎一１，则Ｄ可迹．然 后，利用逆图的性质我们把这两个结论推广到连通的局部外半完全有向图 中． １．３节研究了ｎ阶连通的扩张局部内半完全有向图＿Ｄ的可迹性．我们 证明了对于Ｄ中任意不相邻的受控点对｛ｚ，Ⅳ）和Ｄ中任意不相邻的控制点 对｛“，＂），如果ｄ（ｘ）≥ｎ，ｄ（ｙ）≥扎一１，或ｄ（ｘ）≥ｎ一１，ｄ（ｙ）≥扎，且ｄ（“）≥ｎ—ｌ， ｄ（ｖ）≥佗一１，则Ｄ是可迹的．同时我们将此结论推广到了连通的扩张局部 外半完全有向图中． 第二章研究了竞赛图和扩张竞赛图中的泛连通性点对．首节给出了与 内容相关的基本概念和相关结论． ２．２节证明了阶为ｎ的连通的但非强连 通的竞赛图Ｔ中存在两点ｕ＾使得｛钍，”）是Ｔ的泛连通性点对，并且给出 了寻找这个点对的一个好算法．同时我们还得到若Ｄ是可传递的竞赛图， 则在Ｄ中存在唯一的泛连通性点对． ２．３节给出了扩张竞赛图中存在泛连 通性点对的两个充分条件，并且证明了若Ｄ是可传递的多部竞赛图，且不 是竞赛图，则Ｄ中无泛连通性点对． 关键词：Ｈａｍｉｌｔｏｎ路；Ｈａｍｉｌｔｏｎ圈；扩张有向图；局部内（外）半完全有向 图；竞赛图；泛连通性点对 中图分类号：０１５７．５ ＡＢＳＴＲＡＣＴ  Ｔｈｉｓ ｐａｐｅｒ  ａｒｅ  ｃｏｍｐｏｓｅｄ ｏｆ ｔｗｏ ｃｈａｐｔｅｒｓ，ｉｎ ｗｈｉｃｈ ｗｅ ｓｔｕｄｙ ｔｈｅ ｈａｍｉｌｔｏｎｉａｎ ｐａｔｈｓ ｉｎ ｌｏｃａｌｌｙ ｉｎ（ｏｕｔ）－?ｓｅｍｉｃｏｍｐｌｅｔｅ ｄｉｇｒａｐｈｓ ａｎｄ ｅｘｔｅｎｄｅｄ ｌｏｃａｌｌｙ ｉｎ（ｏｕｔ）－－ｓｅｍｉｃｏｍ—，ｐｌｅｔｅ ｄｉｇｒａｐｈｓ，ａｎｄ ｗｅ ａｌｓｏ ｓｔｕｄｙ ｐａｎｐａｔｈｉｃａｌ ｖｅｒｔｉｃｅｓ—ｐａｉｒ ｉｎ ｔｏｕｒｎａｍｅｎｔｓ ａｎｄ ｅｘｔｅｎｄｅｄ ｔｏｕｒｎａｍｅｎｔｓ Ｉｎ ｔｈｅ ｆｉｒｓｔ ｃｈａｐｔｅｒ，Ｈａｍｉｌｔｏｎ ｐａｔｈ ｐｒｏｂｌｅｍｓ  ａｒｅ ｄｉｓｃｕｓｓｅｄ．Ｓｏｍｅ ｄｅｆｉｎｉｔｉｏｎｓ ａｎｄ ｒｅｌａｔｉｖｅ ｒｅｓｕｌｔｓ ａｒｅ ｇｉｖｅｎ ｉｎ ｓｅｃｔｉｏｎ １ １．Ｉｎ ｓｅｃｔｉｏｎ １．２．ｔｗｏ ｓｕｆｆｉｃｉｅｎｔ ｃｏｎｄｉｔｉｏｎｓ ｆｏｒ ｔｈｅ ｅｘｉｓｔｅｎｃｅ ｏｆ ａ ｈａｍｉｌｔｏｎｉａｎ ｐａｔｈ ｉｎ ａ ｌｏｃａｌｌｙ ｉｎ－ｓｅｍｉｃｏｍｐｌｅｔｅ ｄｉｇｒａｐｈ ａｒｅ ｄｅｓｃｒｉｂｅｄ， ｗｈｉｃｈ ａｒｅ ｌｉｓｔｅｄ  ａｓ ｆｏｌｌｏｗ：（ｉ）Ｌｅｔ Ｄ ｂｅ ａ ｃｏｎｎｅｃｔｅｄ ｌｏｃａｌｌｙ ｉｎ—ｓｅｍｉｃｏｍｐｌｅｔｅ ｄｉｇｒａｐｈ ｏｆ ｏｒｄｅｒ ｎ≥２．Ｓｕｐｐｏｓｅ ｔｈａｔ ｆｏｒ ｅｖｅｒｙ ｄｏｍｉｎａｔｅｄ ｐａｉｒ ｏｆ ｎｏｎ—ａｄｊａｃｅｎｔ ｖｅｒｔｉｃｅｓ｛％Ⅳ）， ｅｉｔｈｅｒ ｄ（甸≥礼ａｎｄ ｄ（ｙ）≥ｎ一１，ｏｒ ｄ（ｘ）２ ｎ一１ ａｎｄ ｄ（ｙ）≥ｎ，ｔｈｅｎ Ｄ ｉｓ ｔｒａｃｅａｂｌｅ． （ｉｉ）Ｌｅｔ Ｄ ｂｅ ａ ｃｏｎｎｅｃｔｅｄ ｌｏｃａｌｌｙ ｉｎ—ｓｅｍｉｃｏｍｐｌｅｔｅ ｄｉｇｒａｐｈ ｏｆ ｏｒｄｅｒⅡ≥２．Ｓｕｐｐｏｓｅ ｔｈａｔ Ｄ ｓａｔｉｓｆｉｅｓ ｍｉｎ｛ｄ＋（ｚ）＋ｄ（Ⅳ），ｄ一（ｚ）＋ｄ＋（Ⅳ））≥ｎ－１ ｆｏｒ ｅｖｅｒｙ ｄｏｍｉｎａｔｅｄ ｐａｉｒ ｏｆｎｏｎ— ａｄｊａｃｅｎｔ ｖｅｒｔｉｃｅｓ托Ⅳ）｝ｔｈｅｎ Ｄ ｉｓ ｔｒａｃｅａｂｌｅ．Ｕｓｅｄ ｔｈｅ ｐｒｏｐｅｒｔｙ ｏｆｔｈｅ ｒｅｖｅｒｓｅ ｄｉｇｒａｐｈｓ， ｔｗｏ ｓｉｍｉｌａｒ ｒｅｓｕｌｔｓ ａｒｅ ｏｂｔａｉｎｅｄ ｆｏｒ ｌｏｃａｌｌｙ ｏｕｔ－ｓｅｍｉｃｏｍｐｌｅｔｅ ｄｉｇｒａｐｈｓ．Ｉｎ ｓｅｃｔｉｏｎ １．３， ｗｅ ｓｈｏｗ ａ ｓｕｆｆｉｃｉｅｎｔ ｃｏｎｄｉｔｉｏｎ ｆｏｒ ａｎ ｅｘｔｅｎｄｅｄ