Quantitative relativizations of complexity classes
SIAM Journal on Computing
The complexity of promise problems with applications to public-key cryptography
Information and Control
NP is as easy as detecting unique solutions
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
The complexity of optimization problems
Journal of Computer and System Sciences - Structure in Complexity Theory Conference, June 2-5, 1986
SIAM Journal on Computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
On the computational power of PP and (+)P
SFCS '89 Proceedings of the 30th Annual Symposium on Foundations of Computer Science
Semi-membership algorithms: some recent advances
ACM SIGACT News
The quasilinear isomorphism challenge
ACM SIGACT News
Robust algorithms for restricted domains
SODA '01 Proceedings of the twelfth annual ACM-SIAM symposium on Discrete algorithms
Optimal series-parallel trade-offs for reducing a function to its own graph
Information and Computation
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
On the complexity of data disjunctions
Theoretical Computer Science - Complexity and logic
Reducing the number of solutions of NP functions
Journal of Computer and System Sciences
Reducing the Number of Solutions of NP Functions
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Search and Optimization Problems in Datalog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Graph Isomorphism Is Low for ZPP(NP) and Other Lowness Results
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Is the Standard Proof System for SAT P-Optimal?
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Information and Computation
Proceedings of the 2004 ACM symposium on Applied computing
Complexity results for explanations in the structural-model approach
Artificial Intelligence
Robust algorithms for restricted domains
Journal of Algorithms - Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms
Average-case intractability vs. worst-case intractability
Information and Computation
Competing provers yield improved Karp-Lipton collapse results
Information and Computation
Reductions between disjoint NP-pairs
Information and Computation
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Predicate-calculus-based logics for modeling and solving search problems
ACM Transactions on Computational Logic (TOCL)
Open questions in the theory of semifeasible computation
ACM SIGACT News
Resource bounded immunity and simplicity
Theoretical Computer Science
Information and Computation
Cluster computing and the power of edge recognition
Information and Computation
Variable-strength conditional preferences for ranking objects in ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Outlier detection by logic programming
ACM Transactions on Computational Logic (TOCL)
Expressive probabilistic description logics
Artificial Intelligence
The Shrinking Property for NP and coNP
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Detecting outlying properties of exceptional objects
ACM Transactions on Database Systems (TODS)
NPMV-Complete Functions That Compute Discrete Logarithms and Integer Factorization
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Nondeterministic functions and the existence of optimal proof systems
Theoretical Computer Science
Answer set planning under action costs
Journal of Artificial Intelligence Research
Theory of one-tape linear-time Turing machines
Theoretical Computer Science
On the Complexity of Computing Discrete Logarithms over Algebraic Tori
CANS '09 Proceedings of the 8th International Conference on Cryptology and Network Security
Competing provers yield improved Karp-Lipton collapse results
Information and Computation
Reductions between disjoint NP-Pairs
Information and Computation
Information and Computation
Approximability and hardness in multi-objective optimization
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
The complexity of finding reset words in finite automata
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research
The shrinking property for NP and coNP
Theoretical Computer Science
Complexity classes of equivalence problems revisited
Information and Computation
On the complexity of core, kernel, and bargaining set
Artificial Intelligence
Detecting and repairing anomalous evolutions in noisy environments
Annals of Mathematics and Artificial Intelligence
Cluster computing and the power of edge recognition
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
The complexity of quasigroup isomorphism and the minimum generating set problem
ISAAC'06 Proceedings of the 17th international conference on Algorithms and Computation
Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard
Proceedings of the 21st international conference on World Wide Web
Structural complexity of multiobjective NP search problems
LATIN'12 Proceedings of the 10th Latin American international conference on Theoretical Informatics
Survey: The consequences of eliminating NP solutions
Computer Science Review
Functions Computable with Nonadaptive Queries to NP
Theory of Computing Systems
Hi-index | 0.00 |
This paper comprises a systematic comparison of several complexity classes of functions that are computed nondeterministically in polynomial time or with an oracle in NP. There are three components to this work:*A taxonomy is presented that demonstrates all known inclusion relations of these classes. For (nearly) each inclusion that is not shown to hold, evidence is presented to indicate that the inclusion is false. As an example, consider FewPF, the class of multivalued functions that are nondeterministically computable in polynomial time such that for each x there is a polyomial bound on the number of distinct output values of f(x). We show that FewPF @?"c PF^N^P"t"t. However, we show PF^N^P"t"t @? FewPF if and only if NP = co-NP, and thus PF^N^P"t"t @? FewPF is likely to be false. *Whereas it is known that P^N^P(O(log n)) = P^N^P"t"t @? P^N^P, we show that PF^N^P(O(log n)) = PF^N^P"t"t implies P = FewP and R = NP. Also, we show that PF^N^P"t"t = PF^N^P if and only if P^N^P"t"t = P^N^P. *We show that if every nondeterministic polynomial-time multivalued function has a single-valued nondeterministic refinement (equivalently, if every honest function that is computable in polynomial-time can be inverted by a single-valued nondeterministic function), then there exists a disjoint pair of NP-complete sets such that every separator is NP-hard. The latter is a previously studied open problem that is closely related to investigations on promise problems. This result motivates a study of reductions between partial multivalued functions.