Sciweavers

2 search results - page 1 / 1
» Completeness in the Boolean Hierarchy: Exact-Four-Colorabili...
Sort
View
JUCS
2006
94views more  JUCS 2006»
13 years 5 months ago
Completeness in the Boolean Hierarchy: Exact-Four-Colorability, Minimal Graph Uncolorability, and Exact Domatic Number Problems
: This paper surveys some of the work that was inspired by Wagner's general technique to prove completeness in the levels of the boolean hierarchy over NP and some related res...
Tobias Riege, Jörg Rothe
MST
2006
99views more  MST 2006»
13 years 5 months ago
Complexity of the Exact Domatic Number Problem and of the Exact Conveyor Flow Shop Problem
We prove that the exact versions of the domatic number problem are complete for the levels of the boolean hierarchy over NP. The domatic number problem, which arises in the area of...
Tobias Riege, Jörg Rothe