Comment Comment by mmarx Counting solutions is not a decision problem, so it can't be in NP. The corresponding counting complexity class is #P. parent mmarx 9 years ago
