Encyclopedia > Sharp-P

  Article Content

Sharp-P

#P, pronounced "sharp P", is a complexity class in complexity theory. It is the set of counting problems associated with the decision problems in the set NP.

An NP problem is often of the form:

  • Are there any solutions that satisfy certain constraints?
For example: The corresponding #P problems ask "how many" rather than "are there any". For example:
  • How many subsets of a list of integers add up to zero?
  • How many Hamiltonian cycles in a given graph have cost less than 100?
  • How many variable assignments satisfy a given DNF formula?

More formally, a problem is in #P if there is a non-deterministic, polynomial-time Turing machine that, for each instance I of the problem, has a number of accepting computations that is exactly equal to the number of distinct solutions for instance I.

Clearly, a #P problem must be at least as hard as the corresponding NP problem. If it's easy to count answers, then it must be easy to tell whether there are any answers. Just count them, and see if the count is greater than zero. Therefore, the #P problem corresponding to any NP-Complete problem, must be NP-Hard.

Surprisingly, some #P problems that are believed to be difficult correspond to easy P problems. For more information on this, see Sharp-P-Complete.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Museums in England

... Leeds West Yorkshire Folk Museum[?] Yorkshire Bronte Museum[?], Haworth Cannon Hall Museum[?] Castle Museum, York[?] National Railway Museum, York Royal ...

 
 
 
This page was created in 23.6 ms