[論文レビュー] The Interplay Between Domination and Separation in Graphs

Dipayan Chakraborty, Annegret K. Wagler|arXiv (Cornell University)|Jan 28, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文はグラフにおける4つの分離性質（location、closed-separation、open-separation、full-separation）を研究し、それらと支配コードおよび総支配コード（X-codes）との相互作用を探求し、最小分離集合のNP困難性を証明し、グラフ補集合における振る舞いを分析する。

ABSTRACT

In the literature, several identification problems in graphs have been studied, of which, the most widely studied are the ones based on dominating sets as a tool of identification. Hereby, the objective is to separate any two vertices of a graph by their unique neighborhoods in a suitably chosen dominating or total-dominating set. Such a (total-)dominating set endowed with a separation property is often referred to as a code of the graph. In this paper, we study the four separation properties location, closed-separation, open-separation and full-separation. We address the complexity of finding minimum separating sets in a graph and study the interplay of these separation properties with several codes (establishing a particularly close relation between separation and codes based on domination) as well as the interplay of separation and complementation (showing that location and full-separation are the same on a graph and its complement, whereas closed-separation in a graph corresponds to open-separation in its complement).

研究の動機と目的

• 支配集合または総支配集合を用いて頂点近傍を分離するグラフ上の識別問題を動機づける。
• 4つの分離性質（location、closed-separation、open-separation、full-separation）とそれらの最小サイズの分離集合を調べる。
• 分離が支配コードおよび総支配コード（LD、LTD、OD、OTD、ID、ITD、FD、FTD）とどう相互作用するかを検討する。
• 分離性質とグラフ補集合との関係を調べ、それらのS-numberとSD-/STD-numberの境界を確立する。

提案手法

• 分離と支配の概念を定義する（L-set、O-set、I-set、F-set；D-set、TD-set）。
• Test Cover からの還元を用いて S ∈ {L, O, I, F} に対する Min S-Set のNP困難性を証明する。
• gamma_SD(G) が gamma^S(G) と gamma^S(G)+1の間にあることを確立する；S ∈ {O, F} に対する gamma_STD の境界を確立する（gamma^S(G) から gamma^S(G)+1、L, I に対しては gamma^S(G) から 2*gamma^S(G) の間）。
• 既知および新たな結果を通じてS-numberとX-numberの関係を分析し、特定のグラフ族での例を含めて示す。
• グラフ補集合がS-numberおよびX-numberに及ぼす影響を調べ、系を導出する。

実験結果

リサーチクエスチョン

• RQ1 S-Set の最小集合を見つける計算複雑性はどうなるか（S ∈ {L, O, I, F}）？
• RQ2 4つの分離性質は支配/総支配コード（LD、LTD、OD、OTD、ID、ITD、FD、FTD）とどのように関連するか？
• RQ3 グラフ全体でS-numberとSD-/STD-numberの境界はいくつか？
• RQ4 グラフ補集合は分離性質とそれに対応するコードにどのような影響を与えるか？
• RQ5 確立された境界・等式を示す厳密な例を見つけられるか？

主な発見

• Min S-Set はすべての S ∈ {L, O, I, F} に対してNP-complete。
• S ∈ {L, O, I, F} に対して gamma_SD(G) は gamma^S(G) と gamma^S(G)+1 の間にある。
• S ∈ {O, F} に対して gamma_STD(G) は gamma^S(G) と gamma^S(G)+1 の間、S ∈ {L, I} に対しては gamma_STD(G) は gamma^S(G) と 2*gamma^S(G) の間。
• Location と full-separation はグラフとその補集合で同一であり、グラフの closed-separation はその補集合で open-separation に対応する。
• 論文は薄頭蜘蛛（thin headless spiders）や厚頭蜘蛛（thick headless spiders）などの特別なグラフ族に対する詳細な境界値と正確値を提供し、S-number と X-number との関係を具体的に示している。
• S-number と X-number のニュアンスのある関係は、構成ギャジェットと還元を通じて示されている。