In the complement of a dominating set

A set D of vertices of a graph G=(V,E) is a dominating set, if every vertex of D\V has at least one neighbor that belongs to D. The disjoint domination number of a graph G is the minimum cardinality of two disjoint dominating sets of G. We prove upper bounds for the disjoint domination number for graphs of minimum degree at least 2, for graphs of large minimum degree and for cubic graphs.A set T of vertices of a graph G=(V,E) is a total dominating set, if every vertex of G has at least one neighbor that belongs to T. We characterize graphs of minimum degree 2 without induced 5-cycles and graphs of minimum degree at least 3 that have a dominating set, a total dominating set, and a non-empty vertex set that are disjoint.A set I of vertices of a graph G=(V,E) is an independent set, if all vertices in I are not adjacent in G. We give a constructive characterization of trees that have a maximum independent set and a minimum dominating set that are disjoint and we show that the corresponding decision problem is NP-hard for general graphs. Additionally, we prove several structural and hardness results concerning pairs of disjoint sets in graphs which are dominating, independent, or both. Furthermore, we prove lower bounds for the maximum cardinality of an independent set of graphs with specifed odd girth and small average degree.A connected graph G has spanning tree congestion at most s, if G has a spanning tree T such that for every edge e of T the edge cut defined in G by the vertex sets of the two components of T-e contains at most s edges. We prove that every connected graph of order n has spanning tree congestion at most n^(3/2) and we show that the corresponding decision problem is NP-hard

Remarks about disjoint dominating sets

We solve a number of problems posed by Hedetniemi, Hedetniemi, Laskar, Markus, and Slater concerning pairs of disjoint sets in graphs which are dominating or independent and dominating

Independent coalition in graphs

An independent coalition in a graph $G=(V,E)$ consists of two disjoint sets of vertices $V_1$ and $V_2$, neither of which is an independent dominating set but whose union $V_1 \cup V_2$ is an independent dominating set. An independent coalition partition in a graph $G$ is a vertex partition $\pi= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $\pi$ either is an independent dominating set consisting of a single vertex of degree $n-1$, or is not an independent dominating set but forms an independent coalition with another set $V_j \in \pi$ which is not an independent dominating set. In this paper we study the concept of independent coalition partition (ic-partition). We introduce a family of graphs that have no ic-partition. We also determine the independent coalition number of some custom graphs and investigate graphs $G$ with $IC(G)\in\{1,2,3,4,n\}$ and the trees $T$ with $IC(T)=n-1$, where $n$ denotes the order of the graph.Comment: 17 page

Disjoint Dominating Sets with a Perfect Matching

In this paper, we consider dominating sets $D$ and $D'$ such that $D$ and $D'$ are disjoint and there exists a perfect matching between them. Let $DD_{\textrm{m}}(G)$ denote the cardinality of smallest such sets $D, D'$ in $G$ (provided they exist, otherwise $DD_{\textrm{m}}(G) = \infty$). This concept was introduced in [Klostermeyer et al., Theory and Application of Graphs, 2017] in the context of studying a certain graph protection problem. We characterize the trees $T$ for which $DD_{\textrm{m}}(T)$ equals a certain graph protection parameter and for which $DD_{\textrm{m}}(T) = \alpha(T)$, where $\alpha(G)$ is the independence number of $G$. We also further study this parameter in graph products, e.g., by giving bounds for grid graphs, and in graphs of small independence number

Threshold graphs, shifted complexes, and graphical complexes

We consider a variety of connections between threshold graphs, shifted complexes, and simplicial complexes naturally formed from a graph. These graphical complexes include the independent set, neighborhood, and dominance complexes. We present a number of structural results and relations among them including new characterizations of the class of threshold graphs.Comment: 9 pages, 2 figures; to appear in Discrete Mathematic

On the number of k-dominating independent sets

We study the existence and the number of $k$-dominating independent sets in certain graph families. While the case $k=1$ namely the case of maximal independent sets - which is originated from Erd\H{o}s and Moser - is widely investigated, much less is known in general. In this paper we settle the question for trees and prove that the maximum number of $k$-dominating independent sets in $n$-vertex graphs is between $c_k\cdot\sqrt[2k]{2}^n$ and $c_k'\cdot\sqrt[k+1]{2}^n$ if $k\geq 2$, moreover the maximum number of $2$-dominating independent sets in $n$-vertex graphs is between $c\cdot 1.22^n$ and $c'\cdot1.246^n$. Graph constructions containing a large number of $k$-dominating independent sets are coming from product graphs, complete bipartite graphs and with finite geometries. The product graph construction is associated with the number of certain MDS codes.Comment: 13 page