Minimal Dominating Sets in Graph Classes: Combinatorial Bounds and Enumeration

Author(s):  
Jean-François Couturier ◽  
Pinar Heggernes ◽  
Pim van’t Hof ◽  
Dieter Kratsch
2015 ◽  
Vol 562 ◽  
pp. 634-642 ◽  
Author(s):  
Jean-François Couturier ◽  
Romain Letourneur ◽  
Mathieu Liedloff

Author(s):  
Dieter Rautenbach ◽  
Johannes Redl

AbstractFor a graph G, two dominating sets D and $$D'$$ D ′ in G, and a non-negative integer k, the set D is said to k-transform to $$D'$$ D ′ if there is a sequence $$D_0,\ldots ,D_\ell $$ D 0 , … , D ℓ of dominating sets in G such that $$D=D_0$$ D = D 0 , $$D'=D_\ell $$ D ′ = D ℓ , $$|D_i|\le k$$ | D i | ≤ k for every $$i\in \{ 0,1,\ldots ,\ell \}$$ i ∈ { 0 , 1 , … , ℓ } , and $$D_i$$ D i arises from $$D_{i-1}$$ D i - 1 by adding or removing one vertex for every $$i\in \{ 1,\ldots ,\ell \}$$ i ∈ { 1 , … , ℓ } . We prove that there is some positive constant c and there are toroidal graphs G of arbitrarily large order n, and two minimum dominating sets D and $$D'$$ D ′ in G such that Dk-transforms to $$D'$$ D ′ only if $$k\ge \max \{ |D|,|D'|\}+c\sqrt{n}$$ k ≥ max { | D | , | D ′ | } + c n . Conversely, for every hereditary class $$\mathcal{G}$$ G that has balanced separators of order $$n\mapsto n^\alpha $$ n ↦ n α for some $$\alpha <1$$ α < 1 , we prove that there is some positive constant C such that, if G is a graph in $$\mathcal{G}$$ G of order n, and D and $$D'$$ D ′ are two dominating sets in G, then Dk-transforms to $$D'$$ D ′ for $$k=\max \{ |D|,|D'|\}+\lfloor Cn^\alpha \rfloor $$ k = max { | D | , | D ′ | } + ⌊ C n α ⌋ .


2019 ◽  
Vol 11 (02) ◽  
pp. 1950020
Author(s):  
M. Alambardar Meybodi ◽  
M. R. Hooshmandasl ◽  
P. Sharifani ◽  
A. Shakiba

A set [Formula: see text] for the graph [Formula: see text] is called a dominating set if any vertex [Formula: see text] has at least one neighbor in [Formula: see text]. Fomin et al. [Combinatorial bounds via measure and conquer: Bounding minimal dominating sets and applications, ACM Transactions on Algorithms (TALG) 5(1) (2008) 9] gave an algorithm for enumerating all minimal dominating sets with [Formula: see text] vertices in [Formula: see text] time. It is known that the number of minimal dominating sets for interval graphs and trees on [Formula: see text] vertices is at most [Formula: see text]. In this paper, we introduce the domination cover number as a new criterion for evaluating the dominating sets in graphs. The domination cover number of a dominating set [Formula: see text], denoted by [Formula: see text], is the summation of the degrees of the vertices in [Formula: see text]. Maximizing or minimizing this parameter among all minimal dominating sets has interesting applications in many real-world problems, such as the art gallery problem. Moreover, we investigate this concept for different graph classes and propose some algorithms for finding the domination cover number in trees and block graphs.


2013 ◽  
Vol 487 ◽  
pp. 82-94 ◽  
Author(s):  
Jean-François Couturier ◽  
Pinar Heggernes ◽  
Pim van ’t Hof ◽  
Dieter Kratsch

Author(s):  
Pious Missier ◽  
Anto Kinsley ◽  
Evangeline Prathibha Fernando
Keyword(s):  

Algorithms ◽  
2021 ◽  
Vol 14 (6) ◽  
pp. 164
Author(s):  
Tobias Rupp ◽  
Stefan Funke

We prove a Ω(n) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph family not too far from subgraphs that occur in real-world road networks, in particular, it is planar and has a bounded degree. Additionally, we borrow ideas from our lower bound proof to come up with instance-based lower bounds for concrete road network instances of moderate size, reaching up to 96% of an upper bound given by a constructed CH. For a variant of our instance-based schema applied to some special graph classes, we can even show matching upper and lower bounds.


2021 ◽  
Vol 64 (5) ◽  
pp. 98-105
Author(s):  
Martin Grohe ◽  
Daniel Neuen

We investigate the interplay between the graph isomorphism problem, logical definability, and structural graph theory on a rich family of dense graph classes: graph classes of bounded rank width. We prove that the combinatorial Weisfeiler-Leman algorithm of dimension (3 k + 4) is a complete isomorphism test for the class of all graphs of rank width at most k. A consequence of our result is the first polynomial time canonization algorithm for graphs of bounded rank width. Our second main result addresses an open problem in descriptive complexity theory: we show that fixed-point logic with counting expresses precisely the polynomial time properties of graphs of bounded rank width.


Sign in / Sign up

Export Citation Format

Share Document