arXiv++ Combinatorics

We analyse approximation algorithms (greedy heuristics) for the classical domination number and two multiple domination numbers in simple graphs. First, we present a short self-contained proof of the known result that the minimum domination problem in any graph $G$ with maximum degree $Δ$ can be solved within the approximation ratio of ${\ln(Δ+1)+1}$. The proof is based on an analysis of a simple greedy heuristic. Then, by analysing more advanced greedy heuristic techniques and using ideas from our self-contained proof for the classical domination number, we fix a gap in the existing proof of a similar result for the $k$-tuple domination number. That is, we prove that the minimum $k$-tuple domination problem indeed can be approximated within the ratio of $\ln(Δ+1)+1$. The proof of this result is self-contained, direct, and much shorter than the existing proof, which contains the gap. Finally, we show that the known approximation ratio of $\ln(2Δ)+1$ for the minimum $k$-domination problem can be improved to a better ratio.

Let $ir(G)$ and $γ(G)$ be the irredundance number and the domination number of a graph G, respectively. A graph G is called irredundance perfect if ir(H) = $γ(H)$ for every induced subgraph $H$ of $G$. The subclass of $P_6$-free irredundance perfect graphs has been studied extensively. In this paper, we present a characterization of this graph class in terms of eleven forbidden induced subgraphs.

We show that all results stated in [E. Camby, F. Plein, Discrete Appl. Math. 217 (2017) 711-717] are either previously known or incorrect. For example, Camby and Plein claimed to provide counterexamples to the 1995 characterization of domination perfect graphs due to Zverovich and Zverovich; however, these counterexamples are not valid. Moreover, the new characterization of domination perfect graphs proposed in that paper is incorrect. For completeness, we present a relatively brief proof of the 1995 characterization of domination perfect graphs due to Zverovich and Zverovich.

We consider the minimum weight and smallest weight minimum-size dominating set problems in vertex-weighted graphs and networks. The latter problem is a two-objective optimization problem, which is different from the classic minimum weight dominating set problem that requires finding a dominating set of the smallest weight in a graph without trying to optimize its cardinality. In other words, the objective of minimizing the size of the dominating set in the two-objective problem can be considered as a constraint, i.e. a particular case of finding Pareto-optimal solutions. First, we show how to reduce the two-objective optimization problem to the minimum weight dominating set problem by using Integer Linear Programming formulations. Then, under different assumptions, the probabilistic method is applied to obtain upper bounds on the minimum weight dominating sets in graphs. The corresponding randomized algorithms for finding small-weight dominating sets in graphs are described as well. Computational experiments are used to illustrate the results for two different types of random graphs.

We consider (closed neighbourhood) packings and their generalization in graphs called limited packings. A vertex set X in a graph G is a k-limited packing if for any vertex $v\in V(G)$, $\left|N[v] \cap X\right| \le k$, where $N[v]$ is the closed neighbourhood of $v$. The k-limited packing number $L_k(G)$ is the largest size of a k-limited packing in G. Limited packing problems can be considered as secure facility location problems in networks. We develop probabilistic and greedy approaches to limited packings in graphs, providing lower bounds for the k-limited packing number, and randomized and greedy algorithms to find k-limited packings satisfying the bounds. Some upper bounds for $L_k(G)$ are given as well. The problem of finding a maximum size k-limited packing is known to be NP-complete even in split or bipartite graphs.

We consider (closed neighbourhood) packings and their generalization in graphs. A vertex set X in a graph G is a k-limited packing if for any vertex $v\in V(G)$, $\left|N[v] \cap X\right| \le k$, where N[v] is the closed neighbourhood of v. The k-limited packing number $L_k(G)$ of a graph G is the largest size of a k-limited packing in G. Limited packing problems can be considered as secure facility location problems in networks. In this paper, we develop a new probabilistic approach to limited packings in graphs, resulting in lower bounds for the k-limited packing number and a randomized algorithm to find k-limited packings satisfying the bounds. In particular, we prove that for any graph G of order n with maximum vertex degree $Δ$, $$L_k(G) \ge {kn \over (k+1)\sqrt[k]{\pmatrix{Δ\cr k} (Δ+1)}}.$$ The problem of finding a maximum size k-limited packing is known to be NP-complete even in split or bipartite graphs.

The bondage number of a graph is the smallest number of its edges whose removal results in a graph having a larger domination number. We provide constant upper bounds for the bondage number of graphs on topological surfaces, improve upper bounds for the bondage number in terms of the maximum vertex degree and the orientable and non-orientable genera of the graph, and show tight lower bounds for the number of vertices of graphs 2-cell embeddable on topological surfaces of a given genus. Also, we provide stronger upper bounds for graphs with no triangles and graphs with the number of vertices larger than a certain threshold in terms of the graph genera. This settles Teschner's Conjecture in positive for almost all graphs.

The classical network configuration introduced by Braess in 1968 is of fundamental significance because Valiant and Roughgarden showed in 2006 that `the "global" behaviour of an equilibrium flow in a large random network is similar to that in Braess' original four-node example'. In this paper, a natural generalisation of Braess' network is introduced and conditions for the occurrence of Braess' paradox are formulated for the generalised network. The Braess' paradox has been studied mainly in the context of the classical problem introduced by Braess and his colleagues, assuming a certain type of networks. Specifically, two pairs of links in those networks are assumed to have the same volume-delay functions. The occurrence of Braess' paradox for this specific case of network symmetry was investigated by Pas and Principio in 1997. Such a symmetry is not common in real-life networks because the parameters of volume-delay functions are associated with roads physical and functional characteristics, which typically differ from one link to another (e.g. roads in networks are of different length). Our research provides an extension of previous studies on Braess' paradox by considering arbitrary volume-delay functions, i.e. symmetry properties are not assumed for any of the network's links and the occurrence of Braess' paradox is studied for a general configuration.

The bondage number b(G) of a graph G is the smallest number of edges of G whose removal from G results in a graph having the domination number larger than that of G. We show that, for a graph G having the maximum vertex degree $Δ(G)$ and embeddable on an orientable surface of genus h and a non-orientable surface of genus k, $b(G)\le \min\{Δ(G)+h+2, Δ(G)+k+1\}$. This generalizes known upper bounds for planar and toroidal graphs.