On Approximability of the Independent/Connected Edge Dominating Set Problems

Total Page:16

File Type:pdf, Size:1020Kb

On Approximability of the Independent/Connected Edge Dominating Set Problems Information Processing Letters 79 (2001) 261–266 On approximability of the independent/connected edge dominating set problems Toshihiro Fujito Department of Electronics, Nagoya University, Furo, Chikusa, Nagoya, 464-8603 Japan Received 16 June 2000; received in revised form 5 December 2000 Communicated by K. Iwama Abstract We investigate polynomial-time approximability of the problems related to edge dominating sets of graphs. When edges are unit-weighted, the edge dominating set problem is polynomially equivalent to the minimum maximal matching problem, in either exact or approximate computation, and the former problem was recently found to be approximable within a factor of 2 even with arbitrary weights. It will be shown, in contrast with this, that the minimum weight maximal matching problem cannot be approximated within any polynomially computable factor unless P = NP. The connected edge dominating set problem and the connected vertex cover problem also have the same approximability when edges/vertices are unit-weighted. The former problem is already known to be approximable, even with general edge weights, within a factor of 3.55. We will show that, when general weights are allowed, (1) the connected edge dominating set problem can be approximated within a factor of 3 + ε, and (2) the connected vertex cover problem is approximable within a factor of ln n + 3 but cannot be within (1 − ε)ln n for any ε>0 unless NP ⊂ DTIME(nO(loglogn)). 2001 Elsevier Science B.V. All rights reserved. Keywords: Combinatorial optimization problems; Approximation algorithms; Edge dominating set 1. Introduction edges in a graph. The problem EDS is then that of find- ing a smallest eds or, if edges are weighted, an eds of In this paper we investigate polynomial-time ap- minimum total weight. Yannakakis and Gavril showed proximability of problems related to edge dominating that EDS is NP-complete even when the graphs are sets of graphs. For two pairs of problems considered, planar or bipartite of maximum degree 3 [20]. A set it will be shown that, while both problems in each of edges is called a matching (or independent)ifno pair have the same approximability for the unweighted two of them have a vertex in common, and a match- case, their approximation properties differ drastically ing is maximal if no other matching properly con- when general non-negative weights are allowed. tains it. Notice that any maximal matching is neces- In an undirected graph an edge dominates all the sarily an eds, because an edge not in it must be ad- edges adjacent to it, and an edge dominating set (eds) jacent to some in it. For this reason it is also called is a set of edges collectively dominating all the other an independent edge dominating set, and the prob- lem IEDS asks for a minimum maximal matching in E-mail address: [email protected] (T. Fujito). a given graph. Interestingly, one can also construct a 0020-0190/01/$ – see front matter 2001 Elsevier Science B.V. All rights reserved. PII:S0020-0190(01)00138-7 262 T. Fujito / Information Processing Letters 79 (2001) 261–266 maximal matching, from any eds, of no larger size in After improving this bound to 3 + ε, we will show that polynomial time [11], implying that EDS and IEDS weighted CVC is as hard to approximate as weighted are polynomially equivalent, in exact or approximate set cover, indicating that it is not approximable within computation, when graphs are unweighted. Based on a factor better than (1 − ε)lnn unless this and the fact that any maximal matching cannot NP ⊂ DTIME nO(loglogn) be more than twice larger than any maximal match- ing, it has been long known that either problem, with- [4]. Lastly, we present an algorithm approximating out weights, can be approximated within a factor of 2. weighted CVC within a factor of Moreover, weighted EDS was recently shown approx- H(∆− 1) + r ln(∆ − 1) + 3, imable within a factor of 2 [5,3]. In contrast with this, wvc we will present strong inapproximability results for where H(k) is the kth harmonic number and ∆ is the weighted IEDS. maximal vertex degree of a graph. A related problem, We next consider EDS with connectivity require- connected dominating set, can be approximated within ment, called the connected edge dominating set a factor of ln n + 3 for the unweighted case [8], but (CEDS) problem, where it is asked to compute a con- when weighted, the best known bound is 1.35 ln n [9]. nected eds (ceds) of minimum weight in a given con- nected graph. Since it is always redundant to form a cycle in a ceds, the problem can be restated as that of 2. Independent edge dominating set going after a minimum tree whose vertices “cover” all the edges in a graph, and thus, it is also called tree To show that it is extremely hard to approximate cover.Thevertex cover (VC) problem is another ba- IEDS, we use a reduction from 3SAT. Let us first sic NP-complete graph problem [13], in which a min- describe a general construction of graph Gφ for a imum vertex set is sought in G s.t. every edge of G given 3SAT instance (i.e., a CNF formula) φ,by is incident to some vertex in the set. When a vertex adapting the one used in reducing SAT to minimum cover is additionally required to induce a connected maximal independent set [12,10] to our case. For subgraph in a given connected graph, the problem is simplicity, every clause of φ is assumed without loss called connected vertex cover (CVC) and known to be of generality to contain exactly three literals. Each as hard to approximate as VC is [6]. variable xi appearing in φ is represented in Gφ by These problems are closely related to EDS and two edges adjacent to each other, and the endvertices CEDS in that an edge set F is an eds for G iff of such a path of length 2 are labeled xi and x¯i;let V(F), the set of vertices touched by edges of F ,is Ev denote the set of these edges. Each clause cj of φ a vertex cover for G, and similarly, a tree F is a is represented by a triangle (a cycle of length 3) Cj , ceds iff V(F) is a connected vertex cover. It follows and vertices of Cj are labeled distinctively by literals that since the number of vertices is that of edges appearing in cj ;letEc denote the set of edges in these plus one in any tree, the unweighted versions of disjoint triangles. The paths in Ev and triangles in Ec CEDS and CVC have the same approximability, and are connected together by having an edge between in fact they are known to be approximable within a every vertex of each triangle and the endvertex of a factor of 2 [18,1]. It is not known, however, if CEDS path having the same label. The set of these edges and CVC can be somehow related even if general lying between Ev and Ec is denoted by Eb.Itisa weights are allowed. An algorithm scheme of Arkin simple matter to verify that, for a 3SAT instance φ et al. for weighted CEDS gives its approximation with m variables and p clauses, Gφ constructed this factor in the form of rSt + rwvc(1 + 1/k),forany way consists of 3(m + p) vertices and 2(m + 3p) constant k,whererSt (rwvc) is the performance ratio edges. of any polynomial time algorithm for the Steiner tree (weighted vertex cover, respectively) problem [1]. By Lemma 1. Let M(G) denote a minimum maximal using the currently best algorithms for Steiner tree [17] matching M in G. For any 3SAT instance φ with m and for weighted vertex cover [2] in their scheme, variables and p clauses, and for any number t,there the bound for weighted CEDS is estimated at 3.55. exists a graph Gφ on 3(m+p) vertices and 2(m+3p) T. Fujito / Information Processing Letters 79 (2001) 261–266 263 edges, and a weight assignment w : E →{1,t},such 3. Connected edge dominating set that We first consider a restricted version of CEDS; for m + p, if φ is satisfiable, w M(Gφ) a designated vertex r called root,anr-ceds is a ceds >t, otherwise. touching r, and the problem r-CEDS is to compute an r-ceds of minimum weight. Given an undirected = ∈ ∪ = Proof. Let w(e) 1ife Ev Ec and w(e) t if graph G = (V, E) with edge weights w : E → Q+, e ∈ Eb. Suppose that φ is satisfiable, and let τ be a let G = (V, E) denote its directed version obtained particular truth assignment satisfying φ. Construct a by replacing each edge {u, v} of G by two directed matching Mτ in Ev by choosing, for each i, the edge ones, (u, v) and (v, u), each of weight w({u, v}).For with its endvertex labeled by xi if τ(xi) is true and the root r, a non-empty set S ⊆ V −{r} is called the one having an endvertex labeled by x¯i if τ(xi) is dependent if S is not an independent set in G. Suppose false. Consider any triangle Cj in Ec.Sinceτ satisfies T ⊆ E is an r-ceds, and let T denote the directed φ, at least one edge among those in Eb connecting counterpart obtained by choosing, for each pair of Cj and Ev must be dominated by Mτ .
Recommended publications
  • Dominating Cliques in Graphs
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Mathematics 86 (1990) 101-116 101 North-Holland DOMINATING CLIQUES IN GRAPHS Margaret B. COZZENS Mathematics Department, Northeastern University, Boston, MA 02115, USA Laura L. KELLEHER Massachusetts Maritime Academy, USA Received 2 December 1988 A set of vertices is a dominating set in a graph if every vertex not in the dominating set is adjacent to one or more vertices in the dominating set. A dominating clique is a dominating set that induces a complete subgraph. Forbidden subgraph conditions sufficient to imply the existence of a dominating clique are given. For certain classes of graphs, a polynomial algorithm is given for finding a dominating clique. A forbidden subgraph characterization is given for a class of graphs that have a connected dominating set of size three. Introduction A set of vertices in a simple, undirected graph is a dominating set if every vertex in the graph which is not in the dominating set is adjacent to one or more vertices in the dominating set. The domination number of a graph G is the minimum number of vertices in a dominating set. Several types of dominating sets have been investigated, including independent dominating sets, total dominating sets, and connected dominating sets, each of which has a corresponding domination number. Dominating sets have applications in a variety of fields, including communication theory and political science. For more background on dominating sets see [3, 5, 151 and other articles in this issue. For arbitrary graphs, the problem of finding the size of a minimum dominating set in the graph is an NP-complete problem [9].
    [Show full text]
  • The Bidimensionality Theory and Its Algorithmic
    The Bidimensionality Theory and Its Algorithmic Applications by MohammadTaghi Hajiaghayi B.S., Sharif University of Technology, 2000 M.S., University of Waterloo, 2001 Submitted to the Department of Mathematics in partial ful¯llment of the requirements for the degree of DOCTOR OF PHILOSOPHY at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 2005 °c MohammadTaghi Hajiaghayi, 2005. All rights reserved. The author hereby grants to MIT permission to reproduce and distribute publicly paper and electronic copies of this thesis document in whole or in part. Author.............................................................. Department of Mathematics April 29, 2005 Certi¯ed by. Erik D. Demaine Associate Professor of Electrical Engineering and Computer Science Thesis Supervisor Accepted by . Rodolfo Ruben Rosales Chairman, Applied Mathematics Committee Accepted by . Pavel I. Etingof Chairman, Department Committee on Graduate Students 2 The Bidimensionality Theory and Its Algorithmic Applications by MohammadTaghi Hajiaghayi Submitted to the Department of Mathematics on April 29, 2005, in partial ful¯llment of the requirements for the degree of DOCTOR OF PHILOSOPHY Abstract Our newly developing theory of bidimensional graph problems provides general techniques for designing e±cient ¯xed-parameter algorithms and approximation algorithms for NP- hard graph problems in broad classes of graphs. This theory applies to graph problems that are bidimensional in the sense that (1) the solution value for the k £ k grid graph (and similar graphs) grows with k, typically as ­(k2), and (2) the solution value goes down when contracting edges and optionally when deleting edges. Examples of such problems include feedback vertex set, vertex cover, minimum maximal matching, face cover, a series of vertex- removal parameters, dominating set, edge dominating set, r-dominating set, connected dominating set, connected edge dominating set, connected r-dominating set, and unweighted TSP tour (a walk in the graph visiting all vertices).
    [Show full text]
  • Algorithms for Minimum M-Connected K-Tuple Dominating Set Problem$
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 381 (2007) 241–247 www.elsevier.com/locate/tcs Algorithms for minimum m-connected k-tuple dominating set problem$ Weiping Shanga,c,∗, Pengjun Wanb, Frances Yaoc, Xiaodong Hua a Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing 10080, China b Department of Computer Science, Illinois Institute of Technology, Chicago, IL 60616, USA c Department of Computer Science, City University of Hong Kong, Hong Kong Received 24 January 2007; received in revised form 25 April 2007; accepted 29 April 2007 Communicated by D.-Z. Du Abstract In wireless sensor networks, a virtual backbone has been proposed as the routing infrastructure to alleviate the broadcasting storm problem and perform some other tasks such as area monitoring. Previous work in this area has mainly focused on how to set up a small virtual backbone for high efficiency, which is modelled as the minimum Connected Dominating Set (CDS) problem. In this paper we consider how to establish a small virtual backbone to balance efficiency and fault tolerance. This problem can be formalized as the minimum m-connected k-tuple dominating set problem, which is a general version of minimum CDS problem with m = 1 and k = 1. We propose three centralized algorithms with small approximation ratios for small m and improve the current best results for small k. c 2007 Elsevier B.V. All rights reserved. Keywords: Connected dominating set; Approximation algorithm; k-vertex connectivity; Wireless sensor networks 1. Introduction A Wireless Sensor Network (WSN) consists of wireless nodes (transceivers) without any underlying physical infrastructure.
    [Show full text]
  • A Dominating-Set-Based Routing Scheme in Ad Hoc Wireless
    A Dominating-Set-Based Routing Scheme in Ad Ho c Wireless 1 Networks Jie Wu and Hailan Li Department of Computer Science and Engineering Florida Atlantic University Bo ca Raton, FL 33431 1 This work was supp orted in part by NSF grants CCR 9900646 and ANI 0073736. Abstract Ecient routing among a set of mobile hosts also called no des is one of the most imp ortant functions in ad-ho c wireless networks. Routing based on a connected dominating set is a promising approach, where the searching space for a route is reduced to no des in the set. A set is dominating if all the no des in the system are either in the set or neighb ors of no des in the set. In this pap er, we prop ose a simple and ecient distributed algorithm for calculating connected dominating set in ad- ho c wireless networks, where connections of no des are determined by their geographical distances. We also prop ose an up date/recalculation algorithm for the connected dominating set when the top ology of the ad ho c wireless network changes dynamically. Our simulation results show that the prop osed approach outp erforms a classical algorithm in terms of nding a small connected dominating set and doing so quickly. Our approach can be p otentially used in designing ecient routing algorithms based on a connected dominating set. Keywords: ad hoc wireless networks, dominating sets, mobile computing, routing, simulation 1 Intro duction Recent advances in technology have provided p ortable computers with wireless interfaces that allow networked communication among mobile users.
    [Show full text]
  • Linear Separation of Connected Dominating Sets in Graphs∗
    ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 16 (2019) 487–525 https://doi.org/10.26493/1855-3974.1330.916 (Also available at http://amc-journal.eu) Linear separation of connected dominating sets in graphs∗ Nina Chiarelli y, Martin Milanicˇ z University of Primorska, UP FAMNIT, Glagoljaskaˇ 8, SI-6000 Koper, Slovenia University of Primorska, UP IAM, Muzejski trg 2, SI-6000 Koper, Slovenia Received 21 February 2017, accepted 12 November 2018, published online 15 March 2019 Abstract A connected dominating set in a graph is a dominating set of vertices that induces a connected subgraph. Following analogous studies in the literature related to independent sets, dominating sets, and total dominating sets, we study in this paper the class of graphs in which the connected dominating sets can be separated from the other vertex subsets by a linear weight function. More precisely, we say that a graph is connected-domishold if it admits non-negative real weights associated to its vertices such that a set of vertices is a connected dominating set if and only if the sum of the corresponding weights exceeds a certain threshold. We characterize the graphs in this non-hereditary class in terms of a property of the set of minimal cutsets of the graph. We give several char- acterizations for the hereditary case, that is, when each connected induced subgraph is required to be connected-domishold. The characterization by forbidden induced subgraphs implies that the class properly generalizes two well known classes of chordal graphs, the block graphs and the trivially perfect graphs.
    [Show full text]
  • Linear Separation of Connected Dominating Sets in Graphs (Extended Abstract) Nina Chiarelli1 and Martin Milanicˇ2
    Linear Separation of Connected Dominating Sets in Graphs (Extended Abstract) Nina Chiarelli1 and Martin Milanicˇ2 1 University of Primorska, UP FAMNIT, Glagoljaskaˇ 8, SI6000 Koper, Slovenia [email protected] 2 University of Primorska, UP IAM, Muzejski trg 2, SI6000 Koper, Slovenia University of Primorska, UP FAMNIT, Glagoljaskaˇ 8, SI6000 Koper, Slovenia [email protected] Abstract are looking for, such as matchings, cliques, stable sets, dominating sets, etc. A connected dominating set in a graph is a dominating set of vertices that induces a The above framework provides a unified way connected subgraph. We introduce and study of describing characteristic properties of several the class of connected-domishold graphs, graph classes studied in the literature, such as which are graphs that admit non-negative real threshold graphs (Chvatal´ and Hammer 1977), weights associated to their vertices such that domishold graphs (Benzaken and Hammer 1978), a set of vertices is a connected dominating total domishold graphs (Chiarelli and Milanicˇ set if and only if the sum of the correspond- 2013a; 2013b) and equistable graphs (Payan 1980; ing weights exceeds a certain threshold. We show that these graphs form a non-hereditary Mahadev, Peled, and Sun 1994). If weights as class of graphs properly containing two above exist and are given with the graph, and the well known classes of chordal graphs: block set T is given by a membership oracle, then a dy- graphs and trivially perfect graphs. We char- namic programming algorithm can be
    [Show full text]
  • Graph Covering and Subgraph Problems
    Graph Covering and Subgraph Problems Gabrovˇsek, Peter and Miheliˇc, Jurij Abstract: Combinatorial optimization prob- For each problem, we first present its for- lems and graph theory play an important role in mal definition and give its hardness of solving. several fields including logistics, artificial intel- Afterward, we also list several exact, heuristic ligence, software engineering, etc. In this pa- and approximation algorithms for solving it. per, we explore a subset of combinatorial graph problems which we placed into two groups, Our survey methodology is as follows. First namely, graph covering and subgraph problems. we investigated definitions in several generic 1 Here, the former include well-known dominat- sources such as online compendiums , encyclo- ing set and vertex cover problem, and the lat- pedias2 and books [1, 13, 14]. Afterward, we ter include clique and independent set prob- searched for the research papers on the focused lem. For each problem we give its definition, graph problems using Google scholar. Our goal report state-of-the-art exact algorithms as well was to supplement each problem with refer- as heuristic and approximation algorithms, and list real-world applications if we were able to ences to exact, heuristics and approximation obtain any. At the end of the paper, we also algorithms. Moreover, we also supplemented relate the problems among each other. our descriptions with real-world applications. Finally, we also collected a list of reductions Index Terms: combinatorial optimization, among the selected problems. graph covering, subgraph problems, exact al- Let us present a few basic notions used in gorithms, approximation algorithms the rest of the paper.
    [Show full text]
  • GENERALIZED DOMINATION in GRAPHS with APPLICATIONS in WIRELESS NETWORKS a Dissertation by JE SANG SUNG Submitted to the Office O
    GENERALIZED DOMINATION IN GRAPHS WITH APPLICATIONS IN WIRELESS NETWORKS A Dissertation by JE SANG SUNG Submitted to the Office of Graduate and Professional Studies of Texas A&M University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Chair of Committee, Sergiy Butenko Committee Members, Amarnath Banerjee Kiavash Kianfar Natarajan Sivakumar Head of Department, Cesar O. Malave December 2013 Major Subject: Industrial Engineering Copyright 2013 Je Sang Sung ABSTRACT The objective of this research is to study practical generalization of domination in graphs and explore the theoretical and computational aspects of models arising in the design of wireless networks. For the construction of a virtual backbone of a wireless ad-hoc network, two different models are proposed concerning reliability and robustness. This dissertation also considers wireless sensor placement problems with various additional constraints that reflect different real-life scenarios. In wireless ad-hoc network, a connected dominating set (CDS) can be used to serve as a virtual backbone, facilitating communication among the members in the network. Most literature focuses on creating the smallest virtual backbone without considering the distance that a message has to travel from a source until it reaches its desired destination. However, recent research shows that the chance of loss of a message in transmission increases as the distance that the message has to travel increases. We propose CDS with bounded diameter, called dominating s-club (DsC) for s ≥ 1, to model a reliable virtual backbone. An ideal virtual backbone should retain its structure after the failure of a cer- tain number of vertices.
    [Show full text]
  • Bidimensionality: New Connections Between FPT Algorithms and Ptass
    Bidimensionality: New Connections between FPT Algorithms and PTASs Erik D. Demaine∗ MohammadTaghi Hajiaghayi∗ Abstract able whenever the parameter is reasonably small. In several We demonstrate a new connection between fixed-parameter applications, e.g., finding locations to place fire stations, we tractability and approximation algorithms for combinatorial prefer exact solutions at the cost of running time: we can optimization problems on planar graphs and their generaliza- afford high running time (e.g., several weeks of real time) tions. Specifically, we extend the theory of so-called “bidi- if the resulting solution builds fewer fire stations (which are mensional” problems to show that essentially all such prob- extremely expensive). lems have both subexponential fixed-parameter algorithms A general result of Cai and Chen [16] says that if and PTASs. Bidimensional problems include e.g. feedback an NP optimization problem has an FPTAS, i.e., a PTAS O(1) O(1) vertex set, vertex cover, minimum maximal matching, face with running time (1/ε) n , then it is fixed-parameter cover, a series of vertex-removal problems, dominating set, tractable. Others [10, 17] have generalized this result to any edge dominating set, r-dominating set, diameter, connected problem with an EPTAS, i.e., a PTAS with running time O(1) dominating set, connected edge dominating set, and con- f(1/ε)n for any function f. On the other hand, no nected r-dominating set. We obtain PTASs for all of these reverse transformation is possible in general, because for problems in planar graphs and certain generalizations; of example vertex cover is an NP optimization problem that is particular interest are our results for the two well-known fixed-parameter tractable but has no PTAS in general graphs problems of connected dominating set and general feedback (unless P = NP ).
    [Show full text]
  • Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set
    Near-Optimal Distributed Approximation of Minimum-Weight Connected Dominating Set Mohsen Ghaffari MIT [email protected] Abstract This paper presents a near-optimal distributed approximation algorithm for the minimum- weight connected dominating set (MCDS) problem. We use the standard distributed message passing model called the CONGEST model in which in each round each node can send O(logpn) bits to each neighbor. The presented algorithm finds an O(log n) approximation in O~(D + n) rounds, where D is the network diameter and n is the number of nodes. MCDS is a classical NP-hard problem and the achieved approximation factor O(logpn) is known to be optimal up to a constant factor, unless P = NP. Furthermore, the O~(D + n) round complexity is known to be optimal modulo logarithmic factors (for any approximation), following [Das Sarma et al.|STOC'11]. 1 Introduction and Related Work Connected dominating set (CDS) is one of the classical structures studied in graph optimization problems which also has deep roots in networked computation. For instance, CDSs have been used rather extensively in distributed algorithms for wireless networks (see e.g. [2,3,5{10, 30, 38, 39]), typically as a global-connectivity backbone. This paper investigates distributed algorithms for approximating minimum-weight connected dominating set (MCDS) while taking congestion into account. We first take a closer look at what each of these terms means. 1.1 A Closeup of MCDS, in Contrast with MST Given a graph G = (V; E), a set S ⊆ V is called a dominating set if each node v2 = S has a neighbor in S, and it is called a connected dominating set (CDS) if the subgraph induced by S is connected.
    [Show full text]
  • Algorithms for Minimum M-Connected K-Tuple Dominating Set Problem$
    Theoretical Computer Science 381 (2007) 241–247 www.elsevier.com/locate/tcs Algorithms for minimum m-connected k-tuple dominating set problem$ Weiping Shanga,c,∗, Pengjun Wanb, Frances Yaoc, Xiaodong Hua a Institute of Applied Mathematics, Chinese Academy of Sciences, Beijing 10080, China b Department of Computer Science, Illinois Institute of Technology, Chicago, IL 60616, USA c Department of Computer Science, City University of Hong Kong, Hong Kong Received 24 January 2007; received in revised form 25 April 2007; accepted 29 April 2007 Communicated by D.-Z. Du Abstract In wireless sensor networks, a virtual backbone has been proposed as the routing infrastructure to alleviate the broadcasting storm problem and perform some other tasks such as area monitoring. Previous work in this area has mainly focused on how to set up a small virtual backbone for high efficiency, which is modelled as the minimum Connected Dominating Set (CDS) problem. In this paper we consider how to establish a small virtual backbone to balance efficiency and fault tolerance. This problem can be formalized as the minimum m-connected k-tuple dominating set problem, which is a general version of minimum CDS problem with m = 1 and k = 1. We propose three centralized algorithms with small approximation ratios for small m and improve the current best results for small k. c 2007 Elsevier B.V. All rights reserved. Keywords: Connected dominating set; Approximation algorithm; k-vertex connectivity; Wireless sensor networks 1. Introduction A Wireless Sensor Network (WSN) consists of wireless nodes (transceivers) without any underlying physical infrastructure. In order to enable data transmission in such networks, all the wireless nodes need to frequently flood control messages thus causing a lot of redundancy, contentions and collisions.
    [Show full text]
  • Dominating Sets and Connected Dominating Sets in Dynamic Graphs Niklas Hjuler University of Copenhagen, Denmark [email protected] Giuseppe F
    Dominating Sets and Connected Dominating Sets in Dynamic Graphs Niklas Hjuler University of Copenhagen, Denmark [email protected] Giuseppe F. Italiano LUISS University, Rome, Italy [email protected] Nikos Parotsidis University of Rome Tor Vergata, Italy [email protected] David Saulpic ENS Paris, France [email protected] Abstract In this paper we study the dynamic versions of two basic graph problems: Minimum Dominating Set and its variant Minimum Connected Dominating Set. For those two problems, we present algorithms that maintain a solution under edge insertions and edge deletions in time O(∆·polylog n) per update, where ∆ is the maximum vertex degree in the graph. In both cases, we achieve an approximation ratio of O(log n), which is optimal up to a constant factor (under the assumption that P 6= NP ). Although those two problems have been widely studied in the static and in the distributed settings, to the best of our knowledge we are the first to present efficient algorithms in the dynamic setting. As a further application of our approach, we also present an algorithm that maintains a Minimal √ Dominating Set in O(min(∆, m )) per update. 2012 ACM Subject Classification Theory of computation → Dynamic graph algorithms Keywords and phrases Dominating Set, Connected Dominating Set, Dynamic Graph Algorithms Digital Object Identifier 10.4230/LIPIcs.STACS.2019.35 Funding This work was done while Niklas Hjuler and David Saulpic were visiting University of Rome Tor Vergata. 1 Introduction The study of dynamic graph algorithms is a classical area in algorithmic research and has been thoroughly investigated in the past decades.
    [Show full text]