Distributed Algorithms for Edge Dominating Sets

Total Page:16

File Type:pdf, Size:1020Kb

Distributed Algorithms for Edge Dominating Sets Distributed Algorithms for Edge Dominating Sets Jukka Suomela Helsinki Institute for Information Technology HIIT, University of Helsinki P.O. Box 68, FI-00014 University of Helsinki, Finland [email protected].fi ABSTRACT By definition, any maximal matching is an edge dominat- An edge dominating set for a graph G is a set D of edges ing set. An edge dominating set is not necessarily a match- such that each edge of G is in D or adjacent to at least one ing; however, given an edge dominating set D, it is straight- edge in D. This work studies deterministic distributed ap- forward to construct a maximal matching with at most jDj proximation algorithms for finding minimum-size edge dom- edges [25]. Hence a minimum maximal matching (a maxi- inating sets. The focus is on anonymous port-numbered net- mal matching with the smallest possible number of edges) is works: there are no unique identifiers, but a node of degree also a minimum edge dominating set. d can refer to its neighbours by integers 1; 2; : : : ; d. The This is a corollary of a more general result due to Allan present work shows that in the port-numbering model, edge and Laskar [1]: if a graph is claw-free (no induced subgraph dominating sets can be approximated as follows: in d-regular K1;3), then a minimum maximal independent set is also a graphs, to within 4 − 6=(d + 1) for an odd d and to within minimum dominating set. The line graph L(G) of any graph 4−2=d for an even d; and in graphs with maximum degree ∆, G is claw-free, the dominating sets of L(G) correspond to the to within 4 − 2=(∆ − 1) for an odd ∆ and to within 4 − 2=∆ edge dominating sets of G, and the maximal independent sets for an even ∆. These approximation ratios are tight for all of L(G) correspond to the maximal matchings of G. values of d and ∆: there are matching lower bounds. 1.2 Centralised Polynomial-Time Algorithms From the perspective of centralised polynomial-time algo- Categories and Subject Descriptors rithms, the problem of finding a minimum edge dominating C.2.4 [Computer-Communication Networks]: Distrib- set is equivalent to the problem of finding a minimum maxi- uted Systems; F.2.2 [Analysis of Algorithms and Prob- mal matching. Both of these are NP-hard optimisation prob- lem Complexity]: Nonnumerical Algorithms and Prob- lems [25], and they are hard to approximate to within factor lems|computations on discrete structures 7=6 − [9]. The problem of finding a minimum-weight edge cover is as hard to approximate as minimum-weight vertex cover [8]. General Terms The connection between matchings and edge dominating Algorithms, Theory sets implies a simple 2-approximation algorithm: any max- imal matching is a 2-approximation of a minimum edge dominating set. Approximating minimum-weight edge dom- 1. INTRODUCTION inating sets is less straightforward, but Fujito and Naga- This work studies the approximability of the edge dom- mochi [12] show how to find a 2-approximation. Polynomial- inating set problem from the perspective of deterministic time approximation schemes are known for planar graphs [6] (non-randomised) distributed algorithms in anonymous port- and civilised graphs [15]. numbered networks. 1.3 Distributed Algorithms 1.1 Edge Dominating Sets and Matchings Edge dominating sets have received little attention in the Let G be a simple, undirected graph with the edge set EG . distributed computing community. However, some results A set D ⊆ EG of edges is an edge dominating set for G if related to matchings and independent sets have straightfor- each edge e 2 EG n D is adjacent to at least one edge in D. See Figure 1 for examples. (a) (b) (c) (d) c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. Not for redis- Figure 1: (a) An edge dominating set. (b) A max- tribution. The definitive version was published in Proc. 29th ACM imal matching and hence another edge dominating SIGACT-SIGOPS Symposium on Principles of Distributed Computing set. (c) A minimum edge dominating set. (d) A min- (PODC’10, July 25–28, 2010, Zurich, Switzerland). imum maximal matching and hence another mini- http://doi.acm.org/10.1145/1835698.1835783 mum edge dominating set. ward corollaries that concern the distributed approximabil- Lower bound Graph family Approx. ratio Time ity of edge dominating sets. Upper bound On the positive side, one can again take any algorithm d-regular graphs: that finds a maximal matching and apply it to find a 2- 6 approximation of a minimum edge dominating set. For ex- d = 1; 3;::: 4 − Theorem 2 O(d2) ample, if we have unique node identifiers in the network, d + 1 Theorem 4 we can use the deterministic algorithms by Ha´n´ckowiak et 2 d = 2; 4;::: 4 − Theorem 1 O(1) al. [14] and Panconesi and Rizzi [19], with running times d Theorem 3 O(log4 n) and O(∆ + log∗ n) communication rounds, respec- tively; here n is the number of nodes and ∆ is the maximum graphs with maximum degree ∆: degree. ∆ = 1 1 trivial O(1) The running times of these algorithms depend on n, and trivial this is unavoidable if we want to achieve an approximation 2 factor better than 3. Czygrinow et al. [10] and Lenzen and ∆ = 3; 5;::: 4 − Corollary 1 O(∆2) Wattenhofer [17] show that finding a constant-factor approx- ∆ − 1 Theorem 5 imation of a maximum independent set in a cycle requires 2 Corollary 1 2 ∗ ∆ = 2; 4;::: 4 − O(∆ ) Ω(log n) communication rounds, and a simple local reduc- ∆ Theorem 5 tion [22] gives the same lower bound for finding a factor 3− approximation of a minimum edge dominating set. Table 1: Approximability of edge dominating sets: the best possible approximation ratios that can be 1.4 Algorithms in Port-Numbered Networks achieved by any deterministic distributed algorithm The above results deal with deterministic distributed algo- in the port-numbering model. rithms in networks with unique node identifiers. This work studies a strictly weaker model of computation: determin- istic distributed algorithms in anonymous networks in the nodes may look identical from the perspective of a distrib- port-numbering model: there are no node identifiers, but uted algorithm, but all edges do not look identical to each a node of degree d can refer to its neighbours by integers other. Tight lower bound constructions for covering prob- 1; 2; : : : ; d. See Section 2 for a formal definition of the model. lems such as vertex covers and dominating sets are typically Computation in synchronous port-numbered networks has trivial: a cycle or a complete graph will do. This is not the been studied for decades; one of the pioneers was Angluin [2] case with edge-based problems. in 1980. However, the main focus has been on global prob- Second, this work gives yet another example of the close lems such as leader election [2, 24], construction of span- connection between the port-numbering model and local al- ning trees [24], computation of functions that depend on all gorithms. In a strictly local algorithm, the running time nodes [5, 7, 23], recognition of topological properties [2, 24], does not depend on the number of nodes [18, 22]. Even and graph exploration and rendezvous [16]. Such problems though the negative results hold for any algorithm, regard- typically require Ω(n) communication rounds { or, in many less of its running time, the matching positive results are cases, are unsolvable in the port-numbering model. local algorithms: the running times depend on the parame- Much less is known about graph problems that are of a ters d and ∆, but they are independent of n. Indeed, these more local nature and have potential for efficient, highly algorithms are the best known deterministic local algorithms scalable distributed algorithms. Classical packing problems for the edge dominating set problem { it is not known if a such as matchings and independent sets are typically un- better approximation ratio can be achieved in constant time solvable for trivial reasons, but covering problems are more with the help of unique node identifiers. promising. Node-based covering problems (the task is to choose a subset of nodes that \covers" the graph) have been studied in prior work: for example, the vertex cover problem 2. PRELIMINARIES can be approximated within factor 2 in the port-numbering Let G be a simple, undirected graph with the node set VG model in bounded-degree graphs [3, 4], and this approxima- and the edge set EG . An edge e = fu; vg 2 EG is said to tion guarantee is tight. However, it seems that edge-based cover the nodes u and v, and an edge e1 2 EG is said to covering problems have not been studied previously in this dominate any edge e2 2 EG that is adjacent to e1, including model. e1 itself. These terms are generalised to sets of edges and nodes in a natural manner: for example, a set C ⊆ EG of 1.5 Contributions edges covers a set of nodes X ⊆ VG if for each v 2 X there The contributions are summarised in Table 1. This work is an e 2 C that covers v. An edge cover is a set C ⊆ EG presents a complete characterisation of the deterministic ap- that covers VG and an edge dominating set is a set D ⊆ EG proximability of edge dominating sets in the port-numbering that dominates EG . model, both in graphs of maximum degree ∆ and in d- A set M ⊆ EG is a matching if each node v 2 VG is regular graphs, for all values of the parameters ∆ and d.
Recommended publications
  • Results on Domination Number and Bondage Number for Some Families of Graphs
    International Journal of Pure and Applied Mathematics Volume 107 No. 3 2016, 565-577 ISSN: 1311-8080 (printed version); ISSN: 1314-3395 (on-line version) url: http://www.ijpam.eu AP doi: 10.12732/ijpam.v107i3.5 ijpam.eu RESULTS ON DOMINATION NUMBER AND BONDAGE NUMBER FOR SOME FAMILIES OF GRAPHS G. Hemalatha1, P. Jeyanthi2 § 1Department of Mathematics Shri Andal Alagar College of Engineering Mamandur, Kancheepuram, Tamil Nadu, INDIA 2Research Centre, Department of Mathematics Govindammal Aditanar College for Women Tiruchendur 628 215, Tamil Nadu, INDIA Abstract: Let G = (V, E) be a simple graph on the vertex set V . In a graph G, A set S ⊆ V is a dominating set of G if every vertex in VS is adjacent to some vertex in S. The domination number of a graph Gγ(G)] is the minimum size of a dominating set of vertices in G. The bondage number of a graph G[Bdγ(G)] is the cardinality of a smallest set of edges whose removal results in a graph with domination number larger than that of G. In this paper we establish domination number and the bondage number for some families of graphs. AMS Subject Classification: 05C69 Key Words: dominating set, bondage number, domination number, cocktail party graph, coxeter graph, crown graph, cubic symmetric graph, doyle graph, folkman graph, levi graph, icosahedral graph 1. Introduction The domination in graphs is one of the major areas in graph theory which attracts many researchers because it has the potential to solve many real life problems involving design and analysis of communication network, social net- Received: October 17, 2015 c 2016 Academic Publications, Ltd.
    [Show full text]
  • Constructing Arbitrarily Large Graphs with a Specified Number Of
    Electronic Journal of Graph Theory and Applications 4 (1) (2019), 1–8 Constructing Arbitrarily Large Graphs with a Specified Number of Hamiltonian Cycles Michael Haythorpea aSchool of Computer Science, Engineering and Mathematics, Flinders University, 1284 South Road, Clovelly Park, SA 5042, Australia michael.haythorpe@flinders.edu.au Abstract A constructive method is provided that outputs a directed graph which is named a broken crown graph, containing 5n − 9 vertices and k Hamiltonian cycles for any choice of integers n ≥ k ≥ 4. The construction is not designed to be minimal in any sense, but rather to ensure that the graphs produced remain non-trivial instances of the Hamiltonian cycle problem even when k is chosen to be much smaller than n. Keywords: Hamiltonian cycles, Graph Construction, Broken Crown Mathematics Subject Classification : 05C45 1. Introduction The Hamiltonian cycle problem (HCP) is a famous NP-complete problem in which one must determine whether a given graph contains a simple cycle traversing all vertices of the graph, or not. Such a simple cycle is called a Hamiltonian cycle (HC), and a graph containing at least one arXiv:1902.10351v1 [math.CO] 27 Feb 2019 Hamiltonian cycle is said to be a Hamiltonian graph. Typically, randomly generated graphs (such as Erdos-R˝ enyi´ graphs), if connected, are Hamil- tonian and contain many Hamiltonian cycles. Although HCP is an NP-complete problem, for these graphs it is often fairly easy for a sophisticated heuristic (e.g. see Concorde [1], Keld Helsgaun’s LKH [4] or Snakes-and-ladders Heuristic [2]) to discover one of the multitude of Hamiltonian cy- cles through a clever search.
    [Show full text]
  • Prime Labeling of Union Graphs
    International Journal of Scientific Research in _____________________________ Research Paper . Mathematical and Statistical Sciences Vol.6, Issue.1, pp.86-93, February (2019) E-ISSN: 2348-4519 DOI: https://doi.org/10.26438/ijsrmss/v6i1.8693 Prime labeling of Union Graphs S K Patel1, A N Kansagara2* 1 Department of Mathematics, Government Engineering College, Bhuj-370 001. India. 2 Department of Mathematics, Shree D K V Arts and Science College, Jamnagar-361 008. India. *Corresponding author: [email protected] Tel: +91 94267 57504 Available online at: www.isroset.org Received: 01/Feb/2019, Accepted: 11/Feb/2019, Online: 28/Feb/2019 Abstract- A graph with vertices is called prime graph if its vertices can be labeled with first positive integers such that each pair of adjacent vertices have relatively prime labels. Such a labeling is called prime labeling. It is known that graphs like gear graphs, crown graphs, helm graphs, book graphs and are prime. In this paper, we study the prime labeling of union of these graphs. Keyword: Prime labeling, union of graphs, Corona product, Cartesian Product. AMS Subject Classification(2010): 05C7 I. INTRODUCTION (iii) whereas and are odd integers (iv) , where is any integer. All graphs considered in this paper are simple, finite, and 2. undirected. For a graph , and denotes the 3. , where is an odd integer. vertex set and edge set of respectively whereas 4. For arbitrary integers if and denotes the cardinality of the respective sets. For , then . terms not defined here, we refer the reader to [6]. Paths and cycles are the immediate examples of Now we discuss some basic definions which will be used in prime graphs but on the other hand the conjecture that trees main results.
    [Show full text]
  • Smith Forms for Adjacency Matrices of Circulant Graphs
    Smith forms for adjacency matrices of circulant graphs Gerald Williamsa aDepartment of Mathematical Sciences, University of Essex, Colchester, Essex CO4 3SQ, U.K. Abstract We calculate the Smith normal form of the adjacency matrix of each of the following graphs or their complements (or both): complete graph, cycle graph, square of the cycle, power graph of the cycle, distance matrix graph of cycle, Andr´asfaigraph, Doob graph, cocktail party graph, crown graph, prism graph, M¨obiusladder. The proofs operate by finding the abelianisation of a cyclically presented group whose relation matrix is column equivalent to the required adjacency matrix. Keywords: Smith normal form, circulant graph, adjacency matrix. 2000 MSC: 05C50, 15A21, 20F05. 1. Introduction The circulant matrix circn(a0; : : : ; an−1) is the n × n matrix whose first row is (a0; : : : ; an−1) and where row (i+1) (0 ≤ i ≤ n−2) is a cyclic shift of row i by one column. A circulant graph is a graph that is isomorphic to a graph whose adjacency matrix is circulant. We shall write A(Γ) for the adjacency matrix of a graph Γ. Given graphs Γ; Γ0 if det(A(Γ)) =6 det(A(Γ0)) (in particular if precisely one of A(Γ), A(Γ0) is singular) then Γ; Γ0 are non-isomorphic. Similarly, if rank(A(Γ)) =6 rank(A(Γ0)) then Γ; Γ0 are non-isomorphic. Singularity, rank, and determinants of various families of circulant graphs are considered (for example) in [3],[7],[16],[23]. For an n × n integer matrix M, the Smith normal form of M, written SNF(M), is the n × n diagonal integer matrix S = diagn(d0; : : : ; dn−1) where d0; : : : ; dn−1 2 N [ f0g and dijdi+1 (0 ≤ i ≤ n − 2) is such that there exist invertible integer matrices P; Q such that PMQ = S.
    [Show full text]
  • List of NP-Complete Problems from Wikipedia, the Free Encyclopedia
    List of NP -complete problems - Wikipedia, the free encyclopedia Page 1 of 17 List of NP-complete problems From Wikipedia, the free encyclopedia Here are some of the more commonly known problems that are NP -complete when expressed as decision problems. This list is in no way comprehensive (there are more than 3000 known NP-complete problems). Most of the problems in this list are taken from Garey and Johnson's seminal book Computers and Intractability: A Guide to the Theory of NP-Completeness , and are here presented in the same order and organization. Contents ■ 1 Graph theory ■ 1.1 Covering and partitioning ■ 1.2 Subgraphs and supergraphs ■ 1.3 Vertex ordering ■ 1.4 Iso- and other morphisms ■ 1.5 Miscellaneous ■ 2 Network design ■ 2.1 Spanning trees ■ 2.2 Cuts and connectivity ■ 2.3 Routing problems ■ 2.4 Flow problems ■ 2.5 Miscellaneous ■ 2.6 Graph Drawing ■ 3 Sets and partitions ■ 3.1 Covering, hitting, and splitting ■ 3.2 Weighted set problems ■ 3.3 Set partitions ■ 4 Storage and retrieval ■ 4.1 Data storage ■ 4.2 Compression and representation ■ 4.3 Database problems ■ 5 Sequencing and scheduling ■ 5.1 Sequencing on one processor ■ 5.2 Multiprocessor scheduling ■ 5.3 Shop scheduling ■ 5.4 Miscellaneous ■ 6 Mathematical programming ■ 7 Algebra and number theory ■ 7.1 Divisibility problems ■ 7.2 Solvability of equations ■ 7.3 Miscellaneous ■ 8 Games and puzzles ■ 9 Logic ■ 9.1 Propositional logic ■ 9.2 Miscellaneous ■ 10 Automata and language theory ■ 10.1 Automata theory http://en.wikipedia.org/wiki/List_of_NP-complete_problems 12/1/2011 List of NP -complete problems - Wikipedia, the free encyclopedia Page 2 of 17 ■ 10.2 Formal languages ■ 11 Computational geometry ■ 12 Program optimization ■ 12.1 Code generation ■ 12.2 Programs and schemes ■ 13 Miscellaneous ■ 14 See also ■ 15 Notes ■ 16 References Graph theory Covering and partitioning ■ Vertex cover [1][2] ■ Dominating set, a.k.a.
    [Show full text]
  • Pattern Avoidance and Fiber Bundle Structures on Schubert Varieties
    Thursday 2.10 Auditorium B Pattern Avoidance and Fiber Bundle Structures on Schubert Varieties Timothy Alland [email protected] SUNY Stony Brook (This talk is based on joint work with Edward Richmond.) MSC2000: 05E15, 14M15 Permutations are known to index type A Schubert varieties. A question one can ask regarding a specific Schubert variety is whether it is an iterated fiber bundle of Grass- mannian Schubert varieties, that is, if it has a complete parabolic bundle structure. We have found that a Schubert variety has a complete parabolic bundle structure if and only if its associated permutation avoids the patterns 3412, 52341, and 635241. We find this by first identifying when the standard projection from the Schubert variety in the complete flag variety to the Schubert variety in the Grassmannian is a fiber bundle using what we have called \split pattern avoidance". In this talk, I will demonstrate how we were able to move from a characterization of this projection in terms of the support and left descents of the permutation's parabolic decomposition to one that applies split pattern avoidance. I will also give a flavor of the proof of how the three patterns mentioned above determine whether a Schubert variety has a complete parabolic bundle structure. Monday 3.55 Auditorium B A simple proof of Shamir's conjecture Peter Allen [email protected] LSE (This talk is based on joint work with Julia B¨ottcher, Ewan Davies, Matthew Jenssen, Yoshiharu Kohayakawa, Barnaby Roberts.) MSC2000: 05C80 It is well known (and easy to show) that the threshold for a perfect matching in the bino- log n mial random graph G(n; p) is p = Θ n , coinciding with the threshold for every vertex to be in an edge (and much more is known).
    [Show full text]
  • Arxiv:2108.05223V2 [Math.CO] 12 Aug 2021 the Line Graph of the Crown
    The line graph of the crown graph is distance integral S. Morteza Mirafzal Department of Mathematics Lorestan University, Khorramabad, Iran E-mail: [email protected] E-mail: [email protected] Abstract The distance eigenvalues of a connected graph G are the eigenvalues of its distance matrix D(G). A graph is called distance integral if all of its distance eigenvalues are integers. Let n ≥ 3 be an integer. A crown graph Cr(n) is a graph obtained from the complete bipartite graph Kn,n by removing a perfect matching. Let L(Cr(n)) denote the line graph of the crown graph Cr(n). In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of L(Cr(n)) and show that this graph is distance integral. 1 Introduction and Preliminaries arXiv:2108.05223v4 [math.CO] 8 Sep 2021 In this paper, a graph G = (V, E) is considered as an undirected simple graph where V = V (G) is the vertex-set and E = E(G) is the edge-set. For all the terminology and notation not defined here, we follow [3,4,5,6,7]. Let G = (V, E) be a graph and A = A(G) be an adjacency matrix of G. The characteristic polynomial of G is defined as P (G; x)= P (x)= |xI − A|. A zero of p(x) is called an eigenvalue of the graph G. A graph is called integral, if all the eigenvalues are integers. The study of integral graphs was initiated by 2010 Mathematics Subject Classification:05C50 Keywords: crown graph, distance integral, vertex-transitive, orbit partition Date: 1 2 S.
    [Show full text]
  • Exponential Time Algorithms: Structures, Measures, and Bounds Serge Gaspers
    Exponential Time Algorithms: Structures, Measures, and Bounds Serge Gaspers February 2010 2 Preface Although I am the author of this book, I cannot take all the credit for this work. Publications This book is a revised and updated version of my PhD thesis. It is partly based on the following papers in conference proceedings or journals. [FGPR08] F. V. Fomin, S. Gaspers, A. V. Pyatkin, and I. Razgon, On the minimum feedback vertex set problem: Exact and enumeration algorithms, Algorithmica 52(2) (2008), 293{ 307. A preliminary version appeared in the proceedings of IWPEC 2006 [FGP06]. [GKL08] S. Gaspers, D. Kratsch, and M. Liedloff, On independent sets and bicliques in graphs, Proceedings of WG 2008, Springer LNCS 5344, Berlin, 2008, pp. 171{182. [GS09] S. Gaspers and G. B. Sorkin, A universally fastest algorithm for Max 2-Sat, Max 2- CSP, and everything in between, Proceedings of SODA 2009, ACM and SIAM, 2009, pp. 606{615. [GKLT09] S. Gaspers, D. Kratsch, M. Liedloff, and I. Todinca, Exponential time algorithms for the minimum dominating set problem on some graph classes, ACM Transactions on Algorithms 6(1:9) (2009), 1{21. A preliminary version appeared in the proceedings of SWAT 2006 [GKL06]. [FGS07] F. V. Fomin, S. Gaspers, and S. Saurabh, Improved exact algorithms for counting 3- and 4-colorings, Proceedings of COCOON 2007, Springer LNCS 4598, Berlin, 2007, pp. 65{74. [FGSS09] F. V. Fomin, S. Gaspers, S. Saurabh, and A. A. Stepanov, On two techniques of combining branching and treewidth, Algorithmica 54(2) (2009), 181{207. A preliminary version received the Best Student Paper award at ISAAC 2006 [FGS06].
    [Show full text]
  • Bidirected Graph from Wikipedia, the Free Encyclopedia Contents
    Bidirected graph From Wikipedia, the free encyclopedia Contents 1 Bidirected graph 1 1.1 Other meanings ............................................ 1 1.2 See also ................................................ 2 1.3 References ............................................... 2 2 Bipartite double cover 3 2.1 Construction .............................................. 3 2.2 Examples ............................................... 3 2.3 Matrix interpretation ......................................... 4 2.4 Properties ............................................... 4 2.5 Other double covers .......................................... 4 2.6 See also ................................................ 5 2.7 Notes ................................................. 5 2.8 References ............................................... 5 2.9 External links ............................................. 6 3 Complex question 7 3.1 Implication by question ........................................ 7 3.2 Complex question fallacy ....................................... 7 3.2.1 Similar questions and fallacies ................................ 8 3.3 Notes ................................................. 8 4 Directed graph 10 4.1 Basic terminology ........................................... 11 4.2 Indegree and outdegree ........................................ 11 4.3 Degree sequence ............................................ 12 4.4 Digraph connectivity .......................................... 12 4.5 Classes of digraphs .........................................
    [Show full text]
  • A 2-Approximation Algorithm for the Minimum Weight Edge Dominating
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Discrete Applied Mathematics 118 (2002) 199–207 A 2-approximation algorithm for the minimum weight edge dominating set problem Toshihiro Fujitoa;∗, Hiroshi Nagamochib aDepartment of Electronics, Nagoya University, Furo, Chikusa, Nagoya 464-8603, Japan bDepartment of Information and Computer Sciences, Toyohashi University of Technology, Hibarigaoka, Tempaku, Toyohashi 441-8580, Japan Received 25 April 2000; revised 2 October 2000; accepted 16 October 2000 Abstract We present a polynomial-time algorithm approximating the minimum weight edge dominating set problem within a factor of 2. It has been known that the problem is NP-hard but, when edge weights are uniform (so that the smaller the better), it can be e4ciently approximated within a factor of 2. When general weights were allowed, however, very little had been known about its approximability, and only very recently was it shown to be approximable within a factor of 2 1 by reducing to the edge cover problem via LP relaxation. In this paper we extend the 10 approach given therein, by studying more carefully polyhedral structures of the problem, and obtain an improved approximation bound as a result. While the problem considered is as hard to approximate as the weighted vertex cover problem is, the best approximation (constant) factor known for vertex cover is 2 even for the unweighted case, and has not been improved in a long time, indicating that improving our result would be quite di4cult. ? 2002 Elsevier Science B.V. All rights reserved.
    [Show full text]
  • New Results on Directed Edge Dominating Set∗
    New Results on Directed Edge Dominating Set∗ R´emy Belmonte1, Tesshu Hanakay2, Ioannis Katsikarelis3, Eun Jung Kimz3, and Michael Lampisx3 1University of Electro-Communications, Chofu, Tokyo, 182-8585, Japan 2Department of Information and System Engineering, Chuo University, Tokyo, Japan 3Universit´eParis-Dauphine, PSL Research University, CNRS, UMR 7243, LAMSADE, 75016, Paris, France Abstract We study a family of generalizations of Edge Dominating Set on directed graphs called Directed (p; q)-Edge Dominating Set. In this problem an arc (u; v) is said to dominate itself, as well as all arcs which are at distance at most q from v, or at distance at most p to u. First, we give significantly improved FPT algorithms for the two most important cases of the problem, (0; 1)-dEDS and (1; 1)-dEDS (that correspond to versions of Dominating Set on line graphs), as well as polynomial kernels. We also improve the best-known approximation for these cases from logarithmic to constant. In addition, we show that (p; q)-dEDS is FPT parameterized by p + q + tw, but W-hard parameterized by tw (even if the size of the optimum is added as a second parameter), where tw is the treewidth of the underlying (undirected) graph of the input. We then go on to focus on the complexity of the problem on tournaments. Here, we provide a complete classification for every possible fixed value of p; q, which shows that the problem exhibits a surprising behavior, including cases which are in P; cases which are solvable in quasi-polynomial time but not in P; and a single case (p = q = 1) which is NP-hard (under randomized reductions) and cannot be solved in sub-exponential time, under standard assumptions.
    [Show full text]
  • On Balance Index Set of Double Graphs and Derived Graphs
    International Journal of Mathematics and Soft Computing Vol.4, No.2 (2014), 81 - 93. ISSN Print : 2249 - 3328 ISSN Online: 2319 - 5215 On Balance Index Set of Double graphs and Derived graphs Pradeep G. Bhat, Devadas Nayak Department of Mathematics Manipal Institute of Technology Manipal University, Manipal-576 104, India. E-mail: pg−[email protected], [email protected] Abstract In this paper we obtain Balance Index Set of the double graphs and the derived graphs of path graphs, cycle graphs, wheel graphs, complete bipartite graphs, star graphs, double star, crown graphs, helm graphs and flower graphs. Keywords: Friendly labeling, partial edge labeling, balance index set, double graphs and derived graphs. AMS Subject Classification(2010): 05C78. 1 Introduction We begin with simple, finite, connected and undirected graph G=(V; E). Here elements of set V and E are known as vertices and edges respectively. For all other terminologies and notations we follow Harary [1]. Definition 1.1. Double graph of a connected graph G is constructed by taking two copies of G say G0 and G00, join each vertex u0 in G0 to the neighbour of the corresponding u00 in G00. Double graph of G is denoted by D2(G). Definition 1.2. The derived graph of G, denoted by Gy is a graph with vertex set V (G), in which two vertices are adjacent if and only if their distance in G is two. Definition 1.3. The crown Cn K1 is obtained by joining a pendant edge to each vertex of Cn. Definition 1.4. The wheel Wn is defined to be the join K1 + Cn.
    [Show full text]