Results 1  10
of
3,064,867
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
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
Learning Bayesian Networks is NPComplete
, 1996
"... Algorithms for learning Bayesian networks from data havetwo components: a scoring metric and a search procedure. The scoring metric computes a score reflecting the goodnessoffit of the structure to the data. The search procedure tries to identify network structures with high scores. Heckerman e ..."
Abstract

Cited by 225 (8 self)
 Add to MetaCart
relative posterior probability greater than a given constant is NPcomplete, when the BDe metric is used. 12.1
NPComplete
"... this article, use of the term crossover (or mating) assumes that mutation is included unless otherwise noted. ..."
Abstract
 Add to MetaCart
this article, use of the term crossover (or mating) assumes that mutation is included unless otherwise noted.
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
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
edgedeletion NPcomplete problems
 Conference Record of the Tenth Annual ACM Symposium on Theory of Computing (San Diego, Calif., 1978), ACM
, 1978
"... If ~ is a graph property, the general node(edge) deletion problem can be stated as follows: Find the minimum number of nodes(edges), whose deletion results in a subgraph satisfying property ~. In this paper we show that if ~ belongs to a rather broad class of properties (the class of properties that ..."
Abstract

Cited by 90 (0 self)
 Add to MetaCart
that are hereditary on induced subgraphs) then the nodedeletion problem is NPcomplete, and the same is true for several restrictions of it. For the same class of properties, requi~ing the remaining graph to be connected does not change the NPcomplete status of the problem; moreover for a certain subclass, finding
Properties of subsets
 Journal of Formalized Mathematics
, 1989
"... Summary. The text includes theorems concerning properties of subsets, and some operations on sets. The functions yielding improper subsets of a set, i.e. the empty set and the set itself are introduced. Functions and predicates introduced for sets are redefined. Some theorems about enumerated sets a ..."
Abstract

Cited by 1278 (0 self)
 Add to MetaCart
Summary. The text includes theorems concerning properties of subsets, and some operations on sets. The functions yielding improper subsets of a set, i.e. the empty set and the set itself are introduced. Functions and predicates introduced for sets are redefined. Some theorems about enumerated sets
The NPCompleteness of EdgeColouring
, 1981
"... We show that it is NPcomplete to determine the chromatic index of an arbitrary graph. The problem remains NPcomplete even for cubic graphs. ..."
Abstract

Cited by 32 (0 self)
 Add to MetaCart
We show that it is NPcomplete to determine the chromatic index of an arbitrary graph. The problem remains NPcomplete even for cubic graphs.
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
Lambek calculus is npcomplete
 Theoretical Computer Science
, 2003
"... We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L ∗ the derivability problem is NPcomplete. It follows that also for the multiplicative fragments of cyclic linear logic and noncommutative linear logic the derivability problem is NPcomplete. ..."
Abstract

Cited by 34 (0 self)
 Add to MetaCart
We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L ∗ the derivability problem is NPcomplete. It follows that also for the multiplicative fragments of cyclic linear logic and noncommutative linear logic the derivability problem is NPcomplete.
Results 1  10
of
3,064,867