A generalised upper bound for the k-tuple domination number

In this paper, we provide an upper bound for the k-tuple domination number that generalises known upper bounds for the double and triple domination numbers. We prove that for any graph G,γ× k (G) ≤ frac(ln (δ - k + 2) + ln (∑m = 1k - 1 (k - m) over(d, ^)m + ε{lunate}) + 1, δ - k + 2) n,where γ× k (G) is the k-tuple domination number; δ is the minimal degree; over(d, ^)m is the m-degree of G; ε{lunate} = 1 if k = 1 or 2 and ε{lunate} = - d if k ≥ 3; d is the average degree. © 2007 Elsevier B.V. All rights reserved

The k-tuple domination number revisited

The following fundamental result for the domination number γ (G) of a graph G was proved by Alon and Spencer, Arnautov, Lovász and Payan: γ (G) ≤ frac(ln (δ + 1) + 1, δ + 1) n, where n is the order and δ is the minimum degree of vertices of G. A similar upper bound for the double domination number was found by Harant and Henning [J. Harant, M.A. Henning, On double domination in graphs, Discuss. Math. Graph Theory 25 (2005) 29-34], and for the triple domination number by Rautenbach and Volkmann [D. Rautenbach, L. Volkmann, New bounds on the k-domination number and the k-tuple domination number, Appl. Math. Lett. 20 (2007) 98-102], who also posed the interesting conjecture on the k-tuple domination number: for any graph G with δ ≥ k - 1, γ× k (G) ≤ frac(ln (δ - k + 2) + ln (over(d, ̂)k - 1 + over(d, ̂)k - 2) + 1, δ - k + 2) n, where over(d, ̂)m = ∑i = 1n ((di; m)) / n is the m-degree of G. This conjecture, if true, would generalize all the mentioned upper bounds and improve an upper bound proved in [A. Gagarin, V. Zverovich, A generalised upper bound for the k-tuple domination number, Discrete Math. (2007), in press (doi:10.1016/j.disc.2007.07.033)]. In this paper, we prove the Rautenbach-Volkmann conjecture. © 2007 Elsevier Ltd. All rights reserved

Upper bounds for alpha-domination parameters

In this paper, we provide a new upper bound for the alpha-domination number. This result generalises the well-known Caro-Roditty bound for the domination number of a graph. The same probabilistic construction is used to generalise another well-known upper bound for the classical domination in graphs. We also prove similar upper bounds for the alpha-rate domination number, which combines the concepts of alpha-domination and k-tuple domination.Comment: 7 pages; Presented at the 4th East Coast Combinatorial Conference, Antigonish (Nova Scotia, Canada), May 1-2, 200

On general frameworks and threshold functions for multiple domination

© 2015 Elsevier B.V. All rights reserved. We consider two general frameworks for multiple domination, which are called (r,s)-domination and parametric domination. They generalise and unify {k}-domination, k-domination, total k-domination and k-tuple domination. In this paper, known upper bounds for the classical domination are generalised for the (r,s)-domination and parametric domination numbers. These generalisations are based on the probabilistic method and they imply new upper bounds for the {k}-domination and total k-domination numbers. Also, we study threshold functions, which impose additional restrictions on the minimum vertex degree, and present new upper bounds for the aforementioned numbers. Those bounds extend similar known results for k-tuple domination and total k-domination

3-Factor-criticality in double domination edge critical graphs

A vertex subset $S$ of a graph $G$ is a double dominating set of $G$ if $|N[v]\cap S|\geq 2$ for each vertex $v$ of $G$, where $N[v]$ is the set of the vertex $v$ and vertices adjacent to $v$. The double domination number of $G$, denoted by $\gamma_{\times 2}(G)$, is the cardinality of a smallest double dominating set of $G$. A graph $G$ is said to be double domination edge critical if $\gamma_{\times 2}(G+e)<\gamma_{\times 2}(G)$ for any edge $e \notin E$. A double domination edge critical graph $G$ with $\gamma_{\times 2}(G)=k$ is called $k$-$\gamma_{\times 2}(G)$-critical. A graph $G$ is $r$-factor-critical if $G-S$ has a perfect matching for each set $S$ of $r$ vertices in $G$. In this paper we show that $G$ is 3-factor-critical if $G$ is a 3-connected claw-free $4$-$\gamma_{\times 2}(G)$-critical graph of odd order with minimum degree at least 4 except a family of graphs.Comment: 14 page

Randomized algorithms and upper bounds for multiple domination in graphs and networks

We consider four different types of multiple domination and provide new improved upper bounds for the k- and k-tuple domination numbers. They generalize two classical bounds for the domination number and are better than a number of known upper bounds for these two multiple domination parameters. Also, we explicitly present and systematize randomized algorithms for finding multiple dominating sets, whose expected orders satisfy new and recent upper bounds. The algorithms for k- and k-tuple dominating sets are of linear time in terms of the number of edges of the input graph, and they can be implemented as local distributed algorithms. Note that the corresponding multiple domination problems are known to be NP-complete. © 2011 Elsevier B.V. All rights reserved

Nowhere dense graph classes, stability, and the independence property

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the earlier stability theoretic notion of superflatness. For subgraph-closed classes of graphs we prove equivalence to stability and to not having the independence property.Comment: 9 page

Decidability Results for the Boundedness Problem

We prove decidability of the boundedness problem for monadic least fixed-point recursion based on positive monadic second-order (MSO) formulae over trees. Given an MSO-formula phi(X,x) that is positive in X, it is decidable whether the fixed-point recursion based on phi is spurious over the class of all trees in the sense that there is some uniform finite bound for the number of iterations phi takes to reach its least fixed point, uniformly across all trees. We also identify the exact complexity of this problem. The proof uses automata-theoretic techniques. This key result extends, by means of model-theoretic interpretations, to show decidability of the boundedness problem for MSO and guarded second-order logic (GSO) over the classes of structures of fixed finite tree-width. Further model-theoretic transfer arguments allow us to derive major known decidability results for boundedness for fragments of first-order logic as well as new ones