Der Beweis des Hauptresultats basiert auf einer neuen Graphzerlegung, die wir Dirac-Zerlegung nennen. Diese Zerlegung hat nützliche algorithmische Eigenschaften und ermöglicht es, den Zyklus schrittweise zu verlängern. Dafür werden mehrere Hilfssätze bewiesen, die von eigenständigem Interesse sind.
Zunächst werden die klassischen Resultate von Dirac und Erdős-Gallai verallgemeinert, um Zyklen und Pfade in Abhängigkeit von den Knotengraden in G −B zu betrachten. Darauf aufbauend wird ein Algorithmus für das Problem "Long (s, t)-Cycle" entwickelt, der in Zeit 2O(k) · nO(1) entscheidet, ob es einen Zyklus durch zwei gegebene Knoten s und t mit Länge mindestens k gibt.
Für den Hauptbeweis wird dann gezeigt, dass in polynomieller Zeit entweder ein Dirac-Zerlegung konstruiert werden kann oder zusätzliche strukturelle Informationen gewonnen werden, die zur Verlängerung des Zyklus verwendet werden können. Insbesondere wird ein Algorithmus für den Fall entwickelt, dass die Mindestgrade in G −B nahe bei n/2 liegen.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询