[논문 리뷰] The Mutual-Visibility Problem In Directed Graphs

Vanja Stojanović|arXiv (Cornell University)|2026. 02. 03.

Advanced Graph Theory Research인용 수 0

한 줄 요약

이 논문은 상호 가시성을 방향 그래프에 확장하여 DAG들에 대해 μ(D)를 정확히 도출하고 방향 순환에 대해 μ(C_n)=2를 보이며 Paley 토너먼트를 통한 토너먼트에서 μ가 임의로 커질 수 있음을 보이고 μ(D) 계산의 NP-hardness를 증명하는 한편 검증은 다항적임을 보인다.

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)$.

연구 동기 및 목표

• 무향 그래프를 넘어 방향 그래프에서의 상호 가시성에 대한 연구 동기를 밝힌다.
• 기본 방향 그래프 계급(DAGs, 사이클, 토너먼트)에 대한 상호 가시성 수 μ(D) 특성을 규명한다.
• 강하게 연결된 구성요소(SCC)와 강한 다리(strong bridges)가 μ(D)에 미치는 영향을 탐구한다.
• 검증은 다항적이고 μ(D)를 찾는 문제는 NP-hard임과 같은 알고리즘적 복잡성 정리를 제시한다.

제안 방법

• 무향 그래프에서의 상호 가시성 정의를 digraph에 맞게 적용한다(상호 가시성 집합, 총/외/이중 변형 포함).
• 개 condensation 그래프를 통한 SCC 분석으로 컴포넌트 값으로 μ(D)를 상한으로 한정한다(μ(D)=max μ(C)).
• DAG에 대한 구조적 증명(μ(D)=1)과 방향 순환에 대한 구조적 증명(μ(C_n)=2)을 제시한다.
• Paley 토너먼트를 이용한 구성으로 μ가 임의로 크게 될 수 있음을 보이고, 확률적/준난수적 성질을 활용한다.
• 다항식 검증, 무향 상호 가시성에서의 환원에 의한 NP-hardness 및 강한 다리 분석 등 알고리즘적 복잡성 결론을 제시한다.

실험 결과

연구 질문

• RQ1 기본 digraph 계열(DAG들, 방향 순환, 토너먼트)에 대한 상호 가시성 수 μ(D)는 무엇인가?
• RQ2 강하게 연결된 구성요소와 condensation 그래프가 μ(D)를 어떻게 제한하거나 결정하는가?
• RQ3 μ(D)를 효율적으로 경계하거나 계산할 수 있는가, 일반적인 digraph에 대한 결정의 계산 복잡성은 무엇인가?
• RQ4 강한 다리가 상호 가시성 집합의 구조와 크기에 어떤 영향을 미치는가?
• RQ5 총/외/이중 variants가 방향 그래프에서 서로 다른 행태나 경계를 보이는가?

주요 결과

• 방향 비순환 그래프(DAG)에서 μ(D)=1.
• 방향 순환 C_n의 경우 n≥3일 때 μ(C_n)=2.
• 토너먼트는 임의로 큰 상호 가시성 집합을 가질 수 있으며; Paley 토너먼트는 μ(P_q)≥k를 적절한 q에 대해 보인다.
• μ(D)는 그 강하게 연결된 구성요소들 중 최대 μ(C)와 같으며, 어떤 상호 가시성 집합도 단일 SCC 안에만 위치한다.
• 일반 digraph에 대한 μ(D) 계산 문제는 NP-hard이며, 주어진 집합의 검증은 다항적(O(|S|(|V|+|A|)))이다.
• 강한 다리 β(D)와 μ(D) 사이에는 선형적 상관관계가 없으며 μ는 다리 수가 적어도 커질 수 있고, 그 반대도 가능하다.