Co-NP
In complexity theory, co-NP is the complexity class that contains the complements of decision problems in the complexity class NP. The complement of a decision problem is here defined as the problem with the yes and no answers reversed, or if we define decision problems as sets of finite strings as the complement of this set with respect to the given alphabet. From this definition it follows that the complement of every decision problem in NP is in co-NP and the complement of every decision problem in co-NP is in NP.P is a subset of both NP and co-NP. That subset is thought to be strict in both cases. NP and co-NP are also thought to be unequal. If so, then no NP-complete problem can be in co-NP and no co-NP-complete problem can be in NP.
This can be shown as follows. Assume that there is an NP-complete problem that is in co-NP. Since all problems in NP can be reduced to this problem it follows that for all problems in NP we can construct a non-deterministic Turing machine that decides the complement of the problem in polynomial time, i.e., NP is a subset of co-NP. From this it follows that the set of complements of the problems in NP is a subset of the set of complements of the problems in co-NP, i.e., co-NP is a subset of NP. Since we already knew that NP is a subset of co-NP it follows that they are the same. The proof for the fact that no co-NP-complete problem can be in NP is symmetrical.
If a problem can be shown to be in both NP and co-NP, that is generally accepted as strong evidence that the problem is probably not NP-complete. One example is integer factorization, the problem of finding the prime factors of a number. It is in both NP and co-NP, but is generally suspected to be outside P, outside NP-complete, and outside co-NP-complete.
gratify an impossible desire. The bird, in our example, would surely
on leg or neck.
Since Lamarck's time, almost all competent naturalists have left
the 'Vestiges', by whose well-intentioned efforts the Lamarckian theory
Notwithstanding this silence, however, the transmutation theory, as it
zoologist and botanist who had a soul above the mere naming of dried
and consistent whole, and the providential order established in the
that dominant over the multiform shapes of brute matter. But what is
of medicine, but a narration of the steps by which the human mind has
operation of secondary causes in events where ignorance beheld an
things are formed of the same elements as the inorganic world, that they
probable, nay is it possible, that they, and they alone, should have no
multiplicity, should suffer no explanation by the discovery of some
been long before they received such expression as would have commanded
the publication of the work which prompted this article. Its author,
science when most of those now distinguished were young men, and has
philosophers. After a circumnavigatory voyage, undertaken solely for
which at once arrested the attention of naturalists and geologists; his
universal assent, nor is it questionable that they have had the most
Darwin, with a versatility which is among the rarest of gifts, turned
anatomy; and no living naturalist and anatomist has published a better
all events, has not entered the sanctuary with unwashed hands, and when
we must listen even though we be disposed to strike. But, in reading
.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|