DOCSLIB.ORG

Some Results on Graph Contraction Problems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Some Results on Graph Contraction Problems Some Results On Graph Contraction Problems By Prafullkumar Prabhakar Tale MATH10201305002 The Institute of Mathematical Sciences, Chennai A thesis submitted to the Board of Studies in Mathematical Sciences In partial fulfillment of requirements for the Degree of DOCTOR OF PHILOSOPHY of HOMI BHABHA NATIONAL INSTITUTE May, 2020 STATEMENT BY AUTHOR This dissertation has been submitted in partial fulfillment of requirements for an advanced degree at Homi Bhabha National Institute (HBNI) and is deposited in the Library to be made available to borrowers under rules of the HBNI. Brief quotations from this dissertation are allowable without special permission, provided that accurate acknowledgement of source is made. Requests for permission for extended quotation from or reproduction of this manuscript in whole or in part may be granted by the Competent Authority of HBNI when in his or her judgement the proposed use of the material is in the interests of scholarship. In all other instances, however, permission must be obtained from the author. Prafullkumar Prabhakar Tale DECLARATION I hereby declare that the investigation presented in the thesis has been carried out by me. The work is original and has not been submitted earlier as a whole or in part for a degree / diploma at this or any other Institution / University. Prafullkumar Prabhakar Tale List of Publications arising from the thesis Journal 1. (Published) On the Parameterized Complexity of Contraction to Generalization of Trees : A. Agrawal, S. Saurabh, and P. Tale. Published in Theory of Computing Systems, Nov, 2018. Volume 63. p587-614. 2. (Under Review) Lossy Kernels for Graph Contraction Problems. : R. Krithika, P. Misra, A. Rai, and P. Tale. Under review in SIAM Journal on Discrete Mathematics (SIDMA). Conferences 1. Path Contraction Faster than 2n : A. Agrawal, F. Fomin, D. Lokshtanov, S. Saurabh and P. Tale. Accepted in 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019. 2. An FPT Algorithm for Contraction to Cactus : R. Krithika, P. Misra, and P. Tale. Appered in Proc. of Annual International Computing and Combinatorics Conference, COCOON 2018. 3. Paths to Trees and Cacti. : A. Agrawal, L. Kanesh, S. Saurabh, and P. Tale. Appered in Proc. of Algorithms and Complexity - 10th International Conference, CIAC 2017. 4. On the Parameterized Complexity of Contraction to Generalization of Trees. : A. Agrawal, S. Saurabh, and P. Tale. Appered in Proc. of International Symposium on Parameterized and Exact Computation, IPEC 2017. 5. Lossy Kernels for Graph Contraction Problems. : R. Krithika, P. Misra, A. Rai, and P. Tale. Appered in Proc. of Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016. Prafullkumar Prabhakar Tale Dedicated to Vara Prasad, my brother-in-forest who dreamt of doing research in Physics while climbing in remote Himalayas. He never rested in peace, I doubt his soul will either. Acknowledgements In past few years, many people believed in me more than I believed myself. The foremost among them is my adviser, Saket Saurabh. I am grateful to him for all the time and energy he has spent over last five years educating me. I thank him for going out of his way to nourish me. His care goes beyond professional boundaries. He worked hard to create platforms where I can flurish. I will forever appreciate all the discussions, academics and otherwise, we had. He showed an extraordinary level of patience towards my academic flaws. His encouragements helped me to reach this stage. If I can cultivate one tenth of his work-ethics and ability for hard work, I will feel confident about my future. I am in debt of G Philip and V Raman for mentoring me on various projects. I am grateful to Philip for all the support he has provided in last couple of years. I would also like to thank Abhishek, Akanksha, Ashutosh, Daniel, Diptapriyo, Fahad, Fedor, Krithika, Lawqueen, Meesum, Pallavi, Pranabendu, Roohani, Sanjukta, Spoorthy, and Sudeshna for all the technical discussions we had. Those thoughtful discussions cemented my understanding of various topics and opened new directions for my work. I also like to thank other faculties at IMSc - V Arvind, Kamal Lodha, Meena Mahajan, R Ramanujam, Vikram Sharma, and C R Subramanian. My sincere thanks to Administrative, Library and Technical Staff for their help. I was fortunate to find supporting friends during my graduate studies. I will forever cherish moments shared with Aashita, Akanksha, Anantha, Anuj, Deeksha, Lawqueen, Krithika, Rajesh, Roohani, Sanjukta, Saumia, and Swaroop. My special thanks to Roohani for being there as a support system when I needed one. I would also like to thank all my other friends from school, college, and Chennai Trekking Club. Words fail me to describe my gratitude towards my parents and other family members. They had always been blind supporters of my decisions. Their faith in me is the immense source of inspiration to excel in the work I do. Contents Summary 16 List of Figures 19 1 Introduction 23 1.1 Preamble . 23 1.2 Known Results about Graph Contraction . 27 1.3 Scope of this thesis . 34 2 Preliminaries 39 2.1 Graph Theory . 39 2.2 Graph Contraction . 42 2.3 Parameterized Complexity . 44 2.4 Lossy Kernelization . 48 3 Tree Contraction 55 3.1 Introduction . 55 13 3.2 Preliminaries . 57 3.3 Kernel for BOUNDED TREE CONTRACTION ................ 61 3.4 Kernel Lower Bound for BOUNDED TREE CONTRACTION ........ 66 3.5 Lossy Kernel for TREE CONTRACTION .................. 70 3.6 Conclusion . 80 4 Cactus Contraction 83 4.1 Introduction . 83 4.2 Preliminaries . 85 4.3 Kernel for BOUNDED CACTUS CONTRACTION .............. 96 4.4 Kernel Lower Bound for BOUNDED CACTUS CONTRACTION ......106 4.5 Lossy Kernel for CACTUS CONTRACTION .................110 4.6 An FPT Algorithm for CACTUS CONTRACTION .............124 4.7 Conclusion . 154 5 Contraction to Generalization of Trees 157 5.1 Introduction . 157 5.2 Preliminaries . 158 5.3 Hardness results for T`-CONTRACTION ..................162 5.4 Lossy Kernel for T`-CONTRACTION ....................163 5.5 Randomized FPT Algorithm for T`-CONTRACTION ...........172 5.6 Derandomization of the FPT Algorithm . 185 5.7 Conclusion . 190 6 Out-Tree Contraction 191 6.1 Introduction . 191 6.2 Preliminaries . 192 6.3 Kernel for BOUNDED OUT-TREE CONTRACTION .............196 6.4 Kernel Lower Bound for BOUNDED OUT-TREE CONTRACTION .....200 6.5 Lossy Kernel for OUT-TREE CONTRACTION ...............205 6.6 Conclusion . 215 7 Clique Contraction 217 7.1 Introduction . 217 7.2 Preliminaries . 219 7.3 Lossy Kernel for CLIQUE CONTRACTION .................221 7.4 (No) Lossy Kernel for s-CLUB CONTRACTION ..............230 7.5 Conclusion . 234 8 Path Contraction 235 8.1 Introduction . 235 8.2 Preliminaries . 236 8.3 Enumeration of Connected Sets . 239 8.4 3-DISJOINT CONNECTED SUBGRAPH ...................242 8.5 Exact Algorithm for Path Contraction . 250 8.6 Conclusion . 268 Bibliography 279 Summary For a family of graphs F , the F -EDITING problem takes as an input a graph G and an integer k, and the objective is to decide if at most k edit operations on G can result in a graph that belongs to F . Various graph editing problems have been considered in the literature. These graph editing problems generalize many NP-Hard problems. Most of the studies regarding F -EDITING have been restricted to combination of vertex deletion, edge deletion or edge addition. Only recently, edge contraction as an edit operation has started to gain attention. The contraction of edge uv in graph G deletes vertices u and v from G, and replaces them by a new vertex, which is made adjacent to vertices that were adjacent to either u or v. In this thesis, we explore F -CONTRACTION for various graph classes from the viewpoints of parameterized complexity, lossy kernelization and exact algorithms.We extend the known boundaries about graph contraction problems in several ways. We consider F -CONTRACTION problems which do not have a polynomial kernels when parameterized by solution size. We compliment this negative result in two ways. Firstly, we present a polynomial kernel when parameterized by solution size and an additional parameter. In other words, we identify new graph classes for which there is a polynomial kernel. We also prove that these kernels are optimal under certain complexity conjecture. Secondly, we present a lossy kernel of polynomial size for all these problems. We present two FPT algorithms to append the list of graph classes F for which F -CONTRACTION parameterized by solution size is FPT. We end this thesis with a non-trivial exact algorithm 17 to determine what is the largest size of graph in a specific F to which an input graph can be contracted. To best of our knowledge, this is first such kind of algorithm in case of graph contraction problems. List of Figures 2.1 Graph contraction operation . 43 3.1 Operation SPLIT(T,v,L,R) with L = x and R = x ,x .. 58 { 3} { 1 2} 3.2 Modifying big witness sets which are leafs. All but one vertex in W(ti) has been moved to W(t j). See Observation 3.2.3. 59 3.3 An illustration of Reduction Rule 3.3.1. 61 3.4 Parts of a longest path from root to a leaf. See Lemma 3.3.2. 64 3.5 Kernel lower bound for BOUNDED TC. .................. 66 3.6 Partition of input graph. Please see Reduction 3.5.3 . 75 3.7 Please refer to Lemma 3.5.5 . 77 4.1 Cactus graph and its block decomposition. 86 4.2 Operation SPLIT(T,v,L,R) with L = w,x and R = x ,x ....... 90 { 3} { 1 2} 4.3 An illustration of Reduction Rule 4.3.3. 100 4.4 Kernel lower bound for BOUNDED CC.
Load more

Recommended publications
  • The Euler Tour Technique: Evaluation of Tree Functions
    05‐09‐2015 PARALLEL AND DISTRIBUTED ALGORITHMS BY DEBDEEP MUKHOPADHYAY AND ABHISHEK SOMANI http://cse.iitkgp.ac.in/~debdeep/courses_iitkgp/PAlgo/index.htm THE EULER TOUR TECHNIQUE: EVALUATION OF TREE FUNCTIONS 2 1 05‐09‐2015 OVERVIEW Tree contraction Evaluation of arithmetic expressions 3 PROBLEMS IN PARALLEL COMPUTATIONS OF TREE FUNCTIONS Computations of tree functions are important for designing many algorithms for trees and graphs. Some of these computations include preorder, postorder, inorder numbering of the nodes of a tree, number of descendants of each vertex, level of each vertex etc. 4 2 05‐09‐2015 PROBLEMS IN PARALLEL COMPUTATIONS OF TREE FUNCTIONS Most sequential algorithms for these problems use depth-first search for solving these problems. However, depth-first search seems to be inherently sequential in some sense. 5 PARALLEL DEPTH-FIRST SEARCH It is difficult to do depth-first search in parallel. We cannot assign depth-first numbering to the node n unless we have assigned depth-first numbering to all the nodes in the subtree A. 6 3 05‐09‐2015 PARALLEL DEPTH-FIRST SEARCH There is a definite order of visiting the nodes in depth-first search. We can introduce additional edges to the tree to get this order. The Euler tour technique converts a tree into a list by adding additional edges. 7 PARALLEL DEPTH-FIRST SEARCH The red (or, magenta ) arrows are followed when we visit a node for the first (or, second) time. If the tree has n nodes, we can construct a list with 2n - 2 nodes, where each arrow (directed edge) is a node of the list.
    [Show full text]
  • Area-Efficient Algorithms for Straight-Line Tree Drawings
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Computational Geometry 15 (2000) 175–202 Area-efficient algorithms for straight-line tree drawings ✩ Chan-Su Shin a;∗, Sung Kwon Kim b;1, Kyung-Yong Chwa a a Department of Computer Science, Korea Advanced Institute of Science and Technology, Taejon 305-701, South Korea b Department of Computer Science and Engineering, Chung-Ang University, Seoul 156-756, South Korea Communicated by R. Tamassia; submitted 1 October 1996; received in revised form 1 November 1999; accepted 9 November 1999 Abstract We investigate several straight-line drawing problems for bounded-degree trees in the integer grid without edge crossings under various types of drawings: (1) upward drawings whose edges are drawn as vertically monotone chains, a sequence of line segments, from a parent to its children, (2) order-preserving drawings which preserve the left-to-right order of the children of each vertex, and (3) orthogonal straight-line drawings in which each edge is represented as a single vertical or horizontal segment. Main contribution of this paper is a unified framework to reduce the upper bound on area for the straight-line drawing problems from O.n logn/ (Crescenzi et al., 1992) to O.n log logn/. This is the first solution of an open problem stated by Garg et al. (1993). We also show that any binary tree admits a small area drawing satisfying any given aspect ratio in the orthogonal straight-line drawing type. Our results are briefly summarized as follows.
    [Show full text]
  • 15–210: Parallel and Sequential Data Structures and Algorithms
    Full Name: Andrew ID: Section: 15{210: Parallel and Sequential Data Structures and Algorithms Practice Final (Solutions) December 2016 • Verify: There are 22 pages in this examination, comprising 8 questions worth a total of 152 points. The last 2 pages are an appendix with costs of sequence, set and table operations. • Time: You have 180 minutes to complete this examination. • Goes without saying: Please answer all questions in the space provided with the question. Clearly indicate your answers. 1 • Beware: You may refer to your two< double-sided 8 2 × 11in sheet of paper with notes, but to no other person or source, during the examination. • Primitives: In your algorithms you can use any of the primitives that we have covered in the lecture. A reasonably comprehensive list is provided at the end. • Code: When writing your algorithms, you can use ML syntax but you don't have to. You can use the pseudocode notation used in the notes or in class. For example you can use the syntax that you have learned in class. In fact, in the questions, we use the pseudo rather than the ML notation. Sections A 9:30am - 10:20am Andra/Charlie B 10:30am - 11:20am Andres/Emma C 12:30pm - 1:20pm Anatol/John D 12:30pm - 1:20pm Aashir/Ashwin E 1:30pm - 2:20pm Nathaniel/Sonya F 3:30pm - 4:20pm Teddy/Vivek G 4:30pm - 5:20pm Alex/Patrick 15{210 Practice Final 1 of 22 December 2016 Full Name: Andrew ID: Question Points Score Binary Answers 30 Costs 12 Short Answers 26 Slightly Longer Answers 20 Neighborhoods 20 Median ADT 12 Geometric Coverage 12 Swap with Compare-and-Swap 20 Total: 152 15{210 Practice Final 2 of 22 December 2016 Question 1: Binary Answers (30 points) (a) (2 points) TRUE or FALSE: The expressions (Seq.reduce f I A) and (Seq.iterate f I A) always return the same result as long as f is commutative.
    [Show full text]
  • Dynamic Trees 2005; Werneck, Tarjan
    Dynamic Trees 2005; Werneck, Tarjan Renato F. Werneck, Microsoft Research Silicon Valley www.research.microsoft.com/˜renatow Entry editor: Giuseppe Italiano Index Terms: Dynamic trees, link-cut trees, top trees, topology trees, ST- trees, RC-trees, splay trees. Synonyms: Link-cut trees. 1 Problem Definition The dynamic tree problem is that of maintaining an arbitrary n-vertex for- est that changes over time through edge insertions (links) and deletions (cuts). Depending on the application, one associates information with ver- tices, edges, or both. Queries and updates can deal with individual vertices or edges, but more commonly they refer to entire paths or trees. Typical operations include finding the minimum-cost edge along a path, determining the minimum-cost vertex in a tree, or adding a constant value to the cost of each edge on a path (or of each vertex of a tree). Each of these operations, as well as links and cuts, can be performed in O(log n) time with appropriate data structures. 2 Key Results The obvious solution to the dynamic tree problem is to represent the forest explicitly. This, however, is inefficient for queries dealing with entire paths or trees, since it would require actually traversing them. Achieving O(log n) time per operation requires mapping each (possibly unbalanced) input tree into a balanced tree, which is better suited to maintaining information about paths or trees implicitly. There are three main approaches to perform the mapping: path decomposition, tree contraction, and linearization. 1 Path decomposition. The first efficient dynamic tree data structure was Sleator and Tarjan’s ST-trees [13, 14], also known as link-cut trees or simply dynamic trees.
    [Show full text]
  • Massively Parallel Dynamic Programming on Trees∗
    Massively Parallel Dynamic Programming on Trees∗ MohammadHossein Bateniy Soheil Behnezhadz Mahsa Derakhshanz MohammadTaghi Hajiaghayiz Vahab Mirrokniy Abstract Dynamic programming is a powerful technique that is, unfortunately, often inherently se- quential. That is, there exists no unified method to parallelize algorithms that use dynamic programming. In this paper, we attempt to address this issue in the Massively Parallel Compu- tations (MPC) model which is a popular abstraction of MapReduce-like paradigms. Our main result is an algorithmic framework to adapt a large family of dynamic programs defined over trees. We introduce two classes of graph problems that admit dynamic programming solutions on trees. We refer to them as \(poly log)-expressible" and \linear-expressible" problems. We show that both classes can be parallelized in O(log n) rounds using a sublinear number of machines and a sublinear memory per machine. To achieve this result, we introduce a series of techniques that can be plugged together. To illustrate the generality of our framework, we implement in O(log n) rounds of MPC, the dynamic programming solution of graph problems such as minimum bisection, k-spanning tree, maximum independent set, longest path, etc., when the input graph is a tree. arXiv:1809.03685v2 [cs.DS] 14 Sep 2018 ∗This is the full version of a paper [8] appeared at ICALP 2018. yGoogle Research, New York. Email: fbateni,[email protected]. zDepartment of Computer Science, University of Maryland. Email: fsoheil,mahsaa,[email protected]. Supported in part by NSF CAREER award CCF-1053605, NSF BIGDATA grant IIS-1546108, NSF AF:Medium grant CCF-1161365, DARPA GRAPHS/AFOSR grant FA9550-12-1-0423, and another DARPA SIMPLEX grant.
    [Show full text]
  • Design and Analysis of Data Structures for Dynamic Trees
    Design and Analysis of Data Structures for Dynamic Trees Renato Werneck Advisor: Robert Tarjan Outline The Dynamic Trees problem ) Existing data structures • A new worst-case data structure • A new amortized data structure • Experimental results • Final remarks • The Dynamic Trees Problem Dynamic trees: • { Goal: maintain an n-vertex forest that changes over time. link(v; w): adds edge between v and w. ∗ cut(v; w): deletes edge (v; w). ∗ { Application-specific data associated with vertices/edges: updates/queries can happen in bulk (entire paths or trees at once). ∗ Concrete examples: • { Find minimum-weight edge on the path between v and w. { Add a value to every edge on the path between v and w. { Find total weight of all vertices in a tree. Goal: O(log n) time per operation. • Applications Subroutine of network flow algorithms • { maximum flow { minimum cost flow Subroutine of dynamic graph algorithms • { dynamic biconnected components { dynamic minimum spanning trees { dynamic minimum cut Subroutine of standard graph algorithms • { multiple-source shortest paths in planar graphs { online minimum spanning trees • · · · Application: Online Minimum Spanning Trees Problem: • { Graph on n vertices, with new edges \arriving" one at a time. { Goal: maintain the minimum spanning forest (MSF) of G. Algorithm: • { Edge e = (v; w) with length `(e) arrives: 1. If v and w in different components: insert e; 2. Otherwise, find longest edge f on the path v w: · · · `(e) < `(f): remove f and insert e. ∗ `(e) `(f): discard e. ∗ ≥ Example: Online Minimum Spanning Trees Current minimum spanning forest. • Example: Online Minimum Spanning Trees Edge between different components arrives. • Example: Online Minimum Spanning Trees Edge between different components arrives: • { add it to the forest.
    [Show full text]
  • MATHEMATICAL ENGINEERING TECHNICAL REPORTS Balanced
    MATHEMATICAL ENGINEERING TECHNICAL REPORTS Balanced Ternary-Tree Representation of Binary Trees and Balancing Algorithms Kiminori MATSUZAKI and Akimasa MORIHATA METR 2008–30 July 2008 DEPARTMENT OF MATHEMATICAL INFORMATICS GRADUATE SCHOOL OF INFORMATION SCIENCE AND TECHNOLOGY THE UNIVERSITY OF TOKYO BUNKYO-KU, TOKYO 113-8656, JAPAN WWW page: http://www.keisu.t.u-tokyo.ac.jp/research/techrep/index.html The METR technical reports are published as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author’s copyright. These works may not be reposted without the explicit permission of the copyright holder. Balanced Ternary-Tree Representation of Binary Trees and Balancing Algorithms Kiminori Matsuzaki and Akimasa Morihata Abstract. In this paper, we propose novel representation of binary trees, named the balanced ternary-tree representation. We examine flexible division of binary trees in which we can divide a tree at any node rather than just at the root, and introduce the ternary-tree representation for the flexible division. Due to the flexibility of division, for any binary tree, balanced or ill-balanced, there is always a balanced ternary tree representing it. We also develop three algorithms for generating balanced ternary-tree representation from binary trees and for rebalancing the ternary-tree representation after a small change of the shape. We not only show theoretical upper bounds of heights of the ternary-tree representation, but also report experiment results about the balance property in practical settings.
    [Show full text]
  • Dynamic Trees in Practice
    Dynamic Trees in Practice ROBERT E. TARJAN Princeton University and HP Labs and RENATO F. WERNECK Microsoft Research Silicon Valley Dynamic tree data structures maintain forests that change over time through edge insertions and deletions. Besides maintaining connectivity information in logarithmic time, they can support aggregation of information over paths, trees, or both. We perform an experimental comparison of several versions of dynamic trees: ST-trees, ET-trees, RC-trees, and two variants of top trees (self-adjusting and worst-case). We quantify their strengths and weaknesses through tests with various workloads, most stemming from practical applications. We observe that a simple, linear- time implementation is remarkably fast for graphs of small diameter, and that worst-case and randomized data structures are best when queries are very frequent. The best overall performance, however, is achieved by self-adjusting ST-trees. Categories and Subject Descriptors: E.1 [Data Structures]: Trees; G.2.1 [Discrete Mathe- matics]: Combinatorics—Combinatorial Algorithms; G.2.2 [Discrete Mathematics]: Graph Theory—Network Problems General Terms: Algorithms, Experimentation Additional Key Words and Phrases: dynamic trees, link-cut trees, top trees, experimental evalu- ation 1. INTRODUCTION The dynamic tree problem is that of maintaining an n-vertex forest that changes over time. Edges can be added or deleted in any order, as long as no cycle is ever created. In addition, data can be associated with vertices, edges, or both. This data can be manipulated individually (one vertex or edge at a time) or in bulk, with operations that deal with an entire path or tree at a time.
    [Show full text]
  • Optimal Logarithmic Time Randomized Suffix Tree Construction
    Optimal Logarithmic Time Randomized Suffix Tree Construction Martin Farach∗ S. Muthukrishnan† Rutgers University Univ. of Warwick November 10, 1995 Abstract The suffix tree of a string, the fundamental data structure in the area of combinatorial pattern matching, has many elegant applications. In this paper, we present a novel, simple sequential algorithm for the construction of suffix trees. We are also able to parallelize our algorithm so that we settle the main open problem in the construction of suffix trees: we give a Las Vegas CRCW PRAM algorithm that constructs the suffix tree of a binary string of length n in O(log n) time and O(n) work with high probability. In contrast, the previously known 2 work-optimal algorithms, while deterministic, take Ω(log n) time. We also give a work-optimal randomized comparison-based algorithm to convert any string over an unbounded alphabet to an equivalent string over a binary alphabet. As a result, we ob- tain the first work-optimal algorithm for suffix tree construction under the unbounded alphabet assumption. ∗Department of Computer Science, Rutgers University, Piscataway, NJ 08855, USA. ([email protected], http://www.cs.rutgers.edu/∼farach) Supported by NSF Career Development Award CCR-9501942. Work done while this author was a Visitor Member of the Courant Institute of NYU. †[email protected]; Partly supported by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center under NSF contract STC-8809648. Partly supported by Alcom IT. 1 Introduction Given a string s of length n, the suffix tree Ts of s is the compacted trie of all the suffixes of s.
    [Show full text]
  • Parallel Probabilistic Tree Embeddings, K-Median, and Buy-At-Bulk Network Design
    Parallel Probabilistic Tree Embeddings, k-Median, and Buy-at-Bulk Network Design Guy E. Blelloch Anupam Gupta Kanat Tangwongsan Carnegie Mellon University {guyb, anupamg, ktangwon}@cs.cmu.edu ABSTRACT (2) Small Distortion: ET ∼D[dT (x; y)] ≤ β · d(x; y) for all x; y 2 X, This paper presents parallel algorithms for embedding an arbitrary n-point metric space into a distribution of dominating trees with where dT (·; ·) denotes the distance in the tree T , and ET ∼D draws O(log n) expected stretch. Such embedding has proved useful a tree T from the distribution D. The series work on this prob- in the design of many approximation algorithms in the sequen- lem (e.g., [Bar98, Bar96, AKPW95]) culminated in the result of tial setting. We give a parallel algorithm that runs in O(n2 log n) Fakcharoenphol, Rao, and Talwar (FRT) [FRT04], who gave an ele- work and O(log2 n) depth—these bounds are independent of ∆ = gant optimal algorithm with β = O(log n). This has proved to be maxx;y d(x;y) , the ratio of the largest to smallest distance. Moreover, instrumental in many approximation algorithms (see, e.g., [FRT04] minx6=y d(x;y) and the references therein). For example, the first polylogarithmic O(n) when ∆ is exponentially bounded (∆ ≤ 2 ), our algorithm can approximation algorithm for the k-median problem was given using 2 2 be improved to O(n ) work and O(log n) depth. this embedding technique. Remarkably, all these algorithms only Using these results, we give an RNC O(log k)-approximation require pairwise expected stretch, so their approximation guaran- algorithm for k-median and an RNC O(log n)-approximation for tees are expected approximation bounds and the technique is only buy-at-bulk network design.
    [Show full text]
  • Optimal Tree Contraction in the EREW Model
    From: CONCURRENT COMPUTATIONS Edited by Stuart K. Bradley W. and Stuart C. Publishing Chapter 9 Optimal Tree Contraction in the EREW Model Gary L. Miller Shang-Hua Teng Abstract A deterministic parallel algorithm for parallel tree contraction is presented in this paper. The algorithmtakes T time and uses (P processors, where n the number of vertices in a tree using an Exclusive Read and Exclusive Write (EREW) Parallel Random Access Machine (PRAM). This algorithm improves the results of Miller and who use the CRCW randomized PRAM model to get the same complexity and processor count. The algorithm is optimal in the sense that the product P is equal to the input size and gives an time algorithm when log Since the algorithm requires space, which is the input size, it is optimal in space as well. Techniques for prudent parallel tree contraction are also discussed, as well as implementation techniques for connection machines. work was supported in by National Science Foundation grant DCR-8514961. University of Southern California, Angeles, CA 139 140 L CONTRACTION 9.1 In this paper we exhibit an optimal deterministic Exclusive Read and Exclusive Write (EREW) Parallel Random Access Machine (PRAM) algorithm for parallel tree contraction for trees using time and (P processors. For example, we can dynamically evaluate an arithmetic expression of size n over the operations of addition and multiplication using the above time and processor bounds. In particular, suppose that the arithmetic expression is given as a tree of pointers where each vertex is either a leaf with a particular value or an internal vertex whose value is either the sum or product of its children’s values.
    [Show full text]
  • Constructing Trees in Parallel
    Purdue University Purdue e-Pubs Department of Computer Science Technical Reports Department of Computer Science 1989 Constructing Trees in Parallel Mikhail J. Atallah Purdue University, [email protected] S. R. Kosaraju L. L. Larmore G. L. Miller Report Number: 89-883 Atallah, Mikhail J.; Kosaraju, S. R.; Larmore, L. L.; and Miller, G. L., "Constructing Trees in Parallel" (1989). Department of Computer Science Technical Reports. Paper 751. https://docs.lib.purdue.edu/cstech/751 This document has been made available through Purdue e-Pubs, a service of the Purdue University Libraries. Please contact [email protected] for additional information. CONSTRUCTING TREES IN PARALLEL M. J. Atallah S. R. Kosaraju L. L. Larmore G. L. Miller S-H. Teng CSD-TR-883 May 1989 - 1 - Constructing Trees in Parallel M. J. AtalIah' s. R. Kosarajut L. L. Larmoret G. L. Miller! S-H. Teng! Abstract 1 Introduction OCIog" n) time, n"/logn processor as well as D(log n) In this paper we present several new parallel algo­ time, n 3 /logn processor CREW deterministic paral­ rithms. Each algorithm uses substantially fewer pro­ lel algorithIllB are presented for constructing Huffman cessors than used in previously known algorithms. The codes from a given list of frequencies. The time can four problems considered are: The Tree Construction be reduced to O(logn(log logn)") on a CReW model, Problem, The Huffman Code Problem, The Linear using only n 2J(loglogn)2 processors. Also presented Context Free Language Recognition Problem, and The is an optimal O(logn) time, OCn/logn) processor Optimal Binary Search Tree Problem.
    [Show full text]