Results 1  10
of
257,167
Unions of Disjoint NPComplete Sets
"... Abstract. We study the following question: if A and B are disjoint NPcomplete sets, then is A ∪ B NPcomplete? We provide necessary and sufficient conditions under which the union of disjoint NPcomplete sets remain complete. 1 ..."
Abstract
 Add to MetaCart
Abstract. We study the following question: if A and B are disjoint NPcomplete sets, then is A ∪ B NPcomplete? We provide necessary and sufficient conditions under which the union of disjoint NPcomplete sets remain complete. 1
The informational content of canonical disjoint NPpairs
 Electronic Colloquium on Computational Complexity
, 2007
"... We investigate the connection between propositional proof systems and their canonical pairs. It is known that simulations between proof systems translate to reductions between their canonical pairs. We focus on the opposite direction and study the following questions. Q1: Where does the implication ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
equivalent, Pinseparable canonical pairs tell that they are not “very different”. We can relate Q4 to the open problem in structural complexity that asks whether unions of disjoint NPcomplete sets are NPcomplete. This demonstrates a new connection between proof systems, disjoint NPpairs, and unions
Properties of NPcomplete sets
 In Proceedings of the 19th IEEE Conference on Computational Complexity
, 2004
"... We study several properties of sets that are complete for NP. We prove that if L is an NPcomplete set and S � ⊇ L is a pselective sparse set, then L − S is ≤p mhard for NP. We demonstrate existence of a sparse set S ∈ DTIME(22n) such that for every L ∈ NP − P, L − S is not ≤p mhard for NP. Moreo ..."
Abstract

Cited by 9 (7 self)
 Add to MetaCart
strong but reasonable hypothesis and infer from it that disjoint Turingcomplete sets for NP are not closed under union. Our hypothesis asserts existence of a UPmachine M that accepts 0 ∗ such that for some 0 < ɛ < 1, no 2nɛ timebounded machine can correctly compute infinitely many accepting
SPLITTING NPCOMPLETE SETS
, 2006
"... We show that a set is mautoreducible if and only if it is mmitotic. This solves a long standing open question in a surprising way. As a consequence of this unconditional result and recent work by Gla6er et al., complete sets for all of the following complexity classes are mmitotic: NP, coNP, â ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
P, PSPACE, and NEXP, as well as all levels of PH, MODPH, and the Boolean hierarchy over NP. In the cases of NP, PSPACE, NEXP, and PH, this at once answers several wellstudied open questions. These results tell us that complete sets share a redundancy that was not known before. In particular, every NPcomplete
A Threshold of ln n for Approximating Set Cover
 JOURNAL OF THE ACM
, 1998
"... Given a collection F of subsets of S = f1; : : : ; ng, set cover is the problem of selecting as few as possible subsets from F such that their union covers S, and max kcover is the problem of selecting k subsets from F such that their union has maximum cardinality. Both these problems are NPhar ..."
Abstract

Cited by 778 (5 self)
 Add to MetaCart
Given a collection F of subsets of S = f1; : : : ; ng, set cover is the problem of selecting as few as possible subsets from F such that their union covers S, and max kcover is the problem of selecting k subsets from F such that their union has maximum cardinality. Both these problems are NP
Protocol insecurity with finite number of sessions is NPcomplete
 Theoretical Computer Science
, 2001
"... We investigate the complexity of the protocol insecurity problem for a finite number of sessions (fixed number of interleaved runs). We show that this problem is NPcomplete with respect to a DolevYao model of intruders. The result does not assume a limit on the size of messages and supports nonat ..."
Abstract

Cited by 183 (12 self)
 Add to MetaCart
We investigate the complexity of the protocol insecurity problem for a finite number of sessions (fixed number of interleaved runs). We show that this problem is NPcomplete with respect to a DolevYao model of intruders. The result does not assume a limit on the size of messages and supports non
NPcompleteness for Equal Unions in Families of Sets
, 2000
"... A family of sets has the equal union property if there exist two nonempty disjoint subfamilies having equal unions, and has the full equal union property if, in addition, all points are included. We show that both recognition problems are NPcomplete, even when restricted to families for which th ..."
Abstract
 Add to MetaCart
A family of sets has the equal union property if there exist two nonempty disjoint subfamilies having equal unions, and has the full equal union property if, in addition, all points are included. We show that both recognition problems are NPcomplete, even when restricted to families for which
Some NPcomplete Geometric Problems
"... We show that the STEINER TREE problem and TRAVELING SALESMAN problem for points in the plane are NPcomplete when distances are measured either by the rectilinear (Manhattan) metric or by a natural discretized version of the Euclidean metric. Our proofs also indicate that the problems are NPhard i ..."
Abstract

Cited by 99 (1 self)
 Add to MetaCart
We show that the STEINER TREE problem and TRAVELING SALESMAN problem for points in the plane are NPcomplete when distances are measured either by the rectilinear (Manhattan) metric or by a natural discretized version of the Euclidean metric. Our proofs also indicate that the problems are NP
The complexity of unions of disjoint sets
 In Proceedings 24th Symposium on Theoretical Aspects of Computer Science
, 2007
"... This paper is motivated by the open question whether the union of two disjoint NPcomplete sets always is NPcomplete. 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 app ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
This paper is motivated by the open question whether the union of two disjoint NPcomplete sets always is NPcomplete. 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
Results 1  10
of
257,167