arXiv++ Combinatorics

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

The NP-complete mutual-visibility (MV) problem currently lacks empirical analysis on its practical behaviour despite theoretical studies. This paper addresses this gap by implementing and evaluating three distinct algorithms -- a direct random heuristic, a hypergraph-based approximation, and a genetic algorithm -- on diverse synthetic graph datasets, including those with analytically known $μ(G)$ values and general graph models. Our results demonstrate that for smaller graphs, the algorithms consistently achieve MV set sizes aligning with theoretical bounds. However, for larger instances, achieved solution sizes notably diverge from theoretical limits; this, combined with the absence of tight bounds, complicates absolute quality assessment. Nevertheless, validation on known optimal graphs showed the Genetic Algorithm and other heuristics empirically performing best among tested methods.