It's O(1) to find a candidate solution, but of course it will still be O(N) to verify that the solution really works.