Results 1 
4 of
4
Algorithmic Graph Minor Theory: Decomposition, Approximation, and Coloring
 In 46th Annual IEEE Symposium on Foundations of Computer Science
, 2005
"... At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is used throughout graph theory and graph algorithms, but is existential. We develop a polynomialtime algorithm using topolog ..."
Abstract

Cited by 47 (12 self)
 Add to MetaCart
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is used throughout graph theory and graph algorithms, but is existential. We develop a polynomialtime algorithm using topological graph theory to decompose a graph into the structure guaranteed by the theorem: a cliquesum of pieces almostembeddable into boundedgenus surfaces. This result has many applications. In particular, we show applications to developing many approximation algorithms, including a 2approximation to graph coloring, constantfactor approximations to treewidth and the largest grid minor, combinatorial polylogarithmicapproximation to halfintegral multicommodity flow, subexponential fixedparameter algorithms, and PTASs for many minimization and maximization problems, on graphs excluding a fixed minor. 1.
ComputabilityTheoretic and ProofTheoretic Aspects of Partial and Linear Orderings
 Israel Journal of mathematics
"... Szpilrajn's Theorem states that any partial order P = hS;
Abstract

Cited by 9 (0 self)
 Add to MetaCart
Szpilrajn's Theorem states that any partial order P = hS; <P i has a linear extension L = hS; <L i. This is a central result in the theory of partial orderings, allowing one to de ne, for instance, the dimension of a partial ordering. It is now natural to ask questions like \Does a wellpartial ordering always have a wellordered linear extension?" Variations of Szpilrajn's Theorem state, for various (but not for all) linear order types , that if P does not contain a subchain of order type , then we can choose L so that L also does not contain a subchain of order type . In particular, a wellpartial ordering always has a wellordered extension.
Quickly deciding minorclosed parameters in general graphs
, 2004
"... We construct algorithms for deciding essentially any minorclosed parameter, with explicit time bounds. This result strengthens previous results by Robertson and Seymour [1,2], Frick and Grohe [3], and Fellows and Langston [4] toward obtaining fixedparameter algorithms for a general class of parame ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
We construct algorithms for deciding essentially any minorclosed parameter, with explicit time bounds. This result strengthens previous results by Robertson and Seymour [1,2], Frick and Grohe [3], and Fellows and Langston [4] toward obtaining fixedparameter algorithms for a general class of parameters. 1
4. The Second Incompleteness Theorem. 5. Lengths of Proofs.
, 2007
"... Gödel's legacy is still very much in evidence. We will not attempt to properly discuss the full impact of his work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many p ..."
Abstract
 Add to MetaCart
Gödel's legacy is still very much in evidence. We will not attempt to properly discuss the full impact of his work and all of the ongoing important research programs that it suggests. This would require a book length manuscript. Indeed, there are several books discussing the Gödel legacy from many points of view, including, for example, [Wa87], [Wa96], [Da05], and the historically comprehensive five volume set [Go,8603]. In sections 27 we briefly discuss some research projects that are suggested by some of his most famous contributions. In sections 811 we discuss some highlights of a main recurrent theme in our own research, which amounts to an expansion of the Gödel incompleteness phenomenon in a critical direction.