Results 1  10
of
39
The NPcompleteness column: an ongoing guide
 Journal of Algorithms
, 1985
"... This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & ..."
Abstract

Cited by 196 (0 self)
 Add to MetaCart
This is the nineteenth edition of a (usually) quarterly column that covers new developments in the theory of NPcompleteness. The presentation is modeled on that used by M. R. Garey and myself in our book ‘‘Computers and Intractability: A Guide to the Theory of NPCompleteness,’ ’ W. H. Freeman & Co., New York, 1979 (hereinafter referred to as ‘‘[G&J]’’; previous columns will be referred to by their dates). A background equivalent to that provided by [G&J] is assumed, and, when appropriate, crossreferences will be given to that book and the list of problems (NPcomplete and harder) presented there. Readers who have results they would like mentioned (NPhardness, PSPACEhardness, polynomialtimesolvability, etc.) or open problems they would like publicized, should
Graph minors. X. Obstructions to treedecomposition
 J. COMB. THEORY, SERIES B
, 1991
"... Roughly, a graph has small “treewidth” if it can be constructed by piecing small graphs together in a tree structure. Here we study the obstructions to the existence of such a tree structure. We find, for instance: (i) a minimax formula relating treewidth with the largest such obstructions (ii) an ..."
Abstract

Cited by 174 (10 self)
 Add to MetaCart
Roughly, a graph has small “treewidth” if it can be constructed by piecing small graphs together in a tree structure. Here we study the obstructions to the existence of such a tree structure. We find, for instance: (i) a minimax formula relating treewidth with the largest such obstructions (ii) an association between such obstructions and large grid minors of the graph (iii) a “treedecomposition” of the graph into pieces corresponding with the obstructions. These results will be of use in later papers.
On Metric RamseyType Phenomena
"... The main question studied in this article may be viewed as a nonlinear analog of Dvoretzky's Theorem in Banach space theory or as part of Ramsey Theory in combinatorics. ..."
Abstract

Cited by 69 (39 self)
 Add to MetaCart
The main question studied in this article may be viewed as a nonlinear analog of Dvoretzky's Theorem in Banach space theory or as part of Ramsey Theory in combinatorics.
Short Paths in Expander Graphs
 In Proceedings of the 37th Annual Symposium on Foundations of Computer Science
, 1996
"... Graph expansion has proved to be a powerful general tool for analyzing the behavior of routing algorithms and the interconnection networks on which they run. We develop new routing algorithms and structural results for boundeddegree expander graphs. Our results are unified by the fact that they ..."
Abstract

Cited by 42 (1 self)
 Add to MetaCart
Graph expansion has proved to be a powerful general tool for analyzing the behavior of routing algorithms and the interconnection networks on which they run. We develop new routing algorithms and structural results for boundeddegree expander graphs. Our results are unified by the fact that they are all based upon, and extend, a body of work asserting that expanders are rich in short, disjoint paths. In particular, our work has consequences for the disjoint paths problem, multicommodity flow, and graph minor containment. We show: (i) A greedy algorithm for approximating the maximum disjoint paths problem achieves a polylogarithmic approximation ratio in boundeddegree expanders. Although our algorithm is both deterministic and online, its performance guarantee is an improvement over previous bounds in expanders. (ii) For a multicommodity flow problem with arbitrary demands on a boundeddegree expander, there is a (1+ ")optimal solution using only flow paths of polylogarithmi...
Graph Minor Theory
 BULLETIN (NEW SERIES) OF THE AMERICAN MATHEMATICAL SOCIETY
, 2005
"... A monumental project in graph theory was recently completed. The project, started by Robertson and Seymour, and later joined by Thomas, led to entirely new concepts and a new way of looking at graph theory. The motivating problem was Kuratowski’s characterization of planar graphs, and a farreaching ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
A monumental project in graph theory was recently completed. The project, started by Robertson and Seymour, and later joined by Thomas, led to entirely new concepts and a new way of looking at graph theory. The motivating problem was Kuratowski’s characterization of planar graphs, and a farreaching generalization of this, conjectured by Wagner: If a class of graphs is minorclosed (i.e., it is closed under deleting and contracting edges), then it can be characterized by a finite number of excluded minors. The proof of this conjecture is based on a very general theorem about the structure of large graphs: If a minorclosed class of graphs does not contain all graphs, then every graph in it is glued together in a treelike fashion from graphs that can almost be embedded in a fixed surface. We describe the precise formulation of the main results and survey some of its applications to algorithmic and structural problems in graph theory.
Algorithmic Aspects Of Ordered Structures
, 1992
"... In this work we relate the theory of quasiorders to the theory of algorithms over some combinatorial objects. First we develope the theory of wellquasiorderings, wqo's, and relate it to the theory of worstcase complexity. Then we give a general 01law for hereditary properties that has imp ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
In this work we relate the theory of quasiorders to the theory of algorithms over some combinatorial objects. First we develope the theory of wellquasiorderings, wqo's, and relate it to the theory of worstcase complexity. Then we give a general 01law for hereditary properties that has implications for average case complexity. This result on averagecase complexity is applied to the class of finite graphs equipped with the induced subgraph relation. We obtain that a wide class of problems, including e.g. perfectness, has average constant time algorithms. Then we show, by extending a result of Damaschke on cographs, that the classes of finite orders resp. graphs with bounded decomposition diameter form wqo's with respect to the induced suborder resp. induced subgraph relation. This leads to linear time algorithms for the recognition of any hereditary property on these objects. Our main result is then that the set of finite posets is a wqo with respect to a certain relation , calle...
Graph Minors and Graphs on Surfaces
, 2001
"... Graph minors and the theory of graphs embedded in surfaces are ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
Graph minors and the theory of graphs embedded in surfaces are
Universal obstructions for embedding extension problems
"... Let K be an induced nonseparating subgraph of a graph G, andletB be the bridge of K in G. Obstructions for extending a given 2cell embedding of K to an embedding of G in the same surface are considered. It is shown that it is possible to find a nice obstruction which means that it has bounded bran ..."
Abstract

Cited by 7 (6 self)
 Add to MetaCart
Let K be an induced nonseparating subgraph of a graph G, andletB be the bridge of K in G. Obstructions for extending a given 2cell embedding of K to an embedding of G in the same surface are considered. It is shown that it is possible to find a nice obstruction which means that it has bounded branch size up to a bounded number of “almost disjoint ” millipedes. Moreover, B contains a nice subgraph ˜ B with the following properties. If K is 2cell embedded in some surface and F is a face of K, then ˜ B admits exactly the same types of embeddings in F as B. A linear time algorithm to construct such a universal obstruction ˜ B is presented. At the same time, for every type of embeddings of ˜ B, an embedding of B ofthesametypeis determined.