Proof Compression and NP Versus PSPACE II: Addendum

In [3] we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier's cut-free sequent calculus for minimal logic (HSC) [5] with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction (ND) [6]. In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea (due to the second author) is to omit full minimal logic and compress only \naive" normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, since the Hamiltonian graph problem in NP-complete. Thus, loosely speaking, the proof of NP = coNP can be obtained by HSC-elimination from our proof of NP = PSPACE [3].

Hamiltonian Cycles Passing Through Prescribed Edges in Locally Twisted Cubes

Let [Formula: see text] be a set of edges whose induced subgraph consists of vertex-disjoint paths in an [Formula: see text]-dimensional locally twisted cube [Formula: see text]. In this paper, we prove that if [Formula: see text] contains at most [Formula: see text] edges, then [Formula: see text] contains a Hamiltonian cycle passing through every edge of [Formula: see text], where [Formula: see text]. [Formula: see text] has a Hamiltonian cycle passing through at most one prescribed edge.