[論文レビュー] The existence of a path-factor without small odd paths

Yoshimi Egawa, Michitaka Furuya|arXiv (Cornell University)|Mar 30, 2015

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

ひとこと要約

本稿は、グラフ G における {P₂, P₅}-ファクターの存在の十分条件を確立する。任意の部分集合 X ⊆ V(G) に対して、不等式 c₁(G−X) + (2/3)c₃(G−X) ≤ (4/3)|X| + 1/3 が成り立つならば、G は {P₂, P₅}-ファクターをもつ。この結果は、既知のパスファクター理論を一般化し、{P₂, P₂ₖ₊₁}-ファクターの理論的基盤を提供するが、その決定問題は NP-完全である。

ABSTRACT

In this paper, we show that if a graph $G$ satisfies $c_{1}(G-X)+\frac{2}{3}c_{3}(G-X)\leq \frac{4}{3}|X|+\frac{1}{3}$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{5}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$.

研究の動機と目的

• グラフにおける {P₂, P₅}-ファクターの存在の十分条件を確立すること。これは一般に NP-完全であるが、理論的に重要な問題である。
• P₃ を含む小さな奇数長パスを除外する成分数え上げ条件に一般化することで、既知のパスファクターに関する結果を拡張すること。
• {P₂, P₂ₖ₊₁}-ファクターの研究の理論的基盤を提供すること。k ≥ 2 ではその決定問題は NP-完全である。
• 具体的なグラフ構成を用いて、十分条件における境界のタイトさを示すこと。すなわち、不等式を満たすが {P₂, P₅}-ファクターをもたないグラフの族を構成する。
• k ≥ 3 に対して {P₂, P₂ₖ₊₁}-ファクターの存在に関する予想を提示し、境界における最良の係数を同定すること。

提案手法

• すべての部分集合 X ⊆ V(G) に対して、G−X における孤立頂点（c₁）と3頂点成分（c₃）の挙動を分析することで、グラフの構造的分解を実行する。
• 既知の同値性を適用する：G が {P₂, P₅}-ファクターをもつことと、P₃ 成分を含まないパスファクターをもつことは同値である。
• 主な議論は、G−X の成分構造に関する帰納法とケース解析に依存し、P₅ が P₂ と P₃ に分解可能であるが、焦点は小さな奇数長パスの除外にある。
• 補助的グラフを構成し、二重数え上げの手法を用いて、|X| に対して小さな成分の数を評価し、c₁ と c₃ を含む重要な不等式に到達する。
• タイトさは、完全グラフと連結されたパスから構成されるグラフ族 H′ₙ を用いて示される。これらのグラフは境界を満たすが {P₂, P₅}-ファクターをもたない。
• k ≥ 3 に対しては、j < k に対して順序 2j+1 の成分をもつグラフを分析することで、k ≡ 0 (mod 3) の場合に一般化される。

実験結果

リサーチクエスチョン

• RQ1 一般に NP-完全である {P₂, P₂ₖ₊₁}-ファクター問題であるが、どのような条件下でグラフは {P₂, P₅}-ファクターをもつのか？
• RQ2 c₁(G−X) と c₃(G−X) を含む成分数え上げ条件が、{P₂, P₅}-ファクターの存在の十分条件として機能するか？
• RQ3 十分条件における境界 (4/3)|X| + 1/3 は最良であるか、それより改善可能か？
• RQ4 k ≥ 3 に対して、{P₂, P₂ₖ₊₁}-ファクターの存在を保証する線形境界 ∑c₂ⱼ₊₁(G−X) における最良の係数は何か？
• RQ5 {P₂, P₂ₖ₊₁}-ファクターをもたないグラフの構造を用いて、必要十分条件をタイトに導出可能か？

主な発見

• すべての X ⊆ V(G) に対して、c₁(G−X) + (2/3)c₃(G−X) ≤ (4/3)|X| + 1/3 が成り立つことは、{P₂, P₅}-ファクターの存在の十分条件である。
• 境界 (4/3)|X| + 1/3 は最良であり、不等式を満たすが {P₂, P₅}-ファクターをもたない無限個のグラフが存在する。
• k ≥ 3 かつ k ≡ 0 (mod 3) の場合、すべての X に対して ∑₀≤ⱼ≤ₖ₋₁c₂ⱼ₊₁(G−X) ≤ (4k+6)/(8k+3)|X| + (2k+3)/(8k+3) を満たすが {P₂, P₂ₖ₊₁}-ファクターをもたない無限個のグラフが存在する。
• この境界における係数 (4k+6)/(8k+3) は、このようなグラフにおいてタイトであり、{P₂, P₂ₖ₊₁}-ファクターの予想される十分条件における最良係数である可能性を示唆する。
• この結果は、{P₂, P₂ₖ₊₁}-ファクターの理論的枠組みを提供するが、k ≥ 2 では決定問題が NP-完全である。
• 本稿は、{P₂, P₅}-ファクター問題が一般には多項式時間で解けないことを確認するとともに、タイトで一般化可能な強い十分条件を提供する。