Nonconstructive tools for proving polynomial-time decidability

@article{Fellows1988NonconstructiveTF,
  title={Nonconstructive tools for proving polynomial-time decidability},
  author={M. Fellows and M. Langston},
  journal={J. ACM},
  year={1988},
  volume={35},
  pages={727-739}
}
Recent advances in graph theory and graph algorithms dramatically alter the traditional view of concrete complexity theory, in which a decision problem is generally shown to be in P by producing an efficient algorithm to solve an optimization version of the problem. Nonconstructive tools are now available for classifying problems as decidable in polynomial time by guaranteeing only the existence of polynomial-time decision algorithms. In this paper these new methods are employed to prove… Expand
On search, decision, and the efficiency of polynomial-time algorithms
Recent advances in well-quasi-order theory have troubling consequences for those who would equate tractability with polynomial-time complexity. In particular, there is no guarantee thatExpand
Nonconstructive Advances in Polynomial-Time Complexity
TLDR
This paper illustrates how recent advances in graph theory and graph algorithms dramatically alter the situation for classifying problems as decidable in polynomial time by nonconstructively proving only the existence ofPolynomial-time decision algorithms. Expand
Polynomial-time self-reducibility: theoretical motivations and practical results ∗
Although polynomial-time complexity theory has been formulated in terms of decision problems, polynomial-time decision algorithms generally operate by attempting to construct a solution to anExpand
On search decision and the efficiency of polynomial-time algorithms
TLDR
It is demonstrated that low-degree polynomial-time algorithms are now known for almost all of the catalogued applications of RS posets, and it is proved that, despite the nonconstructive nature of the well-partial-order theory on which this line of research is based, no RS poset application can settle P @@@@ N P non-constructively by any established method of argument. Expand
Constructive complexity
TLDR
This paper attempts to provide the foundations for a constructive theory of complexity, in which membership of a problem in some complexity class indeed implies that the authors can figure out how to solve that problem within the stated bounds. Expand
Constructivity Issues in Graph Algorithms
TLDR
This paper surveys some of the main results and open questions related to tractability in the theory of well-partially-ordered sets and investigates whether proofs of tractability can be constructive. Expand
Strong Backdoors to Nested Satisfiability
TLDR
It is shown that, parameterized by the size of a smallest strong backdoor set to the base class of nested formulas, computing the number of satisfying assignments of any CNF formula is fixed-parameter tractable. Expand
Finite Automata as Characterizations of Minor Closed Tree Families (Extended Abstract)
TLDR
This paper shows that any family of trees closed under minors can be recognized by a finite automaton and presents a new representation of trees which may have other applications and shows that many structural questions are easily answered using this representation. Expand
Efficient Computations in Tree-Like Graphs
Efficient Computations in Tree-Like Graphs. Many discrete optimization problems are both very difficult and important in a range of applications in engineering, computer science and operationsExpand
Improved Self-reduction Algorithms for Graphs with Bounded Treewidth
  • H. Bodlaender
  • Mathematics, Computer Science
  • Discret. Appl. Math.
  • 1994
TLDR
This paper introduces two techniques that help to reduce the running time of self-reduction algorithms, and shows that there exist O (n2) algorithms that decide on membership and construct solutions for treewidth, pathwidth, search number, vertex searchNumber, node search number), modified cutwidth, vertex separation number, gate matrix layout, and progressive black–white pebbling. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 68 REFERENCES
Nonconstructive Advances in Polynomial-Time Complexity
TLDR
This paper illustrates how recent advances in graph theory and graph algorithms dramatically alter the situation for classifying problems as decidable in polynomial time by nonconstructively proving only the existence ofPolynomial-time decision algorithms. Expand
Polynomial-time self-reducibility: theoretical motivations and practical results ∗
Although polynomial-time complexity theory has been formulated in terms of decision problems, polynomial-time decision algorithms generally operate by attempting to construct a solution to anExpand
Complexity of finding embeddings in a k -tree
TLDR
This work determines the complexity status of two problems related to finding the smallest number k such that a given graph is a partial k-tree and presents an algorithm with polynomially bounded (but exponential in k) worst case time complexity. Expand
Fast Self-Reduction Algorithms for Combinatorical Problems of VLSI-Design
TLDR
This paper introduces a notion of fast self-reduction in this setting and develops a general technique, which is term scaffolding, that is useful in the design of fastSelfReduction algorithms. Expand
Computers and Intractability: A Guide to the Theory of NP-Completeness
Horn formulae play a prominent role in artificial intelligence and logic programming. In this paper we investigate the problem of optimal compression of propositional Horn production rule knowledgeExpand
The complexity of searching a graph
TLDR
It is shown that determining whether s(G) ≤ K, for a given integer K, is NP-hard for general graphs but can be solved in linear time for trees. Expand
Exact and Approximate Solutions for the Gate Matrix Layout Problem
TLDR
It is shown that there exist families of problem instances for which the ratio of the number of tracks required by these heuristics to the optimal value is unbounded, and it is proved that this result holds for any on-line layout algorithm. Expand
On determining the genus of a graph in O(v O(g)) steps(Preliminary Report)
TLDR
An algorithm which on input a graph G and a positive integer g finds an embedding of G on a surface on genius g, if such an embedbling exists, and which is rewritten Euler's formula. Expand
GRAPH SEPARATION AND SEARCH NUMBER.
TLDR
This work relates two concepts in graph theory and algorithmic complexity, namely the search number and the vertex separation of a graph, to give algorithm that, for any tree T, compute vs(T) inlinear time and compute an optimal layout with respect to vertex separation in linear time. Expand
Disjoint Paths—A Survey
We describe without proof polynomially bounded algorithms for the following problems: (i) (k is a fixed integer, andS is a fixed surface). With input a graph G which may be drawn in S and k pairs ofExpand
...
1
2
3
4
5
...