GapP


GapP is a counting [complexity class], consisting of all of the functions f such that there exists a polynomial-time non-deterministic Turing machine M where, for any input x, the value f is equal to the number of accepting paths of M minus the number of rejecting paths of M. GapP is exactly the closure of #P under subtraction. It also has all the other closure properties of #P, such as addition, multiplication, and binomial coefficients.
The counting class Almost [Wide Probabilistic Polynomial-Time|AWPP] is defined in terms of GapP functions.