[論文レビュー] Properties of Catlin's reduced graphs and supereulerian graphs

Weiguo Chen, Zhi‐Hong Chen+1 more|arXiv (Cornell University)|Jan 7, 2016

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

ひとこと要約

本稿は、度条件の下でのカトリンの縮約グラフの構造的性質と、特にその超オイラー的グラフへの影響を調査する。3-辺連結グラフにおいて、隣接頂点の次数和の下界を漸増させる条件 $ olinebreak[4]\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ を満たす場合、$p$ が 10 から 15 および 16 に増加するに従い、その縮約の様子がどのように変化するかを分析する。$G_a$、$G_b$、$G_c$ といった極値グラフが、超オイラー的でないがその縮約がそれぞれ $P$、$P_{14}$、$P_{16}$ となる境界ケースとして特定される。

ABSTRACT

A graph $G$ is called collapsible if for every even subset $R\subseteq V(G)$, there is a spanning connected subgraph $H$ of $G$ such that $R$ is the set of vertices of odd degree in $H$. A graph is the reduction of $G$ if it is obtained from $G$ by contracting all the nontrivial collapsible subgraphs. A graph is reduced if it has no nontrivial collapsible subgraphs. In this paper, we first prove a few results on the properties of reduced graphs. As an application, for 3-edge-connected graphs $G$ of order $n$ with $d(u)+d(v)\ge 2(n/p-1)$ for any $uv\in E(G)$ where $p>0$ are given, we show how such graphs change if they have no spanning Eulerian subgraphs when $p$ is increased from $p=1$ to 10 then to $15$.

研究の動機と目的

• カトリンの縮約法によって得られる縮約グラフの構造的性質を分析すること。
• 度条件の閾値 $p$ が 10 から 15 に増加するに従い、3-辺連結グラフの縮約がどのように変化するかを特定すること。
• 超オイラー的でないが境界条件 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ を満たす極値グラフを同定すること。
• ペテルセングラフおよびその変種 $P_{14}, P_{16}$ が、$p$ が増加する条件下で非超オイラー的グラフの縮約として果たす役割を調査すること。
• 既存の超オイラー的グラフの度条件の妥当性とタイトネスを検討し、改善の可能性を提案すること。

提案手法

• 非自明な折りたたみ可能部分グラフをすべて単一の頂点に縮約するカトリンの縮約法を適用し、グラフ $G$ の縮約 $G'$ を得る。
• 「$G \in \mathcal{S\!L}$ であることと $G' \in \mathcal{S\!L}$ であることとは同値である」という重要な同値関係を用い、超オイラー的問題を $G'$ の分析に還元する。
• 度条件 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ において $p$ を増加させたときの $G'$ の位数と構造を分析する。ここで $n$ は $G$ の位数である。
• 次数和の上限と二部グラフ部分グラフの分析（例：$H_b$）を用いて、$G'$ が最小周長 5 であり、特定の部分構造を含む場合に矛盾を導く。
• 各成分が完全グラフ $K_s$ または $K_s - e$ であるような極値グラフ $G_a$、$G_b$、$G_c$ を構成し、$G^\prime = P_{14}$、$P_{16}$、または $P$ となることを示す。
• サイズの上限における等号条件（例：$n = \sum |V(H(v))|$）を用いて、等号が成立する場合に各 $H(v)$ が $K_s$ または $K_s - e$ に正確に一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 度条件 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ のパrameter $p$ が増加するに従い、3-辺連結グラフ $G$ の縮約 $G'$ の構造はどのように変化するか？
• RQ2 超オイラー的でないが境界条件 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ を満たす極値グラフは何か？ その縮約は何か？
• RQ3 非超オイラー的グラフで $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ を満たす場合、その縮約が $P_{14}$ または $P_{16}$ となることは可能か？ どのような構造的制約がこれを作動させるか？
• RQ4 度条件 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ が $p = 15$ や $16$ に対してタイトであるかを検証し、もしその条件が緩和された場合に何が起こるか？
• RQ5 度閾値を $\overline{\sigma}_2(G) > \frac{n}{9} - 2$ に下げた場合に、$G$ がペテルセングラフ $P$ に縮約可能であるという予想は成立するか？

主な発見

• $p = 10$ の場合、$\overline{\sigma}_2(G) \geq \frac{2n}{10} - 2$ ならば、$G$ は超オイラー的であるか、その縮約は $P$ である。$\overline{\sigma}_2(G) > \frac{2n}{10} - 2$ ならば、$G$ は必ず超オイラー的である。
• $\overline{\sigma}_2(G) \geq \frac{2n}{14} - 2$ のとき、縮約 $G'$ は $P$ または $P_{14}$ である。極値グラフ $G_b$（$n=14s$ で成分が $K_s$ または $K_s-e$）はこの境界に達する。
• $p = 15$ の場合、$\overline{\sigma}_2(G) > \frac{2n}{15} - 2$ ならば、$G$ は超オイラー的であるか、$G'$ は $\{P, P_{14}\}$ に属する。$p$ の増加に伴い構造の遷移が観察される。
• $n=16s$ で $G' = P_{16}$ となる極値グラフ $G_c$ は、定理 4.1 における条件 $\overline{\sigma}_2(G) \geq \frac{2n}{16} - 2$ を $\frac{2n}{16} - 2$ に緩和できないことを示しており、$G_c$ は超オイラー的でない。
• 等式 $n = \sum_{v \in V(G')} |V(H(v))|$ が成立するのは、各 $H(v)$ が $K_s$ または $K_s - e$ に正確に一致する場合に限る。これにより $G_a$、$G_b$、$G_c$ の極値構造が強制される。
• $\overline{\sigma}_2(G) > \frac{n}{9} - 2$ ならば $G$ は超オイラー的であるか、$P$ に縮約可能であるという予想は未解決のままだが、極値グラフの結果からその真実性が示唆される。