Counting Classes

To better understand the power of counting, we look at old and new classes defined in terms of GapP functions.
L is in PP if there is a f in GapP such that for all x,
- If x is in L then f(x) > 0
- If x is not in L then f(x) Ł 0