The Difference and Truth-Table Hierarchies for NP

@article{Kbler1987TheDA,
  title={The Difference and Truth-Table Hierarchies for NP},
  author={Johannes K{\"o}bler and Uwe Sch{\"o}ning and Klaus W. Wagner},
  journal={RAIRO Theor. Informatics Appl.},
  year={1987},
  volume={21},
  pages={419-435}
}
Definition de deux hierarchies des classes de complexite. Localisation de la hierarchie de differences et de la hierarchie du tableau de verite pour NP. Exemples d'ensembles complets dans les deux hierarchies et examen de leurs correlations 

Topics from this paper

Fine Hierarchies and Boolean Terms
TLDR
This work gives new short descriptions of fine hierarchies in recursion theory, descriptive set theory, logic and complexity theory, and shows that collections of sets of values of Boolean terms are almost well ordered by inclusion. Expand
Bounded query classes and the difference hierarchy
TLDR
A hierarchy of sets that are reducible toA based on bounding the number of queries toA that an oracle machine can make is defined, i.e. sets in a logarithmic way. Expand
Refining the polynomial hierarchy
By a result of Kadin, the difference hierarchy over NP does not collapse if the polynomial hierarchy does not. We extend this result to a natural refinement of the polynomial hierarchy. TheExpand
A survey on difference hierarchies of regular languages
TLDR
This survey paper gives decidability results on the difference hierarchies based on shuffle ideals, strongly cyclic regular languages and the polynomial closure of group languages. Expand
Relating Automata-theoretic Hierarchies to Complexity-theoretic Hierarchies
  • V. Selivanov
  • Computer Science, Mathematics
  • RAIRO Theor. Informatics Appl.
  • 2002
TLDR
It is shown that some natural refinements of the Straubing and Brzozowski hierarchies correspond to the Boolean hierarchy and the plus-hierarchy step by step to similar refinement of the polynomial-time hierarchy. Expand
Much ado about functions
  • A. Selman
  • Computer Science, Mathematics
  • Proceedings of Computational Complexity (Formerly Structure in Complexity Theory)
  • 1996
This paper surveys basic results on complexity classes of partial multivalued functions. We stress basic inclusion relations, interesting hierarchies, and results that demonstrate that hierarchiesExpand
The domatic number problem: Boolean hierarchy completeness and exact exponential time algorithms
TLDR
Das Domatic Number Problem wird in verschiedenen Variationen aus komplexitatstheoretischer Sicht betrachtet anderswo die hoheren Stufen der Booleschen Hierarchie uber NP erzielt. Expand
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynomial-time hierarchy.Expand
The Boolean Hierarchy of NP-Partitions
TLDR
The Embedding Conjecture is established which enables us to get a complete idea of the structure of the boolean hierarchy of k-partitions over NP for k ≥ 3. Expand
Fine hierarchies and m-reducibilities in theoretical computer science
  • V. Selivanov
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 2008
TLDR
This is a survey of results about versions of fine hierarchies and many-one reducibilities that appear in different parts of theoretical computer science, to identify the unifying notions, techniques and ideas. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 21 REFERENCES
The Boolean Hierarchy: Hardware over NP
TLDR
The structure of the boolean hierarchy and its relations with more common classes is emphasized: separation and immunity results, complete languages, upward separations, connections to sparse oracles for NP, and structural asymmetries between complementary classes. Expand
The complexity of facets (and some facets of complexity)
Many important combinatorial optimization problems, including the traveling salesman problem (TSP), the clique problem and many others, call for the optimization of a linear functional over someExpand
A Comparison of Polynomial Time Reducibilities
Abstract Various forms of polynomial time reducibility are compared. Among the forms examined are many-one, bounded truth table, truth table and Turing reducibility. The effect of introducingExpand
On the Unique Satisfiability Problem
TLDR
An oracle is constructed relative to which UNIQUE SAT is not complete for DIF ~, and another oracle relative towhich UNIQue SAT is complete forDIF e, whereas NP v ~ co - NP is co- NP. Expand
On the complexity of unique solutions
We show that the problem of deciding whether an instance of the traveling salesman problem has a uniquely optimal solution is complete for Δ2P.
The Polynomial-Time Hierarchy
  • L. Stockmeyer
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1976
TLDR
The problem of deciding validity in the theory of equality is shown to be complete in polynomial-space, and close upper and lower bounds on the space complexity of this problem are established. Expand
On the Boolean closure of NP
TLDR
New machines whose computational power is bounded by that of alternating Turing machines making only one alternation are introduced whose polynomial time classes are exactly the levels of the Boolean closure of NP which can be defined in a natural way. Expand
Succinct representation of graphs
This work presents a different approach to the continuing work done in the development of efficient algorithms for the solution of graph problems. While until now the main effort has been directedExpand
Succinct Representations of Graphs
TLDR
The main result is characterizing a large class of graph properties for which the respective “succinct problem” is NP-hard, and shows that the succinct versions of polynomially equivalent problems may not be polynomial equivalent. Expand
Optimization Problems and the Polynomial Hierarchy
Abstract It is demonstrated that such problems as the symmetric Travelling Salesman Problem, Chromatic Number Problem, Maximal Clique Problem and a Knapsack Packing Problem are in the ΔP2 level of PHExpand
...
1
2
3
...