[論文レビュー] Seymour's second neighbourhood conjecture for quasi-transitive oriented graphs

Gregory Gutin, Ruijuan Li|arXiv (Cornell University)|Apr 5, 2017

Advanced Graph Theory Research参考文献 5被引用数 8

ひとこと要約

この論文は、トーナメントや推移的有向グラフの上位クラスである準順序有向グラフにおいて、セイヤモアの第二近傍予想を証明する。正規分解と中央順序技術を用いて、出次数が0である頂点を含まないすべての準順序有向グラフには、第一出隣接集合の大きさ以上に第二出隣接集合の大きさを持つ頂点が少なくとも2つ存在することを確立する。

ABSTRACT

Seymour's second neighbourhood conjecture asserts that every oriented graph has a vertex whose second out-neighbourhood is at least as large as its out-neighbourhood. In this paper, we prove that the conjecture holds for quasi-transitive oriented graphs, which is a superclass of tournaments and transitive acyclic digraphs. A digraph $D$ is called quasi-transitive is for every pair $xy,yz$ of arcs between distinct vertices $x,y,z$, $xz$ or $zx$ ("or" is inclusive here) is in $D$.

研究の動機と目的

• 準順序有向グラフ（トーナメントや推移的無閉路有向グラフを含むクラス）におけるセイヤモアの第二近傍予想を解決すること。
• トーナメントや無閉路有向グラフに関する既知の結果を、より豊かな構造的性質を有するより広いクラスの有向グラフへと拡張すること。
• 出次数が0である頂点を含まない準順序有向グラフに、少なくとも2つのセイヤモア頂点（|N⁺(v)| ≤ |N⁺⁺(v)| を満たす頂点）が存在することを確立すること。
• 定理1.2（トーナメントには少なくとも2つのセイヤモア頂点が存在する）を、準順序有向グラフのクラスへ一般化すること。

提案手法

• バン・ジーセンとアンダーソンが確立した、準順序有向グラフを強連結成分とトーナメントに分解する正規分解を用いる。
• トーナメントに既に用いられていた中央順序アプローチを、拡張トーナメントおよびその部分構造へと拡張して適用する。
• グラフの位数に関する帰納法を用い、強連結でない準順序有向グラフと強連結な準順序有向グラフを区別して処理する。
• 拡張トーナメントにおける部品集合の構造を分析し、部分構造間でセイヤモア頂点を同定する。
• ある頂点が部分グラフ内でセイヤモア頂点であり、かつ同じ部品集合内の他の頂点へ出隣接がない場合、それが全体のグラフでもセイヤモア頂点のまま保たれることを用いる。
• 強連結な準順序有向グラフにおいて、終端の強連結成分にセイヤモア頂点が存在するならば、それが全体のグラフに対しても同様に存在することを活用する。

実験結果

リサーチクエスチョン

• RQ1 セイヤモアの第二近傍予想は、すべての準順序有向グラフに対して成り立つか？
• RQ2 トーナメントに用いられた中央順序技術を、準順序有向グラフにおいて複数のセイヤモア頂点の存在を証明するために拡張できるか？
• RQ3 準順序有向グラフのどのような構造的性質が、少なくとも2つの頂点に対して第二出隣接集合の大きさが第一出隣接集合の大きさ以上になることを保証するか？
• RQ4 準順序有向グラフの正規分解は、予想の証明をどのように支援するか？
• RQ5 拡張トーナメントの部品集合内の頂点が、完全な準順序有向グラフにおいてもセイヤモア頂点のまま保たれる条件は何か？

主な発見

• この論文は、出次数が0である頂点を含まないすべての準順序有向グラフに、|N⁺(v)| ≤ |N⁺⁺(v)| を満たす頂点が少なくとも2つ存在することを証明し、このクラスにおけるセイヤモアの第二近傍予想を確認した。
• 予想は、準順秩序有向グラフの部分クラスである拡張トーナメントに対しても成り立ち、中央順序と分解技術に依存した証明がなされている。
• 強連結でない準順秩序有向グラフでは、終端の強連結成分にセイヤモア頂点が存在するため、少なくとも2つのセイヤモア頂点の存在が保証される。
• 強連結な準順秩序有向グラフでは、正規分解を用いて強連結トーナメントと部分グラフに分解し、異なる部品集合に属する頂点が候補として機能することにより、少なくとも2つのセイヤモア頂点の存在が確立される。
• ある頂点が部分グラフ内でセイヤモア頂点であり、かつ同じ部品集合内の他の頂点へ出隣接がない場合、それが完全なグラフでもセイヤモア頂点のまま保たれる。
• この結果は、定理1.2（トーナメントには少なくとも2つのセイヤモア頂点が存在する）を、より広いクラスの準順秩序有向グラフへ一般化したものである。