Nondeterministic turing machines with modified acceptance
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
Complexity measures for public-key cryptosystems
SIAM Journal on Computing - Special issue on cryptography
The Boolean hierarchy I: structural properties
SIAM Journal on Computing
SIAM Journal on Computing
Splittings, Robustness, and Structure of Complete Sets
SIAM Journal on Computing
Rounding in lattices and its cryptographic applications
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
FCT '85 Fundamentals of Computation Theory
Proceedings of the Symposium "Rekursive Kombinatorik" on Logic and Machines: Decision Problems and Complexity
Theoretical Computer Science - Australasian computer science
Pseudo-Random Generators and Structure of Complete Degrees
CCC '02 Proceedings of the 17th IEEE Annual Conference on Computational Complexity
On some polynomial time reducibilities.
On some polynomial time reducibilities.
Separability and one-way functions
Computational Complexity
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Comparing reductions to NP-complete sets
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
Machines that can output empty words
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
the informational content of canonical disjoint NP-pairs
COCOON'07 Proceedings of the 13th annual international conference on Computing and Combinatorics
Hi-index | 0.00 |
This paper is motivated by the open question whether the union of two disjoint NP-complete sets always is NP-complete. We discover that such unions retain much of the complexity of their single components. More precisely, they are complete with respect to more general reducibilities. Moreover, we approach the main question in a more general way: We analyze the scope of the complexity of unions of m-equivalent disjoint sets. Under the hypothesis that NE ≠ coNE, we construct degrees in NP where our main question has a positive answer, i.e., these degrees are closed under unions of disjoint sets.