Results 1  10
of
40
The NPcompleteness column: an ongoing guide
 JOURNAL OF ALGORITHMS
, 1987
"... 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. Freem ..."
Abstract

Cited by 243 (0 self)
 Add to MetaCart
(Show Context)
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
Constructive Linear Time Algorithms for Branchwidth
, 1997
"... We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth k and, if so, outputs a branch decomposition of minimum width. 1 Introduction This paper considers the problem of finding branch decompositions of graphs with small branchwidth. The noti ..."
Abstract

Cited by 34 (7 self)
 Add to MetaCart
We prove that, for any fixed k, one can construct a linear time algorithm that checks if a graph has branchwidth k and, if so, outputs a branch decomposition of minimum width. 1 Introduction This paper considers the problem of finding branch decompositions of graphs with small branchwidth. The notion of branchwidth has a close relationship to the more wellknown notion of treewidth, a notion that has come to play a large role in many recent investigations in algorithmic graph theory. (See Section 2 for definitions of treewidth and branchwidth.) One reason for the interest in this notion is that many graph problems can be solved by linear time algorithms, when the inputs are restricted to graphs with some uniform upper bound on their treewidth. Most of these algorithms first try to find a tree decomposition of small width, and then utilize the advantages of the tree structure of the decomposition (see [1], [4]). The branchwidth of a graph differs from its treewidth by at most a multipl...
Foundations of BQO Theory and Subsystems of SecondOrder Arithmetic
 Pennsylvania State University
, 1993
"... Abstract. We consider the reverse mathematics of wqo and bqo theory. We survey the literature on the subject, which deals mainly with the more advanced results about wqos and bqos, and prove some new results about the elementary properties of these combinatorial structures. We state several open pro ..."
Abstract

Cited by 18 (7 self)
 Add to MetaCart
(Show Context)
Abstract. We consider the reverse mathematics of wqo and bqo theory. We survey the literature on the subject, which deals mainly with the more advanced results about wqos and bqos, and prove some new results about the elementary properties of these combinatorial structures. We state several open problems about the axiomatic strength of both elementary and advanced results. A quasiordering (i.e. a reflexive and transitive binary relation) is awqo (well quasiordering) if it contains no infinite descending chains and no infinite sets of pairwise incomparable elements. This concept is very natural, and has been introduced several times, as documented in [19]. The usual working definition of wqo is obtained from the one given above with an application of Ramsey’s theorem: a quasiordering on the setQ is wqo if for every sequence {xn  n ∈ N}of elements ofQ there existm < n such thatxm xn. The notion of bqo (better quasiordering) is a strengthening of wqo which was introduced byNashWilliams in the 1960’s in a sequence of papers culminating in [30] and [31]. This notion has proved to be very useful in showing that specific quasiorderings are indeed wqo. Moreover the property of being bqo is preserved
Fast FixedParameter Tractable Algorithms for Nontrivial Generalizations of Vertex Cover
, 2003
"... Our goal in this paper is the development of fast algorithms for recognizing general classes of graphs. We seek algorithms whose complexity can be expressed as a linear function of the graph size plus an exponential function of k, a natural parameter describing the class. In particular, we consider ..."
Abstract

Cited by 15 (0 self)
 Add to MetaCart
Our goal in this paper is the development of fast algorithms for recognizing general classes of graphs. We seek algorithms whose complexity can be expressed as a linear function of the graph size plus an exponential function of k, a natural parameter describing the class. In particular, we consider the class W_k(G), where for each graph G in W_k(G), the removal of a set of at most k vertices from G results in a graph in the base graph class G. (If G ist the class of edgeless graphs,...
On the logical strength of NashWilliams’ theorem on transfinite sequences. In: Logic: from Foundations to Applications; European logic colloquium
, 1996
"... ..."
(Show Context)
Fast algorithms for hard graph problems: Bidimensionality, minors, and local treewidth
 In Proceedings of the 12th International Symposium on Graph Drawing, volume 3383 of Lecture Notes in Computer Science
, 2004
"... Abstract. This paper surveys the theory of bidimensional graph problems. We summarize the known combinatorial and algorithmic results of this theory, the foundational Graph Minor results on which this theory is based, and the remaining open problems. 1 ..."
Abstract

Cited by 13 (3 self)
 Add to MetaCart
(Show Context)
Abstract. This paper surveys the theory of bidimensional graph problems. We summarize the known combinatorial and algorithmic results of this theory, the foundational Graph Minor results on which this theory is based, and the remaining open problems. 1
Long Finite Sequences
, 1998
"... Let k be a positive integer. There is a longest finite sequence x 1 ,...,x n in k letters in which no consecutive block x i ,...,x 2i is a subsequence of any other consecutive block x j ,...,x 2j . Let n(k) be this longest length. We prove that n(1) = 3, n(2) = 11, and n(3) is incomprehensibly large ..."
Abstract

Cited by 13 (4 self)
 Add to MetaCart
Let k be a positive integer. There is a longest finite sequence x 1 ,...,x n in k letters in which no consecutive block x i ,...,x 2i is a subsequence of any other consecutive block x j ,...,x 2j . Let n(k) be this longest length. We prove that n(1) = 3, n(2) = 11, and n(3) is incomprehensibly large. We give a lower bound for n(3) in terms of the familiar Ackerman hierarchy. We also give asymptotic upper and lower bounds for n(k). We view n(3) as a particularly elemental description of an incomprehensibly large integer. Related problems involving binary sequences (two letters) are also addressed. We also report on some recent computer explorations of R. Dougherty which we use to raise the lower bound for n(3).
Algorithms and Obstructions for LinearWidth and Related Search Parameters
 Discrete Applied Mathematics
, 1997
"... The linearwidth of a graph G is defined to be the smallest integer k such that the edges of G can be arranged in a linear ordering (e 1 ; : : : ; e r ) in such a way that for every i = 1; : : : ; r \Gamma 1, there are at most k vertices incident to edges that belong both to fe 1 ; : : : ; e i g an ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
(Show Context)
The linearwidth of a graph G is defined to be the smallest integer k such that the edges of G can be arranged in a linear ordering (e 1 ; : : : ; e r ) in such a way that for every i = 1; : : : ; r \Gamma 1, there are at most k vertices incident to edges that belong both to fe 1 ; : : : ; e i g and to fe i+1 ; : : : ; e r g. In this paper, we give a set of 57 graphs and prove that it is the set of the minimal forbidden minors for the class of graphs with linearwidth at most two. Our proof also gives a linear time algorithm that either reports that a given graph has linearwidth more than two or outputs an edge ordering of minimum linearwidth. We further prove a structural connection between linearwidth and the mixed search number which enables us to determine, for any k 1, the set acyclic forbidden minors for the class of graphs with linearwidth k. Moreover, due to this connection, our algorithm can be transfered to two linear time algorithms that check whether a graph has mixe...