White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Classes of representable disjoint NP-pairs

Beyersdorff, O (2007) Classes of representable disjoint NP-pairs. Theoretical Computer Science, 377 (1-3). 93 - 109 . ISSN 0304-3975

Available under licence : See the attached licence file.

Download (260Kb)


For a propositional proof system P we introduce the complexity class of all disjoint -pairs for which the disjointness of the pair is efficiently provable in the proof system P. We exhibit structural properties of proof systems which make canonical -pairs associated with these proof systems hard or complete for . Moreover, we demonstrate that non-equivalent proof systems can have equivalent canonical pairs and that depending on the properties of the proof systems different scenarios for and the reductions between the canonical pairs exist.

Item Type: Article
Copyright, Publisher and Additional Information: © 2007, Elsevier. This is an author produced version of a paper published in Theoretical Computer Science. Uploaded in accordance with the publisher's self-archiving policy.
Keywords: disjoint NP-pairs, propositional proof systems
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 19 Jul 2012 09:28
Last Modified: 10 Jun 2014 11:57
Published Version: http://dx.doi.org/10.1016/j.tcs.2007.02.005
Status: Published
Publisher: Elsevier
Identification Number: 10.1016/j.tcs.2007.02.005
URI: http://eprints.whiterose.ac.uk/id/eprint/74434

Actions (repository staff only: login required)