BLISS solver

Programs which generate, solve, and analyze Sudoku puzzles

Re: BLISS solver

Postby m_b_metcalf » Mon Nov 18, 2019 8:05 pm

Mathimagics wrote: 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
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10849
Joined: 15 May 2006
Location: Berlin

Re: BLISS solver

Postby Mathimagics » Tue Nov 19, 2019 12:49 am

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.
User avatar
Mathimagics
2017 Supporter
 
Posts: 1532
Joined: 27 May 2015
Location: Canberra

Re: BLISS solver

Postby m_b_metcalf » Tue Nov 19, 2019 8:15 am

Mathimagics wrote:That 100-puzzle set can be found here.

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

Mike
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10849
Joined: 15 May 2006
Location: Berlin

Re: BLISS solver

Postby Mathimagics » Tue Nov 19, 2019 8:36 am

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

But "basic logic techniques + contradictions" is somewhat vague ... :?
User avatar
Mathimagics
2017 Supporter
 
Posts: 1532
Joined: 27 May 2015
Location: Canberra

Re: BLISS solver

Postby m_b_metcalf » Tue Nov 19, 2019 8:57 am

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

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.
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10849
Joined: 15 May 2006
Location: Berlin

Re: BLISS solver

Postby Mathimagics » Tue Nov 19, 2019 10:10 am

What does your contradiction testing do when your candidate test solves the puzzle, ie leads to 1 solution?
User avatar
Mathimagics
2017 Supporter
 
Posts: 1532
Joined: 27 May 2015
Location: Canberra

Re: BLISS solver

Postby m_b_metcalf » Tue Nov 19, 2019 10:38 am

Mathimagics wrote: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.)
User avatar
m_b_metcalf
2017 Supporter
 
Posts: 10849
Joined: 15 May 2006
Location: Berlin

Previous

Return to Software