6 ms·
The solution has exponential time and space complexity, which I noted in the blog post. It is only interesting for its simplicity and as a stress test for super
by Hirrolot 3y ago
The solution has exponential time and space complexity, which I noted in the blog post. It is only interesting for its simplicity and as a stress test for supercompilers.
- zellyn 3y agoAh, I missed that. Makes perfect sense! By the way, if you're interested in the "this problem can blow up badly because it can be converted to 3-SAT", you might like https://research.swtch.com/version-sat https://research.swtch.com/version-sat