Posting it here will almost certainly lead to a "May the best clanker win" contest, you realize!
If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)
I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.
Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.
alt Hacker News
If someone wants to beat me to either a solution, or proving no solutions exists, then by all means :-)
I think it's an extraordinarily hard problem computationally, even with exceptional theoretical backing.
Where people may be able to beat me is if no solution exists-- there may be some highly nontrivial, but findable unsatisfiability argument.