三次グラフの制限付き支配集合の難しさを証明
On $1$-limited and $(1,2)$-domination in cubic graphs
この論文をやさしく読む
ひとことで言うと
各頂点が3本の辺を持つグラフで、外とのつながりに制限を設けた支配集合を求める問題の難しさと、特定のグラフ族での厳密値を調べています。
何に役立つ？
制限付き支配集合の計算複雑性を整理し、未解決予想を検討する具体的な無限族を提供する基礎研究です。
この研究の面白いところ
一般のグラフだけでなく、平面に交差なく描け、2連結でもある三次グラフに絞ってもNP完全です。その一方でGoldberg族では支配数を厳密に決めています。
どこまで分かった？
Goldberg族で予想を支持する結果が得られたことは、すべての三次グラフについて予想を証明したという意味ではありません。具体的な厳密値の式は要旨に記載されていません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
グラフの支配集合Dは、Dのすべての頂点がDの外に高々1つの隣接頂点しか持たないとき、1制限付きと呼ばれる。一方、(1,2)支配集合は、集合の各頂点が集合内に少なくとも2つの隣接頂点を持つ支配集合である。この2つの概念は三次グラフ上で一致する。われわれは、1制限付き支配集合の決定問題が、2連結な平面三次グラフに限定してもNP完全であることを証明し、固定されたすべての正整数kについて、k制限付き支配集合に関する既知の計算複雑性の結果を完成させる。また、Goldberg族全体について、1制限付き支配数の厳密値を決定する。これによって、(1,2)支配と誘導閉路に関する複数の未解決予想および提案された境界を支持する、三次グラフの新たな無限族が得られる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-10-01（UTC）
- 最新改訂
- 2026-10-01 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-10-01 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A dominating set $D$ of a graph is called $1$-limited if every vertex of $D$ has at most one neighbor outside $D$, while a $(1,2)$-dominating set is a dominating set in which every vertex of the set has at least two neighbors within the set. These two notions coincide on cubic graphs. We prove that the decision problem 1-Limited Dominating Set is $\mathsf{NP}$-complete even when restricted to $2$-connected planar cubic graphs, thereby completing the known complexity results for $k$-Limited Dominating Set for all fixed positive integers $k$. We also determine the exact $1$-limited domination number of the entire Goldberg family. This provides a further infinite family of cubic graphs supporting several open conjectures and proposed bounds concerning $(1,2)$-domination and induced cycles.
arXiv ID: 2610.01796 ／ 要約の誤りについて