Enumerating minimal dominating sets in chordal bipartite graphs

被引:17
作者
Golovach, Petr A. [1 ]
Heggernes, Pinar [1 ]
Kante, Mamadou M. [2 ]
Kratsch, Dieter [3 ]
Villanger, Yngve [1 ]
机构
[1] Univ Bergen, N-5020 Bergen, Norway
[2] Univ Blaise Pascal, Clermont Univ, LIMOS, CNRS, Aubiere, France
[3] Univ Lorraine, Metz, France
基金
欧洲研究理事会;
关键词
Minimal dominating set; Enumeration; Output polynomial algorithm; MAXIMAL INDEPENDENT SETS; TRANSVERSAL HYPERGRAPHS; DUALIZATION; TIME; EDGE;
D O I
10.1016/j.dam.2014.12.010
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We show that all minimal dominating sets of a chordal bipartite graph can be generated in incremental polynomial, hence output polynomial, time. Enumeration of minimal dominating sets in graphs is equivalent to enumeration of minimal transversals in hypergraphs. Whether the minimal transversals of a hypergraph can be enumerated in output polynomial time is a well-studied and challenging question that has been open for several decades. With this result we contribute to the known cases having an affirmative reply to this important question. (C) 2014 Elsevier B.V. All rights reserved.
引用
收藏
页码:30 / 36
页数:7
相关论文
共 34 条
[1]   Reverse search for enumeration [J].
Avis, D ;
Fukuda, K .
DISCRETE APPLIED MATHEMATICS, 1996, 65 (1-3) :21-46
[2]   Generating maximal independent sets for hypergraphs with bounded edge-intersections [J].
Boros, E ;
Elbassioni, K ;
Gurvich, V ;
Khachiyan, L .
LATIN 2004: THEORETICAL INFORMATICS, 2004, 2976 :488-498
[3]   Dual subimplicants of positive Boolean functions [J].
Boros, E ;
Gurvich, V ;
Hammer, PL .
OPTIMIZATION METHODS & SOFTWARE, 1998, 10 (02) :147-156
[4]   Polynomial-time recognition of 2-monotonic positive Boolean functions given by an oracle [J].
Boros, E ;
Hammer, PL ;
Ibaraki, T ;
Kawakami, K .
SIAM JOURNAL ON COMPUTING, 1997, 26 (01) :93-109
[5]   Transversal hypergraphs to perfect matchings in bipartite graphs: Characterization and generation algorithms [J].
Boros, Endre ;
Elbassioni, Khaled ;
Gurvich, Vladimir .
JOURNAL OF GRAPH THEORY, 2006, 53 (03) :209-232
[6]  
Brandstdt A., 1999, Graph classes: A survey
[7]   Linear delay enumeration and monadic second-order logic [J].
Courcelle, Bruno .
DISCRETE APPLIED MATHEMATICS, 2009, 157 (12) :2675-2700
[8]   Efficient read-restricted monotone CNF/DNF dualization by learning with membership queries [J].
Domingo, C ;
Mishra, N ;
Pitt, L .
MACHINE LEARNING, 1999, 37 (01) :89-110
[9]   IDENTIFYING THE MINIMAL TRANSVERSALS OF A HYPERGRAPH AND RELATED PROBLEMS [J].
EITER, T ;
GOTTLOB, G .
SIAM JOURNAL ON COMPUTING, 1995, 24 (06) :1278-1304
[10]   Hypergraph transversal computation and related problems in logic and AI [J].
Eiter, T ;
Gottlob, G .
LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 :549-564