arXiv++ Combinatorics

Mutual visibility in graphs requires pairs of vertices to be connected by shortest paths that avoid all other vertices of a prescribed set, a condition that is often overly restrictive. In this paper, we introduce a new variant, called mutual $k$-visibility, which permits at most $k$ internal vertices of the set to lie on a shortest path. This parameterized approach naturally generalizes classical mutual visibility and provides a graded notion of obstruction tolerance. We define the mutual $k$-visibility number $μ_k(G)$ of a graph $G$ and establish its basic properties, including monotonicity and stabilization for sufficiently large values of $k$. Some bounds on $μ_k(G)$ are obtained in terms of diameter, maximum degree, and girth. We further analyze $(X,k)$-visibility in convex graphs and determine exact values of $μ_k(G)$ for some fundamental graph classes. In addition, for block graphs, we introduce the notion of $k$-admissible sets in the associated block--cutpoint tree and show how these sets characterize mutual $k$-visibility in the original graph. Moreover, we present a polynomial-time algorithm, MkV, that decides whether a given subset $S \subseteq V(G)$ forms a mutual $k$-visibility set in $G$. The algorithm has time complexity $O\bigl(|S|(|V(G)|+|E(G)|)+|S|^2\bigr)$.

The notion of mutual visibility in graphs arises from constraining shortest paths by forbidding internal vertices from belonging to a specified subset. Mutual-visibility sets, originally introduced as a tool for studying information flow and structural restrictions in complex networks, have since gained increasing attention due to their theoretical significance and diverse applications. In this paper, a complete characterization of mutual-visibility sets in trees is presented. It is shown that a subset $S$ is a mutual-visibility set of $T$ if and only if it coincides with the set of leaves of the Steiner subtree $T\langle S\rangle$. As a consequence, the mutual-visibility number of a tree is equal to the number of its leaves. For trees containing branch vertices, the notion of legs is introduced and an explicit formula for the number of maximal mutual-visibility sets is derived in terms of the corresponding leg lengths. It is proved that every tree is absolute-clear. It is further established that the mutual-visibility number is preserved under the line graph operation for trees with at least two edges, that is, $μ(L(T))=μ(T)$.

The concept of mutual visibility in a graph encodes combinatorial information about vertex subsets with prescribed visibility properties and serves as a useful algebraic invariant. In this paper, we study the visibility properties of some Moore graphs of diameter 2, with emphasis on the Petersen and Hoffman Singleton graphs. We first compute the visibility polynomial of the Petersen graph explicitly by analyzing its structural features in relation to the strong regularity of the graph. For the Hoffman Singleton graph, we establish an upper bound of 20 on its visibility number, and subsequently employ an integer programming approach to prove that this bound is tight. As a corollary, we deduce that the maximum size of an induced matching in the Hoffman Singleton graph is 10. These results demonstrate how visibility polynomials can be computed for extremal graphs of high symmetry, and how algebraic and optimization techniques can be combined to determine precise visibility parameters in complex graph families.

Mutual visibility in graphs provides a framework for analysing how vertices can observe one another along shortest paths free of internal obstructions. The visibility polynomial, which enumerates mutual-visibility sets of all orders, has emerged as a central invariant in this study, with both theoretical significance and practical relevance in areas such as surveillance, target tracking, and distributed coordination. While computing this polynomial is computationally demanding, with known complexity $O(n^32^n)$, explicit characterizations for specific graph families yield valuable structural insights. In this paper, we characterize the mutual-visibility sets of several fundamental graph classes and derive closed-form expressions for their associated visibility polynomials. These results deepen the understanding of visibility-based invariants and expand the toolkit available for studying visibility phenomena in networks.

In multiagent systems, effective coordination, coverage, and communication often rely on the concept of visibility between agents or nodes within the system. Graph-theoretically, for any subset $X$ of vertices of a graph $G$, two vertices are said to be $X$-visible if there exists a shortest path between them that contains no vertex of $X$ as an internal vertex. In this paper, we investigate the visibility polynomial associated with the corona product of two graphs. The visibility polynomial encodes the number of mutual-visibility sets of all orders within a graph, and the process of enumerating these sets provides a deeper understanding of their structural properties. We characterize the structure of mutual-visibility sets arising specifically within the corona product. As part of this study, we introduce the notion of $C_Q$-visible sets, defined with respect to a selected subset $Q$ of vertices in a graph $G$. A $C_Q$-visible set is a collection of vertices in $\overline{Q}$ that is not only $Q$-visible, but also individually visible from each vertex in $Q$. Using this concept, we establish several characterizations and properties of mutual-visibility sets within the corona product, thereby providing deeper insights into their structure and behavior.

Let G(V,E) be a simple graph and let X subset of V. Two vertices u and v are said to be X-visible if there exists a shortest u,v-path P such that V(P) intersection X is a subset of {u, v}. A set X is called a mutual-visibility set of G if every pair of vertices in X are X-visible. The visibility polynomial of a graph G is defined as nu (G)=sum_{i >= 0} r_i x^i, where r_i denotes the number of mutual-visibility sets in G of cardinality i. In the present paper, the visibility polynomial is studied for some well-known classes of graphs. In particular, the instance at which the number of maximal mutual-visibility sets is equal for cycle graphs is identified. The visibility polynomial of the join of two graphs is studied. The algorithm for computing the visibility polynomial of a graph has been identified to have a time complexity of O(n^3.2^n) making the problem computationally intensive for larger graphs.