Total dominating sequences in trees, split graphs, and under modular decomposition

A sequence of vertices in a graph G with no isolated vertices is called a total dominating sequence if every vertex in the sequence totally dominates at least one vertex that was not totally dominated by preceding vertices in the sequence, and, at the end all vertices of G are totally dominated (by definition a vertex totally dominates its neighbors). The maximum length of a total dominating sequence is called the Grundy total domination number, γgr t(G), of G, as introduced in Brešar et al. (2016). In this paper we continue the investigation of this concept, mainly from the algorithmic point of view. While it was known that the decision version of the problem is NP-complete in bipartite graphs, we show that this is also true if we restrict to split graphs. A linear time algorithm for determining the Grundy total domination number of an arbitrary forest T is presented, based on the formula γgr t(T)=2τ(T), where τ(T) is the vertex cover number of T. A similar efficient algorithm is presented for bipartite distance-hereditary graphs. Using the modular decomposition of a graph, we present a frame for obtaining polynomial algorithms for this problem in classes of graphs having relatively simple modular subgraphs. In particular, a linear algorithm for determining the Grundy total domination number of P4-tidy graphs is presented. In addition, we prove a realization result by exhibiting a family of graphs Gk such that γgr t(Gk)=k, for any k∈Z+∖{1,3}, and showing that there are no graphs G with γgr t(G)∈{1,3}. We also present such a family, which has minimum possible order and size among all graphs with Grundy total domination number equal to k.Fil: Brešar, Boštjan. University of Maribor; Eslovenia. Institute of Mathematics, Physics and Mechanics; EsloveniaFil: Kos, Tim. Institute of Mathematics, Physics and Mechanics; EsloveniaFil: Nasini, Graciela Leonor. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas Ingeniería y Agrimensura. Escuela de Ciencias Exactas y Naturales. Departamento de Matemática; ArgentinaFil: Torres, Pablo Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas Ingeniería y Agrimensura. Escuela de Ciencias Exactas y Naturales. Departamento de Matemática; Argentin

Vertex Sequences in Graphs

We consider a variety of types of vertex sequences, which are defined in terms of a requirement that the next vertex in the sequence must meet. For example, let S = (v1, v2, …, vk ) be a sequence of distinct vertices in a graph G such that every vertex vi in S dominates at least one vertex in V that is not dominated by any of the vertices preceding it in the sequence S. Such a sequence of maximal length is called a dominating sequence since the set {v1, v2, …, vk } must be a dominating set of G. In this paper we survey the literature on dominating and other related sequences, and propose for future study several new types of vertex sequences, which suggest the beginning of a theory of vertex sequences in graphs

Topics in Graph Theory: Extremal Intersecting Systems, Perfect Graphs, and Bireflexive Graphs

In this thesis we investigate three different aspects of graph theory. Firstly, we consider interesecting systems of independent sets in graphs, and the extension of the classical theorem of Erdos, Ko and Rado to graphs. Our main results are a proof of an Erdos-Ko-Rado type theorem for a class of trees, and a class of trees which form counterexamples to a conjecture of Hurlberg and Kamat, in such a way that extends the previous counterexamples given by Baber. Secondly, we investigate perfect graphs - specifically, edge modification aspects of perfect graphs and their subclasses. We give some alternative characterisations of perfect graphs in terms of edge modification, as well as considering the possible connection of the critically perfect graphs - previously studied by Wagler - to the Strong Perfect Graph Theorem. We prove that the situation where critically perfect graphs arise has no analogue in seven different subclasses of perfect graphs (e.g. chordal, comparability graphs), and consider the connectivity of a bipartite reconfiguration-type graph associated to each of these subclasses. Thirdly, we consider a graph theoretic structure called a bireflexive graph where every vertex is both adjacent and nonadjacent to itself, and use this to characterise modular decompositions as the surjective homomorphisms of these structures. We examine some analogues of some graph theoretic notions and define a “dual” version of the reconstruction conjecture

ON THE GRUNDY BONDAGE NUMBERS OF GRAPHS

For a graph $G=(V,E)$, a sequence $S=(v_1,\ldots,v_k)$ of distinct vertices of $G$ it is called a \emph{dominating sequence} if $N_G[v_i]\setminus \bigcup_{j=1}^{i-1}N[v_j]\neq\varnothing$. The maximum length of dominating sequences is denoted by $\gamma_{gr}(G)$. We define the Grundy bondage numbers $b_{gr}(G)$ of a graph $G$ to be the cardinality of a smallest set $E$ of edges for which $\gamma_{gr}(G-E)>\gamma_{gr}(G).$ In this paper the exact values of $b_{gr}(G)$ are determined for several classes of graphs

GRUNDY DOMINATION SEQUENCES IN GENERALIZED CORONA PRODUCTS OF GRAPHS

For a graph $G=(V,E)$, a sequence $S=(v_1, v_2, \cdots, v_k)$ of distinct vertices of $G$ is called \emph{dominating sequence} if $N_G[v_i]\setminus \bigcup_{j=1}^{i-1}N[v_j]\neq\varnothing$ and is called \emph{total dominating sequence} if $N_G(v_i)\setminus \bigcup_{j=1}^{i-1}N(v_j)\neq\varnothing$ for each $2\leq i\leq k$. The maximum length of (total) dominating sequence is denoted by ($\gamma_{gr}^t)\gamma_{gr}(G)$. In this paper we compute (total) dominating sequence numbers for generalized corona products of graphs

Grundy dominating sequences and zero forcing sets

In a graph $G$ a sequence $v_1,v_2,\dots,v_m$ of vertices is Grundy dominating if for all $2\le i \le m$ we have $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ and is Grundy total dominating if for all $2\le i \le m$ we have $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. The length of the longest Grundy (total) dominating sequence has been studied by several authors. In this paper we introduce two similar concepts when the requirement on the neighborhoods is changed to $N(v_i)\not\subseteq \cup_{j=1}^{i-1}N[v_j]$ or $N[v_i]\not\subseteq \cup_{j=1}^{i-1}N(v_j)$. In the former case we establish a strong connection to the zero forcing number of a graph, while we determine the complexity of the decision problem in the latter case. We also study the relationships among the four concepts, and discuss their computational complexities