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.
Given a graph $G$, a dominating set $D$ is a set of vertices such that any vertex in $G$ has at least one neighbor (or possibly itself) in $D$. A ${k}$-dominating multiset $D_k$ is a multiset of vertices such that any vertex in $G$ has at least $k$ vertices from its closed neighborhood in $D_k$ when counted with multiplicity. In this paper, we utilize the approach developed by Clark and Suen (2000) and properties of binary matrices to prove a "Vizing-like" inequality on minimum ${k}$-dominating multisets of graphs $G,H$ and the Cartesian product graph $G \Box H$. Specifically, denoting the siz…
A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex outside of $S$ is adjacent to at least one vertex belonging to $S$. The minimum cardinality of a dominating set for $G$ is called the domination number of $G$. A map $f : V \rightarrow \{0, 1, 2\}$ is a Roman dominating function on a graph $G$ if for every vertex $v$ with $f(v) = 0$, there exists a vertex $u$, adjacent to $v$, such that $f(u) = 2$. The weight of a Roman dominating function is given by $f(V) =\sum_{u\in V}f(u)$. The minimum weight of a Roman dominating function on $G$ is called the Roman domination…
A global offensive alliance in a graph $G$ is a set $S$ of vertices with the property that every vertex not belonging to $S$ has at least one more neighbor in $S$ than it has outside of $S$. The global offensive alliance number of $G$, $γ_o(G)$, is the minimum cardinality of a global offensive alliance in $G$. A set $S$ of vertices of a graph $G$ is a dominating set for $G$ if every vertex not belonging to $S$ has at least one neighbor in $S$. The domination number of $G$, $γ(G)$, is the minimum cardinality of a dominating set of $G$. In this work we obtain closed formulas for the global offen…
Perfect Edge Domination in $P_6$-free Graphs and in Graphs Without Efficient Edge Dominating Sets
Universidad Nacional de General Sarmiento(圣马丁国立大学);Consejo Nacional de Investigaciones Científicas y Técnicas(国家科学研究委员会);Instituto de Cálculo and Departamento de Computación, Universidad de Buenos Aires(布宜诺斯艾利斯大学计算研究所与计算机科学系);Instituto de Cálculo and Departamento de Matemática, Universidad de Buenos Aires(布宜诺斯艾利斯大学计算研究所与数学系)
If each minimal dominating set in a graph is a minimum dominating set, then the graph is called well-dominated. Since the seminal paper on well-dominated graphs appeared in 1988, the structure of well-dominated graphs from several restricted classes have been studied. In this paper we give a complete characterization of nontrivial direct products that are well-dominated. We prove that if a strong product is well-dominated, then both of its factors are well-dominated. When one of the factors of a strong product is a complete graph, the other factor being well-dominated is also a sufficient cond…
Counting perfect edge dominating sets: extremal results and linear-time algorithms
Universidad Nacional de General Sarmiento(圣马丁国立大学);Consejo Nacional de Investigaciones Científicas y Técnicas(国家科学研究委员会);Instituto de Cálculo and Departamento de Computación, Universidad de Buenos Aires(布宜诺斯艾利斯大学计算系与计算研究所);Instituto de Cálculo and Departamento de Matemática, Universidad de Buenos Aires(布宜诺斯艾利斯大学数学系与计算研究所)
For graphs $G,H$ it is possible to add $(|V(G)|-γ(G))(|V(H)|-γ(H))$ edges to the Cartesian product $G\mathbin{\square}H$ such that a minimal dominating set $D$ of size $γ(G)γ(H)$ emerges. We hypothesize that $D$ is also a minimum dominating set for the resulting graph and show that this implies Vizing's conjecture.
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.
An identifying code in a graph $G$ is a dominating set $C$ such that the closed neighborhood of each vertex in $G$ has a distinct intersection with $C$. In 2008, Gravier et al. determined the minimum cardinality of an identifying code of the Cartesian product of two cliques with the same size. In this note, we generalize this result to the Cartesian product of any two nontrivial cliques.
Power domination is a two-step observation process that is used to monitor power networks and can be viewed as a combination of domination and zero forcing. Given a graph $G$, a subset $S\subseteq V(G)$ that can observe all vertices of $G$ using this process is known as a power dominating set of $G$, and the power domination number of $G$, $γ_P(G)$, is the minimum number of vertices in a power dominating set. We introduce a new partition on the vertices of a graph to provide a lower bound for the power domination number. We also consider the power domination number of the Cartesian product of …
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) = α(T)$, where…
A dominating set $D$ for a graph $G$ is a subset of $V(G)$ such that any vertex not in $D$ has at least one neighbor in $D$. The domination number $γ(G)$ is the size of a minimum dominating set in $G$. Vizing's conjecture from 1968 states that for the Cartesian product of graphs $G$ and $H$, $γ(G) γ(H) \leq γ(G \Box H)$, and Clark and Suen (2000) proved that $γ(G) γ(H) \leq 2γ(G \Box H)$. In this paper, we modify the approach of Clark and Suen to prove a variety of similar bounds related to total and paired domination, and also extend these bounds to the $n$-Cartesian product of graphs $A^1$ t…
A pairing of a graph $G$ is a perfect matching of the complete graph having the same vertex set as $G$. If every pairing of $G$ can be extended to a Hamiltonian cycle of the underlying complete graph using only edges from $G$, then $G$ has the PH-property. A somewhat weaker property is the PMH-property, whereby every perfect matching of $G$ can be extended to a Hamiltonian cycle of $G$. In an attempt to characterise all 4-regular graphs having the PH-property, we answer a question made in 2015 by Alahmadi et al. by showing that the Cartesian product $C_p\square C_q$ of two cycles on $p$ and $q…
Let $G=(V,E)$ be a finite undirected graph. A set $S$ of vertices in $V$ is said to be total $k$-dominating if every vertex in $V$ is adjacent to at least $k$ vertices in $S$. The total $k$-domination number, $γ_{kt}(G)$, is the minimum cardinality of a total $k$-dominating set in $G$. In this work we study the total $k$-domination number of Cartesian product of two complete graphs which is a lower bound of the total $k$-domination number of Cartesian product of two graphs. We obtain new lower and upper bounds for the total $k$-domination number of Cartesian product of two complete graphs. Som…
The middle graph $M(G)$ of a graph $G$ is the graph obtained by subdividing each edge of $G$ exactly once and joining all these newly introduced vertices of adjacent edges of $G$. A perfect Roman dominating function on a graph $G$ is a function $f : V(G) \rightarrow \{0, 1, 2\}$ satisfying the condition that every vertex $v$ with $f(v)=0$ is adjacent to exactly one vertex $u$ for which $f(u)=2$. The weight of a perfect Roman dominating function $f$ is the sum of weights of vertices. The perfect Roman domination number is the minimum weight of a perfect Roman dominating function on $G$. In this…
Let $G$ be a graph and let Pm$(G)$ denote the number of perfect matchings of $G$. We denote the path with $m$ vertices by $P_m$ and the Cartesian product of graphs $G$ and $H$ by $G\times H$. In this paper, as the continuance of our paper [19], we enumerate perfect matchings in a type of Cartesian products of graphs by the Pfaffian method, which was discovered by Kasteleyn. Here are some of our results: 1. Let $T$ be a tree and let $C_n$ denote the cycle with $n$ vertices. Then Pm$(C_4\times T)=\prod (2+α^2)$, where the product ranges over all eigenvalues $α$ of $T$. Moreover, we prove that Pm…
The strong matching preclusion number of a graph, introduced by Park and Ihm in 2011, is the minimum number of vertices and edges whose deletion results in a graph that has neither perfect matchings nor almost perfect matchings. As a generalization, the fractional strong matching preclusion number of a graph is the minimum number of edges and vertices whose deletion leaves the resulting graph without a fractional perfect matching. In this paper, we obtain the fractional strong matching preclusion number for Cartesian product graphs. As an application, the fractional strong matching preclusion …
A spanning subgraph of a graph $G$ is called a perfect star packing in $G$ if every component of the spanning subgraph is isomorphic to the star graph $K_{1,3}$. An efficient dominating set of graph $G$ is a vertex subset $D$ of $G$ such that each vertex of $G$ not in $D$ is adjacent to exactly one vertex from $D$ and any two vertices of $D$ are not adjacent in $G$. Fullerene graph is a connected plane cubic graph with only pentagonal and hexagonal faces, which is the molecular graph of carbon fullerene. Clearly, a perfect star packing in a fullerene graph $G$ on $n$ vertices will exist if and…
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 subset $S\subseteq V$ in a graph $G=(V,E)$ is a $k$-quasiperfect dominating set (for $k\geq 1$) if every vertex not in $S$ is adjacent to at least one and at most $k$ vertices in $S$. The cardinality of a minimum $k$-quasiperfect dominating set in $G$ is denoted by $γ_ {\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept and allow us to construct a decreasing chain of quasiperfect dominating numbers $ n \ge γ_ {\stackrel{}{11}}(G) \ge γ_ {\stackrel{}{12}}(G)\ge \ldots \ge γ_ {\stackrel{}{1Δ}}(G)=γ(G)$ in order…
For a graph $G = (V,E),$ a subset $S$ of $V$ is a perfect dominating set of $G$ if every vertex not in $S$ is adjacent to exactly one vertex in $S.$ The perfect domination number, $γ_p(G),$ is the minimum cardinality of a perfect dominating set of $G.$ The perfect domination number is found for knights graphs on square, rectangular, and infinite chessboards. Indeed, exact values or bounds are given for all chessboards except those with 3 rows and number of columns congruent to 1, 2, or 3 modulo 8.
An identifying code in a graph is a dominating set that also has the property that the closed neighborhood of each vertex in the graph has a distinct intersection with the set. The minimum cardinality of an identifying code, or ID code, in a graph $G$ is called the ID code number of $G$ and is denoted $\gid(G)$. In this paper, we give upper and lower bounds for the ID code number of the prism of a graph, or $G\Box K_2$. In particular, we show that $\gid(G \Box K_2) \ge \gid(G)$ and we show that this bound is sharp. We also give upper and lower bounds for the ID code number of grid graphs and a…
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
A set of vertices $S$ in a simple isolate-free graph $G$ is a semi-total dominating set of $G$ if it is a dominating set of $G$ and every vertex of $S$ is within distance 2 or less with another vertex of $S$. The semi-total domination number of $G$, denoted by $γ_{t2}(G)$, is the minimum cardinality of a semi-total dominating set of $G$. In this paper, we study semi-total domination of Cartesian products of graphs. Our main result establishes that for any graphs $G$ and $H$, $γ_{t2}(G\,\square\, H)\ge \frac{1}{3}γ_{t2}(G)γ_{t2}(H)$.
A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$; the minimum size of a $k$TDS is denoted $γ_{\times k,t}(G)$. We give a Vizing-like inequality for Cartesian product graphs, namely $γ_{\times k,t}(G) γ_{\times k,t}(H) \leq 2k γ_{\times k,t}(G \Box H)$ provided $γ_{\times k,t}(G) \leq 2kρ(G)$, where $ρ$ is the packing number. We also give bounds on $γ_{\times k,t}(G \Box H)$ in terms of (open) packing numbers, and consider the extremal case of $γ_{\times k,t}(K_n \Box K_m)$, i.e., the rook'…
In this paper, an upper bound for the perfect Italian domination number of the cartesian product of any two graphs is obtained and the exact value of this parameter for cartesian product of some special graphs are obtained. We have also proved that for any two positive integers $a$, $b$ there exists a graph $G$ and an induced subgraph $H$ of $G$ such that $γ_I^p(G) = a$ and $γ_I^p(H) = b$. Relationship of the perfect Italian domination number with the Roman domination number and the perfect domination number of a graph $G$ are obtained and the corresponding realization problems are also solved…
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…
Let $G=(V,E)$ be a graph without isolated vertices. A matching in $G$ is a set of independent edges in $G$. A perfect matching $M$ in $G$ is a matching such that every vertex of $G$ is incident to an edge of $M$. A set $S\subseteq V$ is a \textit{paired-dominating set} of $G$ if every vertex in $V-S$ is adjacent to some vertex in $S$ and if the subgraph $G[S]$ induced by $S$ contains at least one perfect matching. The paired-domination problem is to find a paired-dominating set of $G$ with minimum cardinality. A set $MPD\subseteq E$ is a \textit{matched-paired-dominating set} of $G$ if $MPD$ i…
A subset $D\subseteq V_G$ is a dominating set of $G$ if every vertex in $V_G-D$ has a~neighbor in $D$, while $D$ is a paired-dominating set of $G$ if $D$ is a~dominating set and the subgraph induced by $D$ contains a perfect matching. A graph $G$ is a $D\!P\!D\!P$-graph if it has a pair $(D,P)$ of disjoint sets of vertices of $G$ such that $D$ is a dominating set and $P$ is a paired-dominating set of $G$. The study of the $D\!P\!D\!P$-graphs was initiated by Southey and Henning (Cent. Eur. J. Math. 8 (2010) 459--467; J. Comb. Optim. 22 (2011) 217--234). In this paper, we provide conditions whi…
A vertex subset $S$ of a graph $G$ is a dominating set if every vertex of $G$ either belongs to $S$ or is adjacent to a vertex of $S$. The cardinality of a smallest dominating set is called the dominating number of $G$ and is denoted by $γ(G)$. A graph $G$ is said to be $γ$- vertex-critical if $γ(G-v)< γ(G)$, for every vertex $v$ in $G$. Let $G$ be a 2-connected $K_{1,5}$-free 3-vertex-critical graph. For any vertex $v \in V(G)$, we show that $G-v$ has a perfect matching (except two graphs), which is a conjecture posed by Ananchuen and Plummer.
A dominating set in a graph $G$ is a set $S$ of vertices such that every vertex that does not belong to $S$ is adjacent to a vertex in $S$. The domination number $γ(G)$ of $G$ is the minimum cardinality of a dominating set of $G$. The common independence number $α_c(G)$ of $G$ is the greatest integer $r$ such that every vertex of $G$ belongs to some independent set of cardinality at least~$r$. The common independence number is squeezed between the independent domination number $i(G)$ and the independence number $α(G)$ of $G$, that is, $γ(G) \le i(G) \le α_c(G) \le α(G)$. A graph $G$ is dominat…
Let $γ(G)$ denote the domination number of graph $G$. Let $G$ and $H$ be graphs and $G\Box H$ their Cartesian product. For $h\in V(H)$ define $G_h=\{(g,h)\,|\,g\in V(G)\}$ and call this set a $G$-layer of $G\Box H$. We prove the following special case of Vizing's conjecture. Let $D$ be a dominating set of $G\Box H$. If there exist minimum dominating sets $D_1$ and $D_2$ of $G$ such that for every $h\in V(H)$, the projection of $D\cap G_h$ to $G$ is contained in $D_1$ or $D_2$, then $|D|\geq γ(G)γ(H)$.
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The quasiperfect domination chain $γ_{\stackrel{}{11}}(G)\geγ_{\stackrel{}{12}}(G)\ge\dots\geγ_{\stackrel{}{1Δ}}(G)=γ(G)$, indicates what it is lost in size when you move towards a more perfect domination…
A vertex subset $S$ of a graph $G$ is a perfect (resp. quasiperfect) dominating set in $G$ if each vertex $v$ of $G\setminus S$ is adjacent to only one vertex ($d_v\in\{1,2\}$ vertices) of $S$. Perfect and quasiperfect dominating sets in the regular tessellation graph of Schläfli symbol $\{3,6\}$ and in its toroidal quotients are investigated, yielding the classification of their perfect dominating sets and most of their quasiperfect dominating sets $S$ with induced components of the form $K_ν$, where $ν\in\{1,2,3\}$ depends only on $S$.
In this paper, we continue the study of locating-paired-dominating set, abbreviated LPDS, in graphs introduced by McCoy and Henning. Given a finite or infinite graph $G=(V,E)$, a set $S\subset V$ is paired-dominating if the induced subgraph $G[S]$ has a perfect matching and every vertex in $V$ is adjacent to a vertex in $S$. The other condition for LPDS requires that for any distinct vertices $u,v \in V\backslash S$, we have $N(u)\cap S\neq N(v)\cap S$. Motivated by the conjecture of Kinawi, Hussain and Niepel, we prove the minimal density of LPDS in the king grid is between $8/37$ and $2/9$, …
Let G be a simple undirected graph with no isolated vertex. A paired dominating set of G is a dominating set which induces a subgraph that has a perfect matching. The paired domination number of G, denoted by γpr(G), is the size of its smallest paired dominating set. Goddard and Henning conjectured that γpr(G) {\leq} 4n/7 holds for every graph G with δ(G) {\geq} 3, except the Petersen Graph. In this paper, we prove this conjecture for cubic graphs.
A graph is said to be well-edge-dominated if all its minimal edge dominating sets are minimum. It is known that every well-edge-dominated graph $G$ is also equimatchable, meaning that every maximal matching in $G$ is maximum. In this paper, we show that if $G$ is a connected, triangle-free, nonbipartite, well-edge-dominated graph, then $G$ is one of three graphs. We also characterize the well-edge-dominated split graphs and Cartesian products. In particular, we show that a connected Cartesian product $G\Box H$ is well-edge-dominated, where $G$ and $H$ have order at least $2$, if and only if $G…
The notion of $(σ,ρ)$-dominating set generalizes many notions including dominating set, induced matching, perfect codes or independent sets. Bounds on the maximal number of such (maximal, minimal) sets were established for different $σ$ and $ρ$ and different classes of graphs. In particular, Rote showed that the number of minimal dominating sets in trees of order $n$ is at most $95^{\frac{n}{13}}$ and Golovach et Al. computed the asymptotic of the number of $(σ,ρ)$-dominating sets in paths for all $σ$ and $ρ$. Here, we propose a method to compute bounds on the number of $(σ,ρ)$-dominating sets…
The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article, we obtain closed formulas and tight bounds for the super domination number of $G$ in terms of several invariants of $G$. Furt…
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…
For a graph $G = (V, E)$, the $γ$-graph of $G$, denoted $G(γ) = (V(γ), E(γ))$, is the graph whose vertex set is the collection of minimum dominating sets, or $γ$-sets of $G$, and two $γ$-sets are adjacent in $G(γ)$ if they differ by a single vertex and the two different vertices are adjacent in $G$. In this paper, we consider $γ$-graphs of trees. We develop an algorithm for determining the $γ$-graph of a tree, characterize which trees are $γ$-graphs of trees, and further comment on the structure of $γ$-graphs of trees and its connections with Cartesian product graphs, the set of graphs which c…
Toll convexity is a variation of the so-called interval convexity. A tolled walk $T$ between $u$ and $v$ in $G$ is a walk of the form $T: u,w_1,\ldots,w_k,v,$ where $k\ge 1$, in which $w_1$ is the only neighbor of $u$ in $T$ and $w_k$ is the only neighbor of $v$ in $T$. As in geodesic or monophonic convexity, toll interval between $u,v\in V(G)$ is a set $T_G(u,v)=\{x\in V(G)\,:\,x \textrm{ lies on a tolled walk between } u \textrm{ and } v\}$. A set of vertices $S$ is toll convex, if $T_{G}(u,v)\subseteq S$ for all $u,v\in S$. First part of the paper reinvestigates the characterization of conv…
A perfect structure is a triple $(M,P,S)$ of matrices $M, P$ and $S$ of consistent sizes such that $MP = PS$. Perfect structures comprise similar matrices, eigenvectors, perfect colorings (equitable partitions) and graph coverings. In this paper we study general algebraic properties of perfect structures and characterize all perfect structures with identity or unity matrix $M$. Next, we consider a graph product generalizing most standard products (e.g. Cartesian, tensor, normal, lexicographic graph products). For this product we propose a construction of perfect structures and prove that it ca…
A graph $G=(V,E)$ is $γ$-excellent if $V$ is a union of all $γ$-sets of $G$, where $γ$ stands for the domination number. Let $\mathcal{I}$ be a set of all mutually nonisomorphic graphs and $\emptyset \not= \mathcal{H} \subsetneq \mathcal{I}$. In this paper we initiate the study of the $\mathcal{H}$-$γ$-excellent graphs, which we define as follows. A graph $G$ is $\mathcal{H}$-$γ$-excellent if the following hold: (i) for every $H \in \mathcal{H}$ and for each $x \in V(G)$ there exists an induced subgraph $H_x$ of $G$ such that $H$ and $H_x$ are isomorphic, $x \in V(H_x)$ and $V(H_x)$ is a subse…
A dominating set $S$ in a graph $G$ is said to be perfect if every vertex of $G$ not in $S$ is adjacent to just one vertex of $S$. Given a vertex subset $S'$ of a side $P_m$ of an $m\times n$ grid graph $G$, the perfect dominating sets $S$ in $G$ with $S'=S\cap V(P_m)$ can be determined via an exhaustive algorithm $Θ$ of running time $O(2^{m+n})$. Extending $Θ$ to infinite grid graphs of width $m-1$, periodicity makes the binary decision tree of $Θ$ prunable into a finite threaded tree, a closed walk of which yields all such sets $S$. The graphs induced by the complements of such sets $S$ can …
Rubalcaba and Slater (Robert R. Rubalcaba and Peter J. Slater. Efficient (j,k)-domination. Discuss. Math. Graph Theory, 27(3):409-423, 2007.) define a $(j,k)$-dominating function on graph $X$ as a function $f:V(X)\rightarrow \{0,\ldots,j\}$ so that for each $v\in V(X)$, $f(N[v])\geq k$, where $N[v]$ is the closed neighbourhood of $v$. Such a function is efficient if all of the vertex inequalities are met with equality. They give a simple necessary condition for efficient domination, namely: if $X$ is an $r$-regular graph on $n$ vertices that has an efficient $(1,k)$-dominating function, then t…
A perfect pseudo-matching M in a cubic graph G is a spanning subgraph of G such that every component of M is isomorphic to K_2 or to K_1,3. In view of snarks G with dominating cycle C, this is a natural generalization of perfect matchings since G-E(C) is a perfect pseudo-matching. Of special interest are such M where the graph G/M is planar because such G have a cycle double cover. We show that various well known classes of snarks contain planarizing perfect pseudo-matchings, and that there are at least as many snarks with planarizing perfect pseudo-matchings as there are cyclically 5-edge-con…