The Art Gallery Problem is ∃ℝ-complete

The Art Gallery Problem (AGP) is a classic problem in computational geometry, introduced in 1973 by Victor Klee. Given a simple polygon 풫 and an integer k , the goal is to decide if there exists a set G of k guards within 풫 such that every point p ∈ 풫 is seen by at least one guard g ∈ G . Each guard corresponds to a point in the polygon 풫, and we say that a guard g sees a point p if the line segment pg is contained in 풫. We prove that the AGP is ∃ ℝ-complete, implying that (1) any system of polynomial equations over the real numbers can be encoded as an instance of the AGP, and (2) the AGP is not in the complexity class NP unless NP = ∃ ℝ. As a corollary of our construction, we prove that for any real algebraic number α, there is an instance of the AGP where one of the coordinates of the guards equals α in any guard set of minimum cardinality. That rules out many natural geometric approaches to the problem, as it shows that any approach based on constructing a finite set of candidate points for placing guards has to include points with coordinates being roots of polynomials with arbitrary degree. As an illustration of our techniques, we show that for every compact semi-algebraic set S ⊆ [0, 1] 2 , there exists a polygon with corners at rational coordinates such that for every p ∈ [0, 1] 2 , there is a set of guards of minimum cardinality containing p if and only if p ∈ S . In the ∃ ℝ-hardness proof for the AGP, we introduce a new ∃ ℝ-complete problem ETR-INV. We believe that this problem is of independent interest, as it has already been used to obtain ∃ ℝ-hardness proofs for other problems.

On the double Roman bondage numbers of graphs

For a graph [Formula: see text], a double Roman dominating function (DRDF) is a function [Formula: see text] having the property that if [Formula: see text] for some vertex [Formula: see text], then [Formula: see text] has at least two neighbors assigned [Formula: see text] under [Formula: see text] or one neighbor [Formula: see text] with [Formula: see text], and if [Formula: see text] then [Formula: see text] has at least one neighbor [Formula: see text] with [Formula: see text]. The weight of a DRDF [Formula: see text] is the sum [Formula: see text]. The minimum weight of a DRDF on a graph [Formula: see text] is the double Roman domination number of [Formula: see text] and is denoted by [Formula: see text]. The double Roman bondage number of [Formula: see text], denoted by [Formula: see text], is the minimum cardinality among all edge subsets [Formula: see text] such that [Formula: see text]. In this paper, we study the double Roman bondage number in graphs. We determine the double Roman bondage number in several families of graphs, and present several bounds for the double Roman bondage number. We also study the complexity issue of the double Roman bondage number and prove that the decision problem for the double Roman bondage number is NP-hard even when restricted to bipartite graphs.

Graph Realizations Constrained by Connected Local Dimensions and Connected Local Bases

For an ordered set W = {w1,w2, ...,wk} of k distinct vertices in a connected graph G, the representation of a vertex v of G with respect to W is the k-vector r(v|W) = (d(v,w1), d(v,w2), ..., d(v,wk)), where d(v,wi) is the distance from v to wi for 1 ≤ i ≤ k. The setW is called a connected local resolving set of G if the representations of every two adjacent vertices of G with respect to W are distinct and the subgraph ⟨W⟩ induced by W is connected. A connected local resolving set of G of minimum cardinality is a connected local basis of G. The connected local dimension cld(G) of G is the cardinality of a connected local basis of G. In this paper, the connected local dimensions of some well-known graphs are determined. We study the relationship between connected local bases and local bases in a connected graph, and also present some realization results.

Fault-Tolerant Metric Dimension of Circulant Graphs

Let G be a connected graph with vertex set V(G) and d(u,v) be the distance between the vertices u and v. A set of vertices S={s1,s2,…,sk}⊂V(G) is called a resolving set for G if, for any two distinct vertices u,v∈V(G), there is a vertex si∈S such that d(u,si)≠d(v,si). A resolving set S for G is fault-tolerant if S\{x} is also a resolving set, for each x in S, and the fault-tolerant metric dimension of G, denoted by β′(G), is the minimum cardinality of such a set. The paper of Basak et al. on fault-tolerant metric dimension of circulant graphs Cn(1,2,3) has determined the exact value of β′(Cn(1,2,3)). In this article, we extend the results of Basak et al. to the graph Cn(1,2,3,4) and obtain the exact value of β′(Cn(1,2,3,4)) for all n≥22.

The Partition Dimension of a Path Graph

Resolving partition is part of graph theory. This article, explains about resolving partition of the path graph, with. Given a connected graph and is a subset of writen . Suppose there is , then the distance between and is denoted in the form . There is an ordered set of -partitions of, writen then the representation of with respect tois the The set of partitions ofis called a resolving partition if the representation of each to is different. The minimum cardinality of the solving-partition to is called the partition dimension of G which is denoted by . Before getting the partition dimension of a path graph, the first step is to look for resolving partition of the graph. Some resolving partitions of path graph, with , and are obtained. Then, the partition dimension of the path graph which is the minimum cardinality of resolving partition, namely pd (Pn)=2Resolving partition is part of graph theory. This article, explains about resolving partition of the path graph, with. Given a connected graph and is a subset of writen . Suppose there is , then the distance between and is denoted in the form . There is an ordered set of -partitions of, writen then the representation of with respect tois the The set of partitions ofis called a resolving partition if the representation of each to is different. The minimum cardinality of the solving-partition to is called the partition dimension of G which is denoted by . Before getting the partition dimension of a path graph, the first step is to look for resolving partition of the graph. Some resolving partitionsof path graph, with , and are obtained. Then, the partition dimension of the path graph which is the minimum cardinality of resolving partition, namely.

ON HOP DOMINATION NUMBER OF SOME GENERALIZED GRAPH STRUCTURES

A subset \( H \subseteq V (G) \) of a graph \(G\) is a hop dominating set (HDS) if for every \({v\in (V\setminus H)}\) there is at least one vertex \(u\in H\) such that \(d(u,v)=2\). The minimum cardinality of a hop dominating set of \(G\) is called the hop domination number of \(G\) and is denoted by \(\gamma_{h}(G)\). In this paper, we compute the hop domination number for triangular and quadrilateral snakes. Also, we analyse the hop domination number of graph families such as generalized thorn path, generalized ciliates graphs, glued path graphs and generalized theta graphs.

2-Point set domination in separable graphs

In a graph [Formula: see text], a set [Formula: see text] is a [Formula: see text]-point set dominating set (in short 2-psd set) of [Formula: see text] if for every subset [Formula: see text] there exists a nonempty subset [Formula: see text] containing at most two vertices such that the induced subgraph [Formula: see text] is connected in [Formula: see text]. The [Formula: see text]-point set domination number of [Formula: see text], denoted by [Formula: see text], is the minimum cardinality of a 2-psd set of [Formula: see text]. The main focus of this paper is to find the value of [Formula: see text] for a separable graph and thereafter computing [Formula: see text] for some well-known classes of separable graphs. Further we classify the set of all 2-psd sets of a separable graph into six disjoint classes and study the existence of minimum 2-psd sets in each class.

Domination and Independent Domination in Hexagonal Systems

A vertex subset D of G is a dominating set if every vertex in V(G)∖D is adjacent to a vertex in D. A dominating set D is independent if G[D], the subgraph of G induced by D, contains no edge. The domination number γ(G) of a graph G is the minimum cardinality of a dominating set of G, and the independent domination number i(G) of G is the minimum cardinality of an independent dominating set of G. A classical work related to the relationship between γ(G) and i(G) of a graph G was established in 1978 by Allan and Laskar. They proved that every K1,3-free graph G satisfies γ(G)=i(H). Hexagonal systems (2 connected planar graphs whose interior faces are all hexagons) have been extensively studied as they are used to present bezenoid hydrocarbon structures which play an important role in organic chemistry. The domination numbers of hexagonal systems have been studied continuously since 2018 when Hutchinson et al. posted conjectures, generated from a computer program called Conjecturing, related to the domination numbers of hexagonal systems. Very recently in 2021, Bermudo et al. answered all of these conjectures. In this paper, we extend these studies by considering the relationship between the domination number and the independent domination number of hexagonal systems. Although every hexagonal system H with at least two hexagons contains K1,3 as an induced subgraph, we find many classes of hexagonal systems whose domination number is equal to an independent domination number. However, we establish the existence of a hexagonal system H such that γ(H)<i(H) with the prescribed number of hexagons.

Edge-vertex domination in trees

Let [Formula: see text] be a finite simple graph. A vertex [Formula: see text] is edge-vertex dominated by an edge [Formula: see text] if [Formula: see text] is incident with [Formula: see text] or [Formula: see text] is incident with a vertex adjacent to [Formula: see text]. An edge-vertex dominating set of [Formula: see text] is a subset [Formula: see text] such that every vertex of [Formula: see text] is edge-vertex dominated by an edge of [Formula: see text]. The edge-vertex domination number [Formula: see text] is the minimum cardinality of an edge-vertex dominating set of [Formula: see text]. In this paper, we prove that [Formula: see text] for every tree [Formula: see text] of order [Formula: see text] with [Formula: see text] leaves, and we characterize the trees attaining each of the bounds.

On some variations of dominating identification in graphs

In this study, we introduce the locating-dominating value and the location-domination polynomial of graphs and location-domination polynomials of some families of graphs were identified. Locatingdominating set of graph G is defined as the dominating set which locates all the vertices of G. And, location-domination number G is the minimum cardinality of a locating-dominating set in G.