Comment by danbruc
4 hours ago
And the claimed algorithm solves the counting problem, i.e. determining the number of different solutions, which in many cases is much harder than just determining whether a solution exists or finding one of the solutions.
Knowing the count also gives you a O(n) way of finding a solution.