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

Representable Disjoint NP-Pairs

Beyersdorff, O (2004) Representable Disjoint NP-Pairs. In: FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science. FSTITCS 2004, 16 - 18 December 2004, Chennai, India. Springer Verlag , 122 - 134 . ISBN 3-540-24058-6

Available under licence : See the attached licence file.

Download (203Kb)


We investigate the class of disjoint NP-pairs under different reductions. The structure of this class is intimately linked to the simulation order of propositional proof systems, and we make use of the relationship between propositional proof systems and theories of bounded arithmetic as the main tool of our analysis. Specifically we exhibit a pair which is complete under strong reductions for all disjoint NP-pairs representable in a theory. We use these pairs to explain the simulation order of NP-pairs under these reductions. As corollaries we also get simplified proofs of results obtained earlier in [3] and [5].

Item Type: Proceedings Paper
Copyright, Publisher and Additional Information: © 2005, Springer. This is an author produced version of a paper published in Lecture notes in computer science. Uploaded in accordance with the publisher's self-archiving policy
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Dec 2012 13:33
Last Modified: 10 Jun 2014 19:37
Published Version: http://dx.doi.org/10.1007/978-3-540-30538-5_11
Status: Published
Publisher: Springer Verlag
Identification Number: 10.1007/978-3-540-30538-5_11
URI: http://eprints.whiterose.ac.uk/id/eprint/74798

Actions (repository staff only: login required)