三正則二部グラフの対支配数の上界を証明
Paired Domination in Cubic Bipartite Graphs
この論文をやさしく読む
ひとことで言うと
三正則二部グラフで、すべての頂点を覆い、選んだ頂点同士も対にできる集合の最小サイズを評価した。
何に役立つ？
グラフの支配集合とマッチングに関する組合せ論の予想の解決に役立つ。
この研究の面白いところ
従来予想のn/2という上界を、端数まで考慮した鋭い整数上界として証明し、等号を満たす例も挙げた。
どこまで分かった？
対象は有限な単純三正則二部グラフに限られる。一般の正則グラフへの同じ上界は要旨では主張されていない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
グラフGの対支配集合とは、支配集合Dであって、Dが誘導する部分グラフG[D]に完全マッチングがあるものをいう。その最小の大きさが対支配数γpr(G)である。DesormeauxとHenningは、頂点数nの任意の三正則二部グラフGでγpr(G)≤n/2になると予想した。本研究は、任意の有限な単純三正則二部グラフGについて、より鋭い整数形γpr(G)≤2⌊|V(G)|/4⌋でこの予想を証明する。証明は、完全マッチングに沿った有向縮約、支配木に基づく切り替えの議論、二辺カットに対する四記号の境界計算法、Gallai–Edmonds分解を組み合わせる。|V(G)|を4で割った余りが2の場合はK₃,₃が、0の場合は立方体グラフQ₃が等号を達成する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-24（UTC）
- 最新改訂
- 2026-09-24 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-24 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A paired dominating set of a graph $G$ is a dominating set $D$ such that $G[D]$ has a perfect matching. The minimum size of such a set is the paired domination number $\gpr(G)$. Desormeaux and Henning conjectured that every cubic bipartite graph $G$ of order $n$ satisfies $\gpr(G)\le n/2$. We prove the conjecture in the sharp integer form $\gpr(G)\le 2\lfloor |V(G)|/4\rfloor$ for every finite simple cubic bipartite graph $G$. The proof combines a directed contraction along a perfect matching, switching arguments based on dominator trees, a four-symbol boundary calculus for two-edge cuts, and the Gallai--Edmonds decomposition. Equality is attained by $K_{3,3}$ when $|V(G)|\equiv2\pmod4$ and by the cube $Q_3$ when $|V(G)|\equiv0\pmod4$.
arXiv ID: 2609.30152 ／ 要約の誤りについて