[論文レビュー] Forcing k-blocks in graphs by minimum and average degree conditions

Johannes Carmesin, Reinhard Diestel+2 more|arXiv (Cornell University)|May 20, 2013

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

ひとこと要約

本稿では、k-ブロック（少なくともk個の頂点からなる高連結な最大部分集合）を含むグラフを保証する最小次数および平均次数の条件を確立する。次数閾値を分析することで、十分に高い最小次数または平均次数が、このような高連結な部分構造の存在を保証することを証明し、構造的グラフ理論および連結性理論に貢献する。

ABSTRACT

We investigate what conditions on the minimum or average degree of a graph ensure that it contains a k-block, a (maximal) set of at least k vertices no two of which can be separated by fewer than k vertices. 1

研究の動機と目的

• グラフがk-ブロックを含むことを保証する最小および平均次数の閾値を特定すること。
• 最大の高連結部分構造（k-ブロック）に焦点を当てることで、既存の連結性に関する結果を拡張すること。
• 次数に基づく条件を通じて、極値グラフ理論と構造的グラフ理論を橋渡しすること。
• 任意のグラフにおいて、大きな高連結部分グラフが存在することを保証する十分条件を提示すること。

提案手法

• 極値グラフ理論的手法を用いて、頂点次数とk-ブロックの存在との関係を分析する。
• k-ブロックを、サイズがk未満の分離集合を持たないk個の頂点の最大集合として定義する。
• 次数和および平均次数の議論を用いて、k-ブロックの存在に必要な十分条件を導出する。
• 帰納法および構造的分解を用いて、グラフの部品と連結性を分析する。
• 既知の高連結部分グラフに関する結果を活用し、最小次数要件を上限付ける。
• 高平均次数が密集部分グラフにおいて高最小次数を意味することを確立し、k-ブロック形成を支援する。

実験結果

リサーチクエスチョン

• RQ1 どの最小次数条件がグラフにk-ブロックの存在を保証するか？
• RQ2 グラフの平均次数はk-ブロックの存在にどのように関係するか？
• RQ3 次数条件を用いて、サイズが少なくともkの最大の高連結部分構造の存在を強制できるか？
• RQ4 グラフのグローバル構造にかかわらず、k-ブロックを含む必要がある閾値は何か？
• RQ5 k-ブロックの存在を保証するにあたり、次数に基づく制約どうしがどの程度の強さを示すか？

主な発見

• 最小次数が少なくとも 2k − 2 であるグラフは、k-ブロックを含む。
• 平均次数が少なくとも 4k − 6 であれば、任意のグラフにk-ブロックが存在することが十分である。
• 極値構成によって示されるように、最小次数条件は定数倍の意味でタイトである。
• 平均次数条件は、大規模なグラフにおいて漸近的に最良である。
• 結果は、局所的およびグローバルな連結性が次数閾値によって強制されることを示している。
• 極値の場合に、必要かつ十分な次数条件がk-ブロックの存在を保証することを示している。