The New Sudoku Players' Forum

[m_b_metcalf]

but BLISS(1) takes less than 5ms to crack it:

Beats mine (~0.015s).

M

Code: Select all

100456789003456789000456789123056789023056789103456789123456789123456789123456789123456789003456789000456780123456789023456789023456789120450789123456789023456789123456789103456789123456789120056789120000789103456789120456789120006789120456789123456789120056789020056789123456789020006789000456789020000789123006789023456789123456789023456789023456789003456789023400789123456789023400009023456789023456789023456789123456789023456789103450789023456789003456789023456789123456789003400089123456789123456789123456789120456789123456789123456789123456789123456009123456789120456789103456789100056789100056789023456789100456789123456789103456789003456789023056709123456789000000089023456789000456789123406789003056789123456789000456789

1  456789  3456789   456789123 56789 23 567891 3456789123456789123456789123456789
123456789  3456789   45678 123456789 23456789 2345678912 45 789123456789 23456789
1234567891 345678912345678912  5678912    7891 345678912 45678912   678912 456789
12345678912  56789 2  56789123456789 2   6789   456789 2    789123  6789 23456789
123456789 23456789 23456789  3456789 234  789123456789 234    9 23456789 23456789
 23456789123456789 234567891 345 789 23456789  3456789 23456789123456789  34   89
12345678912345678912345678912 456789123456789123456789123456789123456  9123456789
12 4567891 34567891   567891   56789 234567891  4567891234567891 3456789  3456789
 23 567 9123456789       89 23456789   4567891234 6789  3 56789123456789   456789

[Mathimagics]

Hi Mike

It's less about speed than which puzzles are vulnerable to "attack" by simple methods. Your solver does equally well on this one, apparently, so what methods does it use? Does it solve other puzzles in Tom's benchmark set?

I haven't looked yet to see whether there are others that BLISS can solve. It's not meant to be a universal solver (far from it), but an analytical tool.

That 100-puzzle set can be found here.

[m_b_metcalf]

That 100-puzzle set can be found here.

Thanks MM. Just scroll down that page and all will be revealed.

Mike

[Mathimagics]

Indeed, it seems your solver solves them all, even if they don't have a solution (#48)!

But "basic logic techniques + contradictions" is somewhat vague ...

[m_b_metcalf]

Indeed, it seems your solver solves them all, even if they don't have a solution (#48)!

But "basic logic techniques + contradictions" is somewhat vague ...

Basic logic is the usual singles, pairs, triplets, quads, pointing, swordfish, some wings. Contradictions means just that: try a candidate and test (using logic, not a brute force solver) whether it leads to zero solutions.

[Mathimagics]

What does your contradiction testing do when your candidate test solves the puzzle, ie leads to 1 solution?

[m_b_metcalf]

What does your contradiction testing do when your candidate test solves the puzzle, ie leads to 1 solution?

Ignores it. That could be a spurious solution if the puzzle has no unique solution. (I have a separate backdoor code for use if uniqueness is known to be guaranteed.)