Quantitative relativizations of complexity classes
SIAM Journal on Computing
Trading group theory for randomness
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Complexity measures for public-key cryptosystems
SIAM Journal on Computing - Special issue on cryptography
Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class
Journal of Computer and System Sciences - 17th Annual ACM Symposium in the Theory of Computing, May 6-8, 1985
The ismorphism conjecture fails relative to a random oracle
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Journal of the ACM (JACM)
On the complexity of the parity argument and other inefficient proofs of existence
Journal of Computer and System Sciences - Special issue: 31st IEEE conference on foundations of computer science, Oct. 22–24, 1990
A taxonomy of complexity classes of functions
Journal of Computer and System Sciences
The relative complexity of NP search problems
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
The Isomorphism Conjecture Holds Relative toan Oracle
SIAM Journal on Computing
Computing Solutions Uniquely Collapses the Polynomial Hierarchy
SIAM Journal on Computing
Separability and One-Way Functions
ISAAC '94 Proceedings of the 5th International Symposium on Algorithms and Computation
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Some Comments on Functional Self-Reducibility and the NP Hierarchy
Some Comments on Functional Self-Reducibility and the NP Hierarchy
Easy Sets and Hard Certificate Schemes
Easy Sets and Hard Certificate Schemes
Separability and one-way functions
Computational Complexity
Comparing reductions to NP-complete sets
Information and Computation
Quantum cryptography: A survey
ACM Computing Surveys (CSUR)
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
Fundamenta Informaticae
Nondeterministic functions and the existence of optimal proof systems
Theoretical Computer Science
The shrinking property for NP and coNP
Theoretical Computer Science
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Comparing reductions to NP-complete sets
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
Hardness hypotheses, derandomization, and circuit complexity
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Classical computability and fuzzy turing machines
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
Fundamenta Informaticae
Inverting onto functions and polynomial hierarchy
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Hi-index | 0.00 |
We look at the hypothesis that all honest onto polynomial-time computable functions have a polynomial-time computable inverse. We show this hypothesis equivalent to several other complexity conjectures including: • In polynomial time, one can find accepting paths of nondeterministic polynomial-time Turing machines that accept Σ*. • Every total multivalued nondeterministic function has a polynomial-time computable refinement. • In polynomial time, one can compute satisfying assignments for any polynomial-time computable set of satisfiable formulae. • In polynomial time, one can convert the accepting computations of any nondeterministic Turing machine that accepts SAT to satisfying assignments.We compare these hypotheses with several other important complexity statements. We also examine the complexity of these statements where we only require a single bit instead of the entire inverse.