D-width, metric embedding, and their connections

Embedding between metric spaces is a very powerful algorithmic tool and has been used for finding good approximation algorithms for several problems. In particular, embedding to an e1 norm has been used as the key step in an approximation algorithm for the sparsest cut problem. The sparsest cut problem, in turn, is the main ingredient of many algorithms that have a divide and conquer nature and are used in various fields. While every metric is embeddable into e1 with distortion O(log n) [13], and the bound is tight [39], for special classes of metrics better bounds exist. Shortest path metrics for trees and outerplanar graphs are isometrically embeddable into e 1 [41], Series-parallel graphs [28] and k-outerplanar graphs [19] (for constant k) are embeddable intoe 1 with constant distortion planar graphs and bounded tree-width graphs are conjectured to have constant distortion in embedding to e1. Bounded tree-width graphs are one of most general graph classes on which several hard problems are tractable. We study the embedding of series-parallel graphs (or, more generally, graphs with tree-width two) into e1 and also the embedding between two line metrics. We then move our attention to the generalization of tree-width to digraphs and hypergraphs and study several relevant problems.

[1]  Donald E. Knuth,et al.  The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition , 1997 .

[2]  A. Itai,et al.  QUEUES, STACKS AND GRAPHS , 1971 .

[3]  Robert E. Tarjan,et al.  Sorting Using Networks of Queues and Stacks , 1972, J. ACM.

[4]  Vaughan R. Pratt,et al.  Computing permutations with double-ended queues, parallel stacks and parallel queues , 1973, STOC.

[5]  A d d e n d u m , 1976 .

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

[7]  Haruko Okamura,et al.  Multicommodity flows in planar graphs , 1981, J. Comb. Theory, Ser. B.

[8]  Derek G. Corneil,et al.  Complement reducible graphs , 1981, Discret. Appl. Math..

[9]  Charles R. Johnson,et al.  Matrix analysis , 1985, Statistical Inference for Engineers and Data Scientists.

[10]  J. Bourgain On lipschitz embedding of finite metric spaces in Hilbert space , 1985 .

[11]  William T. Trotter,et al.  Critically indecomposable partially ordered sets, graphs, tournaments and other binary relational structures , 1993, Discret. Math..

[12]  Nathan Linial,et al.  The geometry of graphs and some of its algorithmic applications , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

[13]  Reinhard Diestel,et al.  Graph Theory , 1997 .

[14]  B. Reed Surveys in Combinatorics, 1997: Tree Width and Tangles: A New Connectivity Measure and Some Applications , 1997 .

[15]  Prosenjit Bose,et al.  Pattern Matching for Permutations , 1993, WADS.

[16]  Yuval Rabani,et al.  An O(log k) Approximate Min-Cut Max-Flow Theorem and Approximation Algorithm , 1998, SIAM J. Comput..

[17]  Georg Gottlob,et al.  Hypertree decompositions and tractable queries , 1998, J. Comput. Syst. Sci..

[18]  Satish Rao,et al.  Small distortion and volume preserving embeddings for planar and Euclidean metrics , 1999, SCG '99.

[19]  Bruce A. Reed,et al.  Introducing Directed Tree Width , 1999, Electron. Notes Discret. Math..

[20]  Piotr Indyk,et al.  Algorithmic applications of low-distortion geometric embeddings , 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.

[21]  Robin Thomas,et al.  Directed Tree-Width , 2001, J. Comb. Theory, Ser. B.

[22]  Georg Gottlob,et al.  Fixed-parameter complexity in AI and nonmonotonic reasoning , 1999, Artif. Intell..

[23]  Hypertree Decompositions and Tractable Queries , 1998, cs/9812022.

[24]  Miklós Bóna,et al.  A Survey of Stack-Sorting Disciplines , 2003, Electron. J. Comb..

[25]  Stefan Szeider,et al.  On Fixed-Parameter Tractable Parameterizations of SAT , 2003, SAT.

[26]  Bruce A. Reed,et al.  Multicuts in unweighted graphs and digraphs with bounded degree and bounded tree-width , 2003, J. Algorithms.

[27]  Alexandr Andoni,et al.  Lower bounds for embedding edit distance into normed spaces , 2003, SODA '03.

[28]  Anupam Gupta,et al.  Embedding k-outerplanar graphs into ℓ1 , 2003, SODA '03.

[29]  Anupam Gupta,et al.  Cuts, Trees and ℓ1-Embeddings of Graphs* , 1999, 40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039).

[30]  Yuval Rabani,et al.  Low distortion maps between point sets , 2004, STOC '04.

[31]  Mike D. Atkinson,et al.  Simple permutations and pattern restricted permutations , 2005, Discret. Math..

[32]  Mohammad Ali Safari D-Width: A More Natural Measure for Directed Tree Width , 2005, MFCS.

[33]  Piotr Indyk,et al.  Low-distortion embeddings of general metrics into the line , 2005, STOC '05.

[34]  Alexander Hall,et al.  Approximating the Distortion , 2005, APPROX-RANDOM.

[35]  Georg Gottlob,et al.  Hypertree Decompositions: Structure, Algorithms, and Applications , 2005, WG.

[36]  Mihai Badoiu,et al.  Approximation algorithms for low-distortion embeddings into low-dimensional spaces , 2005, SODA '05.

[37]  Ashish Goel,et al.  Embedding Bounded Bandwidth Graphs into l1 , 2006, ICALP.

[38]  Moses Charikar,et al.  Directed metrics and directed graph partitioning problems , 2006, SODA '06.

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

[40]  Stephan Kreutzer,et al.  DAG-Width and Parity Games , 2006, STACS.

[41]  Isolde Adler Directed tree-width examples , 2007, J. Comb. Theory, Ser. B.

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

[43]  Georg Gottlob,et al.  Hypertree width and related hypergraph invariants , 2007, Eur. J. Comb..

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

[45]  Rafail Ostrovsky,et al.  Improved algorithms for optimal embeddings , 2008, TALG.