creint wrote:A better comparison would be the 206 16x16 puzzles posted elsewhere on this forum.
Could you kindly provide a link to these?
Thanks.
creint wrote:A better comparison would be the 206 16x16 puzzles posted elsewhere on this forum.
m_b_metcalf wrote:creint wrote:A better comparison would be the 206 16x16 puzzles posted elsewhere on this forum.
Could you kindly provide a link to these?
Thanks.
m_b_metcalf wrote:But I still maintain that 9 is the easiest, it can be solved with naked pairs and pointing. In general, apart from basic logic techniques, many candidates in these puzzles can be eliminated by simple contradiction. None needed brute force (unlike Mladen's nightmares).
solver mean(log(bt)) sdev(log(bt))
------------------------ ----------- -------------
minisat_minimal_01 18.583 0.406 // 1+ digits/cell; no digit twice in a unit
minisat_natural_01 17.420 0.710 // exactly 1 digit/cell; no digit twice in a unit
minisat_complete_01 6.135 0.289 // +hidden_singles
minisat_augmented_01 5.785 0.227 // +hidden_singles,locked_candidates
_tdev_dpll_triad 17.735 1.960 // hidden_singles,locked_candidates,cardinality
_tdev_dpll_triad_scc_i 16.357 1.431 // +scc_inference
_tdev_dpll_triad_scc_h 5.599 0.104 // +scc_heuristic
_tdev_dpll_triad_scc_ih 5.577 0.240 // +scc_inference,scc_heuristic
tdoku 10.225 3.134 // hidden_singles,locked_candidates,cardinality
+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+
| 123456789 | 245 | 123456789 | 4 | 45 | 123456789 | 123456789 | 123456789 | 123456789 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 1 | 137 | 123456789 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 1367 | 123456789 |
+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+
| 123456789 | 123456789 | 123456789 | 123456789 | 259 | 123456789 | 123456789 | 123456789 | 123456789 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 378 | 123456789 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 |
+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+
| 123456789 | 123456789 | 3567 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 5 |
| 123456789 | 123456789 | 123456789 | 123456789 | 123456789 | 23 | 123456789 | 123456789 | 123456789 |
+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+-----------+
Mathimagics wrote:It looks like I got it right, and I can now give a verified example of a minimal SudokuP pencilmark puzzle. It has 657 candidates.
dobrichev wrote:Oops... I didn't realised SudokuP is a variant beyond pencilmark sudoku.
dobrichev wrote:Just this time my immunity to your abbreviations has not served me well.
Mathimagics wrote:It looks like I got it right, and I can now give a verified example of a minimal SudokuP pencilmark puzzle. It has 657 candidates.
123456789020450000123456789000400000000450000123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789100000000103000700123456789123456789123456789123456789123456789123456789123456789123456789103006700123456789123456789123456789123456789123456789020050009123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789003000780123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789003056700123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789000050000123456789123456789123456789123456789123456789023000000123456789123456789123456789