Hardness results and approximation algorithms for some problems on graphs

This thesis has two parts. In the first part, we study some graph covering problems with a non-local covering rule that allows a “remote” node to be covered by repeatedly applying the covering rule. In the second part, we provide some results on the packing of Steiner trees. In the Propagation problem we are given a graph G and the goal is to find a minimum-sized set of nodes S that covers all of the nodes, where a node v is covered if (1) v is in S, or (2) v has a neighbor u such that u and all of its neighbors except v are covered. Rule (2) is called the propagation rule, and it is applied iteratively. Throughout, we use n to denote the number of nodes in the input graph. We prove that the path-width parameter is a lower bound for the optimal value. We show that the Propagation problem is NP-hard in planar weighted graphs. We prove that it is NP-hard to approximate the optimal value to within a factor of 2 1− n in weighted (general) graphs. The second problem that we study is the Power Dominating Set problem. This problem has two covering rules. The first rule is the same as the domination rule as in the Dominating Set problem, and the second rule is the same propagation rule as in the Propagation problem. We show that it is hard to approximate the optimal value to within a factor of 2 1− n in general graphs. We design and analyze an approximation algorithm with a performance guarantee of O( √ n) on planar graphs. We formulate a common generalization of the above two problems called the General Propagation problem. We reformulate this general problem as an orientation problem, and based on this reformulation we design a dynamic programming algorithm. The algorithm runs in linear time when the graph has tree-width O(1). Motivated by applications, we introduce a restricted version of the problem that we call the `-round General Propagation problem. We give a PTAS for the `-round General Propagation problem on planar graphs, for small values of `. Our dynamic programming algorithms and the PTAS can be extended to other problems in networks with similar propagation rules. As an example we discuss the extension of our results to the Target Set Selection problem in the threshold model of the diffusion processes. In the second part of the thesis, we focus on the Steiner Tree Packing problem. In this problem, we are given a graph G and a subset of terminal nodes R ⊆ V (G). The goal in this problem is to find a maximum cardinality set of disjoint trees that each spans R, that is, each of the trees should contain all terminal nodes. In the edge-disjoint version of this problem, the trees have to be edge disjoint. In the element-disjoint version, the trees have to be node disjoint on non-terminal nodes and edge-disjoint on edges adjacent to terminals. We show that both problems are NP-hard when there are only 3 terminals. Our main focus is on planar instances of these problems. We show that the edge-disjoint version of the problem is NPhard even in planar graphs with 3 terminals on the same face of the embedding.

[1]  Carsten Lund,et al.  Efficient probabilistically checkable proofs and applications to approximations , 1993, STOC.

[2]  Vasek Chvátal,et al.  A Greedy Heuristic for the Set-Covering Problem , 1979, Math. Oper. Res..

[3]  Mohammad R. Salavatipour,et al.  Hardness and approximation results for packing steiner trees , 2005, Algorithmica.

[4]  Petteri Kaski,et al.  Packing Steiner trees with identical terminal sets , 2004, Inf. Process. Lett..

[5]  Matthias Kriesell,et al.  Edge-disjoint trees containing some given vertices in a graph , 2003, J. Comb. Theory, Ser. B.

[6]  Lenwood S. Heath,et al.  The PMU Placement Problem , 2005, SIAM J. Discret. Math..

[7]  Guy Kortsarz On the Hardness of Approximating Spanners , 2001, Algorithmica.

[8]  Simone Severini,et al.  Nondiscriminatory propagation on trees , 2008, 0805.0181.

[9]  Brenda S. Baker,et al.  Approximation algorithms for NP-complete problems on planar graphs , 1983, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983).

[10]  Amin Saberi,et al.  On the spread of viruses on the internet , 2005, SODA '05.

[11]  László Lovász,et al.  On the ratio of optimal integral and fractional covers , 1975, Discret. Math..

[12]  D. Bodnar The Propagation Process , 1987 .

[13]  MATTHIAS MIDDENDORF,et al.  On the complexity of the disjoint paths problem , 1993, Comb..

[14]  Elchanan Mossel,et al.  Submodularity of Influence in Social Networks: From Local to Global , 2010, SIAM J. Comput..

[15]  Ashkan Aazami,et al.  Approximation Algorithms and Hardness for Domination with Propagation , 2007, SIAM J. Discret. Math..

[16]  Vittorio Giovannetti,et al.  Full control by locally induced relaxation. , 2007, Physical review letters.

[17]  Michael A. Henning,et al.  Domination in Graphs Applied to Electric Power Networks , 2002, SIAM J. Discret. Math..

[18]  D. T. Lee,et al.  Power Domination Problem in Graphs , 2005, COCOON.

[19]  Mohammad R. Salavatipour,et al.  Packing element-disjoint steiner trees , 2005, APPROX-RANDOM.

[20]  C. Nash-Williams Edge-disjoint spanning trees of finite graphs , 1961 .

[21]  Michael A. Henning,et al.  A note on power domination in grid graphs , 2006, Discret. Appl. Math..

[22]  Lap Chi Lau,et al.  An Approximate Max-Steiner-Tree-Packing Min-Steiner-Cut Theorem* , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[23]  W. T. Tutte On the Problem of Decomposing a Graph into n Connected Factors , 1961 .

[24]  Hans L. Bodlaender,et al.  Some Classes of Graphs with Bounded Treewidth , 1988, Bull. EATCS.

[25]  Peter J. Slater,et al.  Fundamentals of domination in graphs , 1998, Pure and applied mathematics.

[26]  Matthew Richardson,et al.  Mining knowledge-sharing sites for viral marketing , 2002, KDD.

[27]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[28]  Robin Thomas,et al.  Call routing and the ratcatcher , 1994, Comb..

[29]  Rolf Niedermeier,et al.  Fixed Parameter Algorithms for DOMINATING SET and Related Problems on Planar Graphs , 2002, Algorithmica.

[30]  Carsten Lund,et al.  On the hardness of approximating minimization problems , 1994, JACM.

[31]  Ján Plesník,et al.  The NP-Completeness of the Hamiltonian Cycle Problem in Planar Digraphs with Degree Bound Two , 1979, Inf. Process. Lett..

[32]  Stefan Richter,et al.  Parameterized power domination complexity , 2006, Inf. Process. Lett..

[33]  Martin Middendorf,et al.  Minimum Broadcast Time is NP-Complete for 3-Regular Planar Graphs and Deadline 2 , 1993, Inf. Process. Lett..

[34]  S. Hedetniemi,et al.  Domination in graphs : advanced topics , 1998 .

[35]  D. Peleg Local Majority Voting, Small Coalitions and Controlling Monopolies in Graphs: A Review , 1996 .

[36]  Paul D. Seymour,et al.  Graph minors. X. Obstructions to tree-decomposition , 1991, J. Comb. Theory, Ser. B.

[37]  Frank Harary,et al.  Graph Theory , 2016 .

[38]  David S. Johnson,et al.  Approximation algorithms for combinatorial problems , 1973, STOC.

[39]  András Sebö,et al.  Multiflow Feasibility: An Annotated Tableau , 2008, Bonn Workshop of Combinatorial Optimization.

[40]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[41]  Ning Chen,et al.  On the approximability of influence in social networks , 2008, SODA '08.

[42]  Ashkan Aazami,et al.  Domination in graphs with bounded propagation: algorithms, formulations and hardness results , 2008, J. Comb. Optim..

[43]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[44]  Peter Slavík A Tight Analysis of the Greedy Algorithm for Set Cover , 1997, J. Algorithms.

[45]  Bruno Courcelle,et al.  Linear Time Solvable Optimization Problems on Graphs of Bounded Clique-Width , 2000, Theory of Computing Systems.

[46]  András Frank,et al.  Egerváry Research Group on Combinatorial Optimization on Decomposing a Hypergraph into K Connected Sub-hypergraphs on Decomposing a Hypergraph into K Connected Sub-hypergraphs , 2022 .

[47]  Alessandro Vespignani,et al.  Epidemics and immunization in scale‐free networks , 2002, cond-mat/0205260.

[48]  Jan Obdrzálek,et al.  DAG-width: connectivity measure for directed graphs , 2006, SODA '06.

[49]  Robin Thomas,et al.  Quickly Excluding a Planar Graph , 1994, J. Comb. Theory, Ser. B.

[50]  Sanjeev Khanna,et al.  Polynomial flow-cut gaps and hardness of directed cut problems , 2007, STOC '07.

[51]  John R. Gilbert,et al.  Approximating Treewidth, Pathwidth, Frontsize, and Shortest Elimination Tree , 1995, J. Algorithms.

[52]  Stephan Kreutzer,et al.  Digraph measures: Kelly decompositions, games, and orderings , 2007, SODA '07.

[53]  Fred S. Roberts,et al.  Challenges for Discrete Mathematics and Theoretical Computer Science in the Defense against Bioterrorism , 2010 .

[54]  T. Baldwin,et al.  Power system observability with minimal phasor measurement placement , 1993 .

[55]  Rolf Niedermeier,et al.  Improved Algorithms and Complexity Results for Power Domination in Graphs , 2005, Algorithmica.

[56]  Ton Kloks Treewidth, Computations and Approximations , 1994, Lecture Notes in Computer Science.

[57]  Mohammad R. Salavatipour,et al.  Packing Steiner trees , 2003, SODA '03.

[58]  Dennis J. Brueni Minimal PMU placement for graph observability: a decomposition approach , 1993 .

[59]  Éva Tardos,et al.  Influential Nodes in a Diffusion Model for Social Networks , 2005, ICALP.

[60]  L. Lau On approximate min-max theorems for graph connectivity problems , 2006 .

[61]  Erik D. Demaine,et al.  Bidimensionality: new connections between FPT algorithms and PTASs , 2005, SODA '05.