What is #P (Sharp P)

#P is the set of counting problems whose corresponding decision problem is in NP.  Or more formally (from here):

A function [math]f:left{0,1right}^*rightarrow mathbb{N}[/math] is in #[math]bf{P}[/math] if there exists a polynomial [math]p: mathbb{N}rightarrow mathbb{N}[/math] and a polynomial-time TM (turing machine) such that for every [math]xin left{0,1right}^*[/math]

[math]f(x)=left|{left{yin left{0,1right}^{p^{(|x|)}}:M(x,y)=1right}}right|[/math].

I later intend to find a proof or develop a proof myself that shows that the number of subset sums problem is in #P.

Leave a Reply