[論文レビュー] The Mutual-Visibility Problem In Directed Graphs

Vanja Stojanović|arXiv (Cornell University)|Feb 3, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文は相互可視性を有向グラフへ拡張し、DAGと有向サイクルに対して厳密な μ(D) を導出し、Paley ターネントを通じてトーナメントで μ が任意に大きくなり得ることを示し、 μ(D) の計算が NP-hard である一方検証は多項式であることを証明します。

ABSTRACT

The study of mutual visibility has traditionally focused on undirected graphs, asking for the maximum number of vertices that can communicate via shortest paths without intermediate interference from other set members. In this paper, we extend this concept to directed graphs, establishing fundamental results for several graph classes. We prove that for Directed Acyclic Graphs (DAGs), the mutual-visibility number $μ(D)$ is always 1, and for directed cycles of length $n\ge3$, it is strictly 2. In contrast, we demonstrate that tournaments can support arbitrarily large mutual-visibility sets; specifically, using properties of Paley tournaments, we show that $μ(T)$ grows linearly with the size of the tournament. On the algorithmic side, we show that while verifying a candidate set is polynomial-time solvable ($O(|S|(|V|+|A|))$), the problem of determining $μ(D)$ is NP-hard for general digraphs. We also analyze the impact of strong bridges and strongly connected components on the upper bounds of $μ(D)$.

研究の動機と目的

• 無向グラフの設定を超えた有向グラフにおける相互可視性の研究動機。
• 基本的な有向グラフクラス（DAG、サイクル、トーナメント）についての相互可視性数 μ(D) の特性づけ。
• μ(D) に対する強連結成分と強連結ブリッジの影響の検討。
• 検証は多項式で、μ(D) の計算は NP-hard であることなどのアルゴリズム的複雑さの確立。

提案手法

• 有向グラフへ拡張された相互可視性の定義の適用（相互可視性集合、全体/外/二重の変種）。
• 凝縮グラフを用いた SCC の分析によりコンポーネント値で μ(D) を上界付け（μ(D)=max μ(C)）。
• DAG に対する構造的証明（μ(D)=1) および有向サイクルに対する証明（μ(C_n)=2）。
• Paley ターネントを用いた構成で μ を任意に大きくできることを示す；確率的/準乱性质を活用。
• アルゴリズム的帰着と複雑性の結果：検証は多項式、一般グラフでの μ(D) の計算は NP-hard、無向相互可視性からの帰着による分析、強ブリッジの性質。

実験結果

リサーチクエスチョン

• RQ1 基本的な有向グラフファミリ（DAG、有向サイクル、トーナメント）における相互可視性数 μ(D) はいくつか。
• RQ2 強連結成分および凝縮グラフは μ(D) をどのように制約・決定するか。
• RQ3 μ(D) を効率的に上界・計算できるか、一般的な有向グラフに対する計算困難性は。
• RQ4 強ブリッジが相互可視性集合の構造とサイズに与える影響は。
• RQ5 総変種（全体、外、二重）は有向グラフで異なる挙動・界を生むか。

主な発見

• 有向非巡回グラフに対して μ(D)=1。
• 有向サイクル n≥3 に対して μ(C_n)=2。
• トーナメントは任意に大きな相互可視性集合を支え得る；Paley ターメントは μ(P_q)≥k を満たす適切な q を与える。
• μ(D) はその強連結成分の最大 μ(C) に等しく、任意の相互可視性集合は単一の SCC に限られる。
• 一般的な有向グラフで μ(D) を計算する問題は NP-hard であり、与えられた集合の検証は多項式（無重視点では O(|S|(|V|+|A|))）。
• 強ブリッジの数 β(D) と μ(D) の間に線形の相関はなく、μ はブリッジが少なくても大きく、またその逆もあり得る。