Large-Treewidth Graph Decompositions

Treewidth is an important and a widely used graph parameter. Informally, the treewidth of a graph measures how close the graph is to being a tree. In particular, low-treewidth graphs often exhibit behavior somewhat similar to that of trees, in that many problems can be solved efficiently on such graphs, often by using dynamic programming. The treewidth of a graph G D .V;E/ is typically defined via tree decompositions. A tree decomposition for G consists of a tree T D .V .T /; E.T // and a collection of sets fXv V gv2V.T / called bags, such that the following two properties are satisfied: (i) for each edge .a; b/ 2 E, there is some node v 2 V.T / with both a; b 2 Xv , and (ii) for each vertex a 2 V , the set of all nodes of T whose bags contain a form a nonempty (connected) subtree of T . The width of a given tree decomposition is maxv2V.T /fjXvj 1g, and the treewidth of a graph G, denoted by tw.G/, is the width of a minimumwidth tree decomposition for G. In large-treewidth graph decompositions, we seek to partition a given graph G into a large number of disjoint subgraphs G1; : : : ; Gh, where each subgraph Gi has a large treewidth. Specifically, if k denotes the treewidth of G, h is the desired number of the subgraphs in the decomposition, and r is the desired lower bound on the treewidth of each subgraph Gi , then we are interested in efficient algorithms that partition any input graph G of treewidth k into h disjoint subgraphs of treewidth at least r each, and in establishing the bounds on h and r in terms of k, for which such a partition exists.

[1]  Erik D. Demaine,et al.  Quickly deciding minor-closed parameters in general graphs , 2007, Eur. J. Comb..

[2]  Madhu Sudan,et al.  Improved Low-Degree Testing and its Applications , 2003, Comb..

[3]  Michal Pilipczuk,et al.  On Group Feedback Vertex Set Parameterized by the Size of the Cutset , 2012, WG.

[4]  David P. Woodruff New Lower Bounds for General Locally Decodable Codes , 2007, Electron. Colloquium Comput. Complex..

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

[6]  Alan Guo,et al.  New affine-invariant codes from lifting , 2012, ITCS '13.

[7]  Erik D. Demaine,et al.  Logarithmic Lower Bounds in the Cell-Probe Model , 2005, SIAM J. Comput..

[8]  Michal Pilipczuk,et al.  On multiway cut parameterized above lower bounds , 2011, TOCT.

[9]  Michal Pilipczuk,et al.  Designing FPT Algorithms for Cut Problems Using Randomized Contractions , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

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

[11]  Michael A. Bender,et al.  The LCA Problem Revisited , 2000, LATIN.

[12]  Sanjeev Arora,et al.  Probabilistic checking of proofs: a new characterization of NP , 1998, JACM.

[13]  Prasad Raghavendra,et al.  A Note on Yekhanin's Locally Decodable Codes , 2007, Electron. Colloquium Comput. Complex..

[14]  Richard J. Lipton,et al.  Efficient Checking of Computations , 1990, STACS.

[15]  Mikkel Thorup,et al.  Near-optimal fully-dynamic graph connectivity , 2000, STOC '00.

[16]  Niclas Wiberg,et al.  Codes and Decoding on General Graphs , 1996 .

[17]  Robert E. Tarjan,et al.  Scaling and related techniques for geometry problems , 1984, STOC '84.

[18]  M. Wainwright,et al.  Using Linear Programming to Decode Linear Codes , 2003 .

[19]  Dorit S. Hochbaum,et al.  Solving integer programs over monotone inequalities in three variables: A framework for half integrality and good approximations , 2002, Eur. J. Oper. Res..

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

[21]  Leslie E. Trotter,et al.  Properties of vertex packing and independence system polyhedra , 1974, Math. Program..

[22]  Steven S. Seiden,et al.  On the online bin packing problem , 2001, JACM.

[23]  Robert E. Tarjan,et al.  Fast Algorithms for Finding Nearest Common Ancestors , 1984, SIAM J. Comput..

[24]  D. Spielman,et al.  Expander codes , 1996 .

[25]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[26]  József Békési,et al.  New lower bounds for certain classes of bin packing algorithms , 2012, Theor. Comput. Sci..

[27]  Johannes Fischer,et al.  Optimal Succinctness for Range Minimum Queries , 2008, LATIN.

[28]  Michael I. Jordan,et al.  Variational inference in graphical models: The view from the marginal polytope , 2008 .

[29]  David P. Woodruff A Quadratic Lower Bound for Three-Query Linear Locally Decodable Codes over Any Field , 2010, Journal of Computer Science and Technology.

[30]  J. J. Sylvester,et al.  On a Point in the Theory of Vulgar Fractions , 1880 .

[31]  Klim Efremenko,et al.  3-Query Locally Decodable Codes of Subexponential Length , 2008 .

[32]  Rafail Ostrovsky,et al.  Local Correctability of Expander Codes , 2013, ICALP.

[33]  Kunihiko Sadakane,et al.  Space-Efficient Data Structures for Flexible Text Retrieval Systems , 2002, ISAAC.

[34]  A. Glavieux,et al.  Near Shannon limit error-correcting coding and decoding: Turbo-codes. 1 , 1993, Proceedings of ICC '93 - IEEE International Conference on Communications.

[35]  Luca Trevisan,et al.  Lower bounds for linear locally decodable codes and private information retrieval , 2002, Proceedings 17th IEEE Annual Conference on Computational Complexity.

[36]  Ken-ichi Kawarabayashi,et al.  Linear min-max relation between the treewidth of H-minor-free graphs and its largest grid , 2012, STACS.

[37]  Robert E. Tarjan,et al.  A data structure for dynamic trees , 1981, STOC '81.

[38]  Irving S. Reed,et al.  A class of multiple-error-correcting codes and the decoding scheme , 1954, Trans. IRE Prof. Group Inf. Theory.

[39]  Paul D. Seymour,et al.  Graph Minors: XV. Giant Steps , 1996, J. Comb. Theory, Ser. B.

[40]  Luca Trevisan,et al.  Pseudorandom generators without the XOR lemma , 1999, Proceedings. Fourteenth Annual IEEE Conference on Computational Complexity (Formerly: Structure in Complexity Theory Conference) (Cat.No.99CB36317).

[41]  Saket Saurabh,et al.  Faster Parameterized Algorithms Using Linear Programming , 2012, ACM Trans. Algorithms.

[42]  Ken-ichi Kawarabayashi,et al.  Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction , 2009, Algorithmica.

[43]  Saket Saurabh,et al.  LP can be a cure for Parameterized Problems , 2012, STACS.

[44]  Zeev Dvir,et al.  Matching Vector Codes , 2010, FOCS.

[45]  Sergey Yekhanin,et al.  Towards 3-query locally decodable codes of subexponential length , 2008, JACM.

[46]  Uzi Vishkin,et al.  Highly parallelizable problems , 1989, STOC '89.

[47]  Paul D. Seymour,et al.  Graph minors. V. Excluding a planar graph , 1986, J. Comb. Theory B.

[48]  Stephen Alstrup,et al.  Nearest Common Ancestors: A Survey and a New Algorithm for a Distributed Environment , 2004, Theory of Computing Systems.

[49]  Lance Fortnow,et al.  BPP has subexponential time simulations unlessEXPTIME has publishable proofs , 2005, computational complexity.

[50]  Chandra Chekuri,et al.  Large-treewidth graph decompositions and applications , 2013, STOC '13.

[51]  Andrew Chi-Chih Yao,et al.  New Algorithms for Bin Packing , 1978, JACM.

[52]  Robert G. Gallager,et al.  Low-density parity-check codes , 1962, IRE Trans. Inf. Theory.

[53]  Elwyn R. Berlekamp,et al.  On the inherent intractability of certain coding problems (Corresp.) , 1978, IEEE Trans. Inf. Theory.

[54]  P. Erdös,et al.  On Independent Circuits Contained in a Graph , 1965, Canadian Journal of Mathematics.

[55]  Martin J. Wainwright,et al.  LP decoding corrects a constant fraction of errors , 2004, ISIT.

[56]  Leslie E. Trotter,et al.  Vertex packings: Structural properties and algorithms , 1975, Math. Program..

[57]  Takuya Akiba,et al.  Branch-and-reduce exponential/FPT algorithms in practice: A case study of vertex cover , 2014, Theor. Comput. Sci..

[58]  Sergey Yekhanin,et al.  Locally Decodable Codes , 2012, Found. Trends Theor. Comput. Sci..

[59]  Sylvain Guillemot,et al.  FPT algorithms for path-transversal and cycle-transversal problems , 2011, Discret. Optim..

[60]  Jon Feldman,et al.  Decoding turbo-like codes via linear programming , 2002, The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings..

[61]  Jon Feldman,et al.  LP decoding achieves capacity , 2005, SODA '05.

[62]  Or Meir,et al.  High-rate locally-correctable and locally-testable codes with sub-polynomial query complexity , 2016, STOC.

[63]  David Eppstein,et al.  Maintenance of a minimum spanning forest in a dynamic planar graph , 1990, SODA '90.

[64]  Yoichi Iwata,et al.  Linear-Time FPT Algorithms via Network Flow , 2013, SODA.

[65]  Stephen Alstrup,et al.  Marked ancestor problems , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[66]  Kunihiko Sadakane,et al.  Succinct representations of lcp information and improvements in the compressed suffix arrays , 2002, SODA '02.

[67]  Michael E. Saks,et al.  The cell probe complexity of dynamic data structures , 1989, STOC '89.

[68]  Jon Feldman,et al.  Decoding error-correcting codes via linear programming , 2003 .

[69]  Jonathan Katz,et al.  On the efficiency of local decoding procedures for error-correcting codes , 2000, STOC '00.

[70]  Shubhangi Saraf,et al.  High-rate codes with sublinear-time decoding , 2011, STOC '11.

[71]  Kunihiko Sadakane,et al.  Fully Functional Static and Dynamic Succinct Trees , 2009, TALG.

[72]  Carsten Lund,et al.  Proof verification and the hardness of approximation problems , 1998, JACM.

[73]  Carsten Thomassen,et al.  Highly Connected Sets and the Excluded Grid Theorem , 1999, J. Comb. Theory, Ser. B.

[74]  Chandra Chekuri,et al.  Polynomial bounds for the grid-minor theorem , 2013, J. ACM.

[75]  Luca Trevisan,et al.  Pseudorandom generators without the XOR Lemma (extended abstract) , 1999, STOC '99.

[76]  Leonid A. Levin,et al.  Checking computations in polylogarithmic time , 1991, STOC '91.

[77]  Erik D. Demaine,et al.  The Bidimensionality Theory and Its Algorithmic Applications , 2008, Comput. J..

[78]  Thore Husfeldt,et al.  New Lower Bound Techniques for Dynamic Partial Sums and Related Problems , 2003, SIAM J. Comput..

[79]  Bruce A. Reed,et al.  Finding odd cycle transversals , 2004, Oper. Res. Lett..