本論文では、Diracの定理の拡張的な結果を示している。
まず、Diracの定理は、グラフGの最小頂点次数δ(G)が大きい場合、Gにはある長さ以上のサイクルが存在することを保証する。この定理は構成的であり、多項式時間アルゴリズムによってそのようなサイクルを見つけることができる。
しかし、Diracの定理では、サイクルの長さが2δ(G)以上であることしか保証されない。そこで、著者らは以下の2つの問題について考察している:
これらの問題は、Diracの定理の拡張として自然に考えられるが、既存の手法では解決できないことが知られていた。
本論文では、これらの問題を解決するため、新しい構造定理を示している。具体的には、Dirac分解と呼ばれる新しいグラフ分解を定義し、その性質を利用することで、2δ(G-B)+kの長さのサイクルの存在を2^O(k+|B|) * n^O(1)時間で判定できることを示している。
この結果は、Diracの定理の効率的な拡張であり、いくつかの既存の未解決問題の解決にもつながっている。
Na inny język
z treści źródłowej
arxiv.org
Głębsze pytania