Recently it was shown (by the author) that every graph of size $q$ (the number of edges) and minimum degree $δ$ is hamiltonian if $q\leδ^2+δ-1$ (arXiv:1107.2201v1). In this paper we present the exact analog of this result for dominating cycles: if $G$ is a 2-connected graph with $q\le8$ if $δ=2$ and $q\le (3(δ-1)(δ+2)-1)/2$ if $δ\ge3$, then each longest cycle in $G$ is a dominating cycle. The result is sharp in all respects.
A cycle in a graph is called dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate forbidden pairs guaranteeing the existence of a dominating cycle in 2-connected graphs.
The disproved Nash Williams conjecture states that every 4-regular 4-connected graph has a hamiltonian cycle. We show that a modification of this conjecture is equivalent to the Dominating Cycle Conjecture.
Let $G$ be a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$. It is proved that if $δ\ge(n-2)/3$ then each longest cycle in $G$ is a dominating cycle.
A cycle is a graph is dominating if every edge of the graph is incident with a vertex of the cycle. In this paper, we investigate the characterization of the class of the forbidden pairs guaranteeing the existence of a dominating cycle and show the following two results: (i) Every $2$-connected $\{P_{5}, K_{4}^{-}\}$-free graph contains a longest cycle which is a dominating cycle. (ii) Every $2$-connected $\{P_{5}, W^{*}\}$-free graph contains a longest cycle which is a dominating cycle. Here $P_{5}$ is the path of order $5$, $K_{4}^{-}$ is the graph obtained from the complete graph of order $…
We study the structure of a minimum dominating set of $C_{2n+1}^n$, the Cartesian product of $n$ copies of the cycle of size $2n+1$, where $2n+1$ is a prime.
We prove: (i) if $G$ is a 1-tough graph of order $n$ and minimum degree $δ$ with $δ\ge(n-2)/3$ then each longest cycle in $G$ is a dominating cycle unless $G$ belongs to an easily specified class of graphs with $κ(G)=2$ and $τ(G)=1$. The second result follows immediately from the first result: (ii) if $G$ is a 3-connected 1-tough graph with $δ\ge(n-2)/3$ then each longest cycle in $G$ is a dominating cycle.
The dominating graph of a graph $H$ has as its vertices all dominating sets of $H$, with an edge between two dominating sets if one can be obtained from the other by the addition or deletion of a single vertex of $H$. In this paper we prove that the dominating graph of any tree has a Hamilton path. We also show how a result about binary strings leads to a proof that the dominating graph of a cycle on $n$ vertices has a Hamilton path if and only if $n\not\equiv 0 \pmod 4$.
We give a shorter proof of the recurrence relation for the domination polynomial $γ(P_{n},t)$ and for the number $γ_{k}(P_{n})$ of dominating $k$-sets of the path with $n$ vertices. For every positive integers $n$ and $k,$ numbers $γ_{k}(P_{n})$ are determined solving a problem posed by S. Alikhani in CID 2015. Moreover, the numbers of dominating $k$-sets $γ_{k}(C_{n})$ of cycles and $γ_{k}(W_{n})$ of wheels with $n$ vertices are computed.
Let $G=(V,E)$ be a graph and let $r\ge 1$ be an integer. For a set $D \subseteq V$, define $N_r[x] = \{y \in V: d(x, y) \leq r\}$ and $D_r(x) = N_r[x] \cap D$, where $d(x,y)$ denotes the number of edges in any shortest path between $x$ and $y$. $D$ is known as an $r$-identifying code ($r$-locating-dominating set, respectively), if for all vertices $x\in V$ ($x \in V\backslash D$, respectively), $D_r(x)$ are all nonempty and different. In this paper, we provide complete results for $r$-identifying codes in paths and odd cycles; we also give complete results for 2-locating-dominating sets in cyc…
Let G=(V,E) be a simple graph. A set S\subset V is a dominating set of G, if every vertex in V§is adjacent to at least one vertex in S. Let {\mathcal C}_n^i be the family of dominating sets of a cycle C_n with cardinality i, and let d(C_n,i) = |{\mathcal C}_n^i. In this paper, we construct {\mathcal C}_n^i, and obtain a recursive formula for d(C_n, i). Using this recursive formula, we consider the polynomial D(C_n, x) = \sum_{i=1}^n d(C_n, i)x^i, which we call domination polynomial of cycles and obtain some properties of this polynomial.
We show that an edge-dominating cycle in a $2K_2$-free graph can be found in polynomial time; this implies that every 1/(k-1)-tough $2K_2$-free graph admits a k-walk, and it can be found in polynomial time. For this class of graphs, this proves a long-standing conjecture due to Jackson and Wormald (1990). Furthermore, we prove that for any ε>0 every (1+ε)-tough $2K_2$-free graph is prism-Hamiltonian and give an effective construction of a Hamiltonian cycle in the corresponding prism, along with few other similar results.
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 4$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: (i). If $a\geq 4$ and $ max\{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, $D$ then contains a cycle of length $2a-2$ or $D$ is a directed cycle. (ii). If $D$ contains a cycle of length $2a-2\geq 6$ and $max \{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then for any $…
We study the closed neighborhood ideals and the dominating ideals of graphs, in particular, of trees and cycles. We prove that the closed neighborhood ideals and the dominating ideals of trees are normally torsion-free. The closed neighborhood ideals and the dominating ideals of cycles fail to be normally torsion-free. However, we prove that the closed neighborhood ideals of cycles admit the (strong) persistence property and the dominating ideals of cycles are nearly normally torsion-free.
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
A double Roman Dominating function on a graph $G$ is a function $ f:V\rightarrow \{0,1,2,3\}$ such that the following conditions hold. If $f(v)=0$, then vertex $v$ must have at least two neighbors in $V_2$ or one neighbor in $V_3$ and if $f(v)=1$, then vertex $v$ must have at least one neighbor in $V_2\bigcup V_3$. The weight of a double Roman dominating function is the sum $w_f=\sum_{v\in V(G)}{f(v)}$. In this paper, we improve the upper bounds of $γ_{dR}(G)$ that has already obtained and we show that $γ_{dR}(G)\leq\dfrac{12n}{11}$, for any graph with $δ(G) \ge 2$. This bound improve the boun…
In the special case of graphs G of independence number a(G)=3 without induced chordless cycles C7 it is shown that exists connected dominating set D of vertices with number of vertices n(D)<=4. Using the concept of connected dominating sets, we defined a new invariant h(G) that does not exceed the number of Hadwiger. For the considered graphs it is shown that h(G)>=n(G)/4.
Let $G$ be a simple graph of order $n$. A dominating set of $G$ is a set $S$ of vertices of $G$ so that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. The domination polynomial of $G$ is the polynomial $D(G,x)=\sum_{i=1}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. In this paper we show that cycles are determined by their domination polynomials.
Let $G = (V, E)$ be a graph. A set $S \subseteq V$ is a restrained dominating set (RDS) if every vertex not in $S$ is adjacent to a vertex in $S$ and to a vertex in $V - S$. The restrained domination number of $G$, denoted by $γ_r(G)$, is the smallest cardinality of a restrained dominating set of $G$. Finding the restrained domination number is NP-hard for bipartite and chordal graphs. Let $G_n^i$ be the family of restrained dominating sets of a graph $G$ of order $n$ with cardinality $i$, and let $d_r(G_n, i)=|G_n^i|$. The restrained domination polynomial (RDP) of $G_n$, $D_r(G_n, x)$ is defi…
Let $G=(V,E)$ be a simple graph. For any integer $k\geq 1$, a subset of $V$ is called a $k$-tuple total dominating set of $G$ if every vertex in $V$ has at least $k$ neighbors in the set. The minimum cardinality of a minimal $k$-tuple total dominating set of $G$ is called the $k$-tuple total domination number of $G$. In this paper, we introduce the concept of upper $k$-tuple total domination number of $G$ as the maximum cardinality of a minimal $k$-tuple total dominating set of $G$, and study the problem of finding a minimal $k$-tuple total dominating set of maximum cardinality on several clas…
Every 4-connected graph $G$ with minimum degree $δ$ and connectivity $κ$ either contains a cycle of length at least $4δ-κ-4$ or every longest cycle in $G$ is a dominating cycle.
A tree with at most $k$ leaves is called a $k$-ended tree. A spanning 2-ended tree is a Hamilton path. A Hamilton cycle can be considered as a spanning 1-ended tree. The earliest result concerning spanning trees with few leaves states that if $k$ is a positive integer and $G$ is a connected graph of order $n$ with $d(x)+d(y)\ge n-k+1$ for each pair of nonadjacent vertices $x,y$, then $G$ has a spanning $k$-ended tree. In this paper, we improve this result in two ways, and an analogous result is proved for dominating $k$-ended trees based on the generalized parameter $t_k$ - the order of a larg…
A set $S$ of vertices in a graph $G(V,E)$ is called a dominating set if every vertex $v\in V$ is either an element of $S$ or is adjacent to an element of $S$. A set $S$ of vertices in a graph $G(V,E)$ is called a total dominating set if every vertex $v\in V$ is adjacent to an element of $S$. The domination number of a graph $G$ denoted by $γ(G)$ is the minimum cardinality of a dominating set in $G$. Respectively the total domination number of a graph $G$ denoted by $γ_t(G)$ is the minimum cardinality of a total dominating set in $G$. An upper bound for $γ_t(G)$ which has been achieved by Cocka…
We prove two sharp sufficient conditions for hamiltonian cycles in balanced bipartite directed graph. Let $D$ be a strongly connected balanced bipartite directed graph of order $2a$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. (i) {\it If $a\geq 4$ and $max \{d(x), d(y)\}\geq 2a-1$ for every dominating pair of vertices $\{x,y\}$, then either $D$ is hamiltonian or $D$ is isomorphic to one exceptional digraph of order eight.} (ii) {\it If $a\geq 5$ and $d(x)+d(y)\geq 4a-3$ f…
Jelínek, Mansour, and Shattuck studied Wilf-equivalence among pairs of patterns of the form $\{σ,τ\}$ where $σ$ is a set partition of size $3$ with at least two blocks. They obtained an upper bound for the number of Wilf-equivalence classes for such pairs. We show that their upper bound is the exact number of equivalence classes, thus solving a problem posed by them.
A set $D$ of vertices of a graph $G$ is a dominating set of $G$ if every vertex in $V_G-D$ is adjacent to at least one vertex in $D$. The domination number (upper domination number, respectively) of a graph $G$, denoted by $γ(G)$ ($Γ(G)$, respectively), is the cardinality of a smallest (largest minimal, respectively) dominating set of $G$. A subset $D\subseteq V_G$ is called a certified dominating set of $G$ if $D$ is a dominating set of $G$ and every vertex in $D$ has either zero or at least two neighbors in $V_G-D$. The cardinality of a~smallest (largest minimal, respectively) certified domi…
Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 10$. Let $x,y$ be distinct vertices in $D$. $\{x,y\}$ dominates a vertex $z$ if $x\rightarrow z$ and $y\rightarrow z$; in this case, we call the pair $\{x,y\}$ dominating. In this paper we prove: {\it If the underlying undirected graph of $D$ is not 2-connected and $max\{d(x), d(y)\}\geq 2a-2$ for every dominating pair of vertices $\{x,y\}$, then $D$ contains a cycle of length $2a-2$ unless $D$ is isomorphic to a certain digraph of order ten which we specify.
In his 1992 Ph.D. thesis Chang identified an efficient way to dominate $m \times n$ grid graphs and conjectured that his construction gives the most efficient dominating sets for relatively large grids. In 2011 Gonçalves, Pinlou, Rao, and Thomassé proved Chang's conjecture, establishing a closed formula for the domination number of a grid. In March 2013 Fata, Smith and Sundaram established upper bounds for the $k$-distance domination numbers of grid graphs by generalizing Chang's construction of dominating sets to $k$-distance dominating sets. In this paper we improve the upper bounds establis…
Domination in graphs has long been studied and is applied to signal distribution problem. For example, telecommunication companies want to spread the signal from broadcast stations by transmitting varying signal strength to all receiving stations. This problem can be interpreted in a term of graph theory. Assume that broadcast companies need to spread the signal in graphs by using broadcast stations with varying signal strength so that the signal could be sent to all the vertices. However, broadcast stations with stronger signal are generally more expensive. The distribution of signal was conf…
A set $S$ of vertices in a graph $G = (V, E)$ is called {\em cycle independent} if the induced subgraph $\langle S\rangle$ is acyclic, and called {\em odd-cycle indepdendet} if $\langle S\rangle$ is bipartite. A set $S$ is {\em cycle dominating} (resp. {\em odd-cycle dominating}) if for every vertex $u \in V \setminus S$ there exists a vertex $v \in S$ such that $u$ and $v$ are contained in a (resp. odd cycle) cycle in $\langle S \setminus \{u\}\rangle$. A set $S$ is {\em cycle irredundant} (resp. odd-cycle irredundant) if for every vertex $v \in S$ there exists a vertex $u \in V \setminus S$ …
In this paper we study the Grundy domination number on the $X$-join product $G\hookleftarrow \mathcal R$ of a graph $G$ and a family of graphs $\mathcal R=\{G_v: v\in V(G)\}$. The results led us to extend the few known families of graphs where this parameter can be efficiently computed. We prove that if, for all $v\in V(G)$, the Grundy domination number of $G_v$ is given, and $G$ is a power of a cycle, a power of a path, or a split graph, computing the Grundy domination number of $G\hookleftarrow \mathcal R$ can be done in polynomial time. In particular, the results for power of cycles and pat…
In this paper we study the the average order of dominating sets in a graph, $\operatorname{avd}(G)$. Like other average graph parameters, the extremal graphs are of interest. Beaton and Brown (2021) conjectured that for all graphs $G$ of order $n$ without isolated vertices, $\operatorname{avd}(G) \leq 2n/3$. Recently, Erey (2021) proved the conjecture for forests without isolated vertices. In this paper we prove the conjecture and classify which graphs have $\operatorname{avd}(G) = 2n/3$. We also use our bounds to prove the average version of Vizing's Conjecture.
The $k$-dominating graph $D_k(G)$ of a graph $G$ is defined on the vertex set consisting of dominating sets of $G$ with cardinality at most $k$, two such sets being adjacent if they differ by either adding or deleting a single vertex. A graph is a dominating graph if it is isomorphic to $D_k(G)$ for some graph $G$ and some positive integer $k$. Answering a question of Haas and Seyffarth for graphs without isolates, it is proved that if $G$ is such a graph of order $n\ge 2$ and with $G\cong D_k(G)$, then $k=2$ and $G=K_{1,n-1}$ for some $n\ge 4$. It is also proved that for a given $r$ there exi…
This papers focuses on the average order of dominating sets of a graph. We find the extremal graphs for the maximum and minimum value over all graphs on $n$ vertices, while for trees we prove that the star minimizes the average order of dominating sets. We prove the average order of dominating sets in graphs without isolated vertices is at most $3n/4$, but provide evidence that the actual upper bound is $2n/3$. Finally, we show that the normalized average, while dense in $[1/2,1]$, tends to $\frac{1}{2}$ for almost all graphs.
In this article, we study locating-dominating codes in binary Hamming spaces $\mathbb{F}^n$. Locating-dominating codes have been widely studied since their introduction in 1980s by Slater and Rall. They are dominating sets suitable for distinguishing vertices in graphs. Dominating sets as well as locating-dominating codes have been studied in Hamming spaces in multiple articles. Previously, Honkala et al. (2004) have presented a lower bound for locating-dominating codes in binary Hamming spaces. In this article, we improve the lower bound for all values $n\geq10$. In particular, when $n=11$, w…
A broadcast on a nontrivial connected graph G=(V,E) is a function f from V(G) to {0,1,...,diam(G)} such that f(v) does not exceed the eccentricity of v. The cost of f is the sum of the function values. A broadcast f is dominating if each vertex of G is at distance at most f(v) from a vertex v with positive f(v). We use properties of minimal dominating broadcasts to define the concept of an irredundant broadcast on G. We determine conditions under which an irredundant broadcast is maximal irredundant. Denoting the minimum costs of dominating and maximal irredundant broadcasts by gamma_{b}(G) an…
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex of $G$ is either in $S$ or is adjacent to a vertex in $S$. Nordhaus-Gaddum inequailties relate a graph $G$ to its complement $\bar{G}$. In this spirit Wagner proved that any graph $G$ on $n$ vertices satisfies $\partial(G)+\partial(\bar{G})\geq 2^n$ where $\partial(G)$ is the number of dominating sets in a graph $G$. In the same paper he comments that an upper bound for $\partial(G)+\partial(\bar{G})$ among all graphs on $n$ vertices seems to be much more difficult. Here we prove an upper bound on $\partial(G)+\par…
The ratio of the connected domination number, $γ_c$, and the domination number, $γ$, is strictly bounded from above by 3. It was shown by Zverovich that for every connected $(P_5,C_5)$-free graph, $γ_c = γ$. In this paper, we investigate the interdependence of $γ$ and $γ_c$ in the class of $(P_k,C_k)$-free graphs, for $k \ge 6$. We prove that for every connected $(P_6,C_6)$-free graph, $γ_c \le γ+ 1$ holds, and there is a family of $(P_6,C_6)$-free graphs with arbitrarily large values of $γ$ attaining this bound. Moreover, for every connected $(P_8,C_8)$-free graph, $γ_c / γ\le 2$, and there i…
An Italian dominating function on a (di)graph $G$ with vertex set $V(G)$ is a function $f: V(G) \to \{0, 1, 2\}$ such that every vertex $v \in V(G)$ such that $f(v) = 0$ has an (in)neighbour assigned 2 or two (in)neighbours assigned 1. We complete the investigation of the Italian domination numbers of Cartesian products of directed cycles.
Two new sufficient conditions for generalized cycles (including Hamilton and dominating cycles as special cases) in an arbitrary k-connected graph (k=1,2,...) are derived, which prove the truth of Bondy's (1980) famous conjecture for some variants significantly improving the result expected by the given hypothesis. Similarly, two new lower bounds for the circumference (the length of a longest cycle) are established for the reverse hypothesis proposed by Jung (2001).
Let $G(V,E)$ be a finite, simple, isolate-free graph. Two disjoint sets $A,B\subset V$ form a total coalition in $G$, if none of them is a total dominating set, but their union $A\cup B$ is a total dominating set. A vertex partition $Ψ=\{C_1,C_2,\dots,C_k\}$ is a total coalition partition, if none of the partition classes is a total dominating set, meanwhile for every $i\in\{1,2,\dots,k\}$ there exists a distinct $j\in\{1,2,\dots,k\}$ such that $C_i$ and $C_j$ form a total coalition. The maximum cardinality of a total coalition partition of $G$ is the total coalition number of $G$ and denoted …
We study the eternal dominating number and the m-eternal dominating number on digraphs. We generalize known results on graphs to digraphs. We also consider the problem "oriented (m-)eternal domination", consisting in finding an orientation of a graph that minimizes its eternal dominating number. We prove that computing the oriented eternal dominating number is NP-hard and characterize the graphs for which the oriented m-eternal dominating number is 2. We also study these two parameters on trees, cycles, complete graphs, complete bipartite graphs, trivially perfect graphs and different kinds of…
A longest sequence $S$ of distinct vertices of a graph $G$ such that each vertex of $S$ dominates some vertex that is not dominated by its preceding vertices, is called a Grundy dominating sequence; the length of $S$ is the Grundy domination number of $G$. In this paper we study the Grundy domination number in the four standard graph products: the Cartesian, the lexicographic, the direct, and the strong product. For each of the products we present a lower bound for the Grundy domination number which turns out to be exact for the lexicographic product and is conjectured to be exact for the stro…
A set $D$ of vertices in a graph $G$ is called dominating if every vertex of $G$ is either in $D$ or adjacent to a vertex of $D$. The paired domination number $γ_{\mathrm{pr}}(G)$ of $G$ is the minimum size of a dominating set whose induced subgraph admits a perfect matching, and the upper domination number $Γ(G)$ is the maximum size of a minimal dominating set. In this paper, we investigate the sharpness of two multiplicative inequalities for these domination parameters, where the graph product is the direct product $\times$. We show that for every positive constant $c$, there exist graphs $G…
A set $S$ of vertices of graph $G$ is a \textit{defensive alliance} of $G$ if for every $v \in S$, it holds $|N[v] \cap S| \geq |N[v]-S|$. An alliance $S$ is called $global$ if it is also a dominating set. In this paper, we determine the exact values of the global defensive alliance number of lexicographic products of path and cycles.
The proper connection number $pc(G)$ of a connected graph $G$ is defined as the minimum number of colors needed to color its edges, so that every pair of distinct vertices of $G$ is connected by at least one path in $G$ such that no two adjacent edges of the path are colored the same, and such a path is called a proper path. In this paper, we show that for every connected graph with diameter 2 and minimum degree at least 2, its proper connection number is 2. Then, we give an upper bound $\frac{3n}{δ+ 1}-1$ for every connected graph of order $n$ and minimum degree $δ$. We also show that for eve…
Let $ G $ be a graph. A subset $S \subseteq V(G) $ is called a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $S$. The total domination number, $γ_{t}$($G$), is the minimum cardinality of a total dominating set of $G$. In this paper using a greedy algorithm we provide an upper bound for $γ_{t}$($G$), whenever $G$ is a bipartite graph and $δ(G)$ $\geq$ $k$. More precisely, we show that if $k$ > 1 is a natural number, then for every bipartite graph $G$ of order $n$ and $δ(G) \ge k$, $ $$γ_{t}$($G$) $\leq$ $n(1- \frac{k!}{\prod_{i=0}^{k-1}(\frac{k}{k-1}+i)}).$
Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $S\subseteq V$ such that every vertex not in $S$ is adjacent to at least one vertex in $S$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. Two vertices are neighbors if they are adjacent. A super dominating set is a dominating set $S$ with the additional property that every vertex in $V \setminus S$ has a neighbor in $S$ that is adjacent to no other vertex in $V \setminus S$. Moreover if every vertex in $V \setminus S$ has degree at least~$2$, then $S$ is an end super …
We survey results concerning reconfigurations of colourings and dominating sets in graphs. The vertices of the $k$-colouring graph $\mathcal{C}_{k}(G)$ of a graph $G$ correspond to the proper $k$-colourings of a graph $G$, with two $k$-colourings being adjacent whenever they differ in the colour of exactly one vertex. Similarly, the vertices of the $k$-edge-colouring graph $\mathcal{EC}_{k}(G)$ of $g$ are the proper $k$-edge-colourings of $G$, where two $k$-edge-colourings are adjacent if one can be obtained from the other by switching two colours along an edge-Kempe chain, i.e., a maximal two…
A matching M is a dominating induced matching of a graph, if every edge of the graph is either in $M$ or has a common end-vertex with exactly one edge in $M$. The concept of complete dominating induced matching is introduced as graphs where the vertex set can be partitioned into two subsets, one of them inducing an $1$-regular graph and the other defining an independent set and such that all the remaining edges connect each vertex of one set to each vertex of the other. The principal eigenvectors of the adjacency, Laplacian and signless Laplacian matrices of graphs with complete dominating ind…
A total dominating set of a graph $G$ is a set $D$ of vertices of $G$ such that every vertex of $G$ has a neighbor in $D$. A locating-total dominating set of $G$ is a total dominating set $D$ of $G$ with the additional property that every two distinct vertices outside $D$ have distinct neighbors in $D$; that is, for distinct vertices $u$ and $v$ outside $D$, $N(u) \cap D \ne N(v) \cap D$ where $N(u)$ denotes the open neighborhood of $u$. A graph is twin-free if every two distinct vertices have distinct open and closed neighborhoods. The location-total domination number of $G$, denoted $LT(G)$,…
A locating-dominating set of a graph $G$ is a dominating set of $G$ such that every vertex of $G$ outside the dominating set is uniquely identified by its neighborhood within the dominating set. The location-domination number of $G$ is the minimum cardinality of a locating-dominating set in $G$. Let $G_{1}$ and $G_{2}$ be the disjoint copies of a graph $G$ and $f:V(G_{1})\rightarrow V(G_{2})$ be a function. A functigraph $F^f_{G}$ consists of the vertex set $V(G_{1})\cup V(G_{2})$ and the edge set $E(G_{1})\cup E(G_{2})\cup \{uv:v=f(u)\}$. In this paper, we study the variation of the location-…