The New Sudoku Players' Forum

[P.O.]

Code: Select all

.  .  .  .  .  .  .  .  .
.  .  .  7  1  5  .  .  .
.  .  3  .  .  .  4  .  .
.  2  .  .  .  .  .  1  .
6  .  .  2  4  7  .  .  3
.  .  5  .  .  .  6  .  .
.  6  .  .  .  .  .  2  .
4  .  .  8  5  3  .  .  9
.  .  1  .  .  .  8  .  .

............715.....3...4...2.....1.6..247..3..5...6...6.....2.4..853..9..1...8..


basics:

Hidden Text: Show

Code: Select all

( n7r8c2   n2r8c3   n1r8c7   n6r8c8   n1r5c2   n2r6c9   n5r4c4 )

intersections:
((((4 0) (1 4 2) (3 4 6 9)) ((4 0) (1 6 2) (2 4 6 8 9)))
 (((3 0) (1 4 2) (3 4 6 9)) ((3 0) (1 5 2) (2 3 6 8 9))))

PAIR COL: ((5 3 4) (8 9)) ((7 3 7) (8 9)) 
(((1 3 1) (6 7 8 9)) ((2 3 1) (4 6 8 9)) ((4 3 4) (4 7 8 9)))


Code: Select all

125789  589     67      3469    23689   24689   2579    5789    15678           
289     489     46      7       1       5       239     389     68               
125789  589     3       69      2689    2689    4       5789    15678           
3789    2       47      5       3689    689     79      1       478             
6       1       89      2       4       7       59      589     3               
3789    3489    5       139     389     189     6       4789    2               
3589    6       89      149     79      149     357     2       457             
4       7       2       8       5       3       1       6       9               
359     359     1       469     2679    2469    8       3457    457     


[Leren]

Code: Select all

*----------------------------------------------------------*
| 125789 a589   67  | 3469 23689 24689 | 2579  5789a 15678 |
|a289    a489   46  | 7    1     5     |b239bB 389a  68    |
| 125789 a589   3   | 69   2689  2689  | 4     5789a 15678 |
|-------------------+------------------+-------------------|
| 3789    2     47A | 5    3689  689   | 79A   1     478   |
| 6       1     89  | 2    4     7     | 59    589a  3     |
| 3789    389-4 5   | 139  389   189   | 6     4789a 2     |
|-------------------+------------------+-------------------|
| 3589    6     89  | 149  79    149   | 357   2     457   |
| 4       7     2   | 8    5     3     | 1     6     9     |
| 359     359   1   | 469  2679  2469  | 8     3457  457   |
*----------------------------------------------------------*

3 Petal Death Blossom: Stem Cell r2c7 {239};

 (4=2) r1c2, r2c12, r3c2 - (2) r2c7;

 (4=3) r12356c8          - (3) r2c7;

 (4=9) r4c37             - (9) r2c7; => - 4 r6c2; stte

Leren

[pjb]

Code: Select all

 125789 h589     67     | 3469   23689  24689  |f2579   5789   15678 
h289    h489     6-4    | 7      1      5      |g239    389    68     
 125789 h589     3      | 69     2689   2689   | 4      5789   15678 
------------------------+----------------------+---------------------
b3789    2      a47     | 5      3689   689    | 79     1      478   
 6       1      b89     | 2      4      7      | 59     589    3     
b3789   b389-4   5      | 139    389    189    | 6     c4789   2     
------------------------+----------------------+---------------------
 3589    6       89     | 149    79     149    |e357    2      457   
 4       7       2      | 8      5      3      | 1      6      9     
 359     359     1      | 469    2679   2469   | 8     d3457   457

(4=7)r4c3 - (7=4)r4c1, r5c3, r6c12 - (4)r6c8 = (4-3)r9c8 = (3-7)r7c7 = (7-2)r1c7 = (2)r2c7 - (2=4)r1c2, r2c12, r3c2 => -4 r2c3, r6c2; stte

Phil

[SteveG48]

Code: Select all

 *-----------------------------------------------------------------------------*
 | 125789 b589     67      | 3469    23689   24689   | 2579    5789    15678   |
 |b289    b489    b46      | 7       1       5       |c239     389     68      |
 | 125789 b589     3       | 69      2689    2689    | 4       5789    15678   |
 *-------------------------+-------------------------+-------------------------|
 | 3789    2     ab47      | 5       3689    689     |c79      1       78-4    |
 | 6       1       89      | 2       4       7       |c59      589     3       |
 | 3789    3489    5       | 139     389     189     | 6       4789    2       |
 *-------------------------+-------------------------+-------------------------|
 | 3589    6       89      | 149     79      149     |d357     2      e457     |
 | 4       7       2       | 8       5       3       | 1       6       9       |
 | 359     359     1       | 469     2679    2469    | 8       3457   e457     |
 *-----------------------------------------------------------------------------*


4r4c3 = 7r4c3&(45892)b1p24568 - (2|7=935)r245c7 - (3|5=7)r7c7 - (7=54)r79c9 => -4 r4c9 ; ste

[P.O.]

Code: Select all

7r4c3 => r13c1 <> 1
 r4c3=7 - r4n4{c3 c9} - 57r79c9 - c7n7{r7 r1} - b1n7{r1c1 r3c1} - r3n2{c1 c56} - r1n2{c56 c1}
                                                    |                                |
                                                 r3c1<>1                          r1c1<>1
=> r4c3 <>7
ste.


[rjamil]

Here's my solution path with POM/Templates moves (upto triple-digit POM):

5 @ r4c4; 1 @ r5c2; 2 @ r6c9; 2 @ r8c3; 1 @ r8c7; 6 @ r8c8; 7 @ r8c2;

Code: Select all

 +---------------------+--------------------+---------------------+
 | 125789  4589  46789 | 3469  23689  24689 | 23579  35789  15678 |
 | 289     489   4689  | 7     1      5     | 239    389    68    |
 | 125789  589   3     | 69    2689   2689  | 4      5789   15678 |
 +---------------------+--------------------+---------------------+
 | 3789    2     4789  | 5     3689   689   | 79     1      478   |
 | 6       1     89    | 2     4      7     | 59     589    3     |
 | 3789    3489  5     | 139   389    189   | 6      4789   2     |
 +---------------------+--------------------+---------------------+
 | 3589    6     89    | 149   79     149   | 357    2      457   |
 | 4       7     2     | 8     5      3     | 1      6      9     |
 | 359     359   1     | 469   2679   2469  | 8      3457   457   |
 +---------------------+--------------------+---------------------+

VT# (4 6 5 6 15 12 9 54 422)
S-d POM: 3 @ r1c4578 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
Digit 3 not in 5 Templates => -3 @ r1c7 r1c8;

S-d POM: 4 @ r1c2346 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 4 not in 6 Templates => -4 @ r1c2 r1c3;

S-d POM: 7 @ r1c13789 r2c4 r3c189 r4c1379 r5c6 r6c18 r7c579 r8c2 r9c589
Digit 7 not in 9 Templates => -7 @ r1c8;

Code: Select all

 +--------------------+--------------------+-------------------+
 | 125789  589   6789 | 3469  23689  24689 | 2579  589   15678 |
 | 289     489   4689 | 7     1      5     | 239   389   68    |
 | 125789  589   3    | 69    2689   2689  | 4     5789  15678 |
 +--------------------+--------------------+-------------------+
 | 3789    2     4789 | 5     3689   689   | 79    1     478   |
 | 6       1     89   | 2     4      7     | 59    589   3     |
 | 3789    3489  5    | 139   389    189   | 6     4789  2     |
 +--------------------+--------------------+-------------------+
 | 3589    6     89   | 149   79     149   | 357   2     457   |
 | 4       7     2    | 8     5      3     | 1     6     9     |
 | 359     359   1    | 469   2679   2469  | 8     3457  457   |
 +--------------------+--------------------+-------------------+

D-d POM: 8 @ r1c1235689 r2c12389 r3c125689 r4c13569 r5c38 r6c12568 r7c13 r8c4 r9c7
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
Digit 8 not in 50 Templates => -8 @ r2c8;

D-d POM: 8 @ r1c1235689 r2c1239 r3c125689 r4c13569 r5c38 r6c12568 r7c13 r8c4 r9c7
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 8 not in 46 Templates => -8 @ r1c8 r3c8 r4c9;

Code: Select all

 +--------------------+--------------------+-------------------+
 | 125789  589   6789 | 3469  23689  24689 | 2579  59    15678 |
 | 289     489   4689 | 7     1      5     | 239   39    68    |
 | 125789  589   3    | 69    2689   2689  | 4     579   15678 |
 +--------------------+--------------------+-------------------+
 | 3789    2     4789 | 5     3689   689   | 79    1     47    |
 | 6       1     89   | 2     4      7     | 59    589   3     |
 | 3789    3489  5    | 139   389    189   | 6     4789  2     |
 +--------------------+--------------------+-------------------+
 | 3589    6     89   | 149   79     149   | 357   2     457   |
 | 4       7     2    | 8     5      3     | 1     6     9     |
 | 359     359   1    | 469   2679   2469  | 8     3457  457   |
 +--------------------+--------------------+-------------------+

T-d POM: 2 @ r1c1567 r2c17 r3c156 r4c2 r5c4 r6c9 r7c8 r8c3 r9c56
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 2 not in 5 Templates => -2 @ r1c6;

T-d POM: 5 @ r1c12789 r2c6 r3c1289 r4c4 r5c78 r6c3 r7c179 r8c5 r9c1289
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
and POM: 8 @ r1c123569 r2c1239 r3c12569 r4c1356 r5c38 r6c12568 r7c13 r8c4 r9c7
Digit 5 not in 10 Templates => -5 @ r7c7;

T-d POM: 6 @ r1c34569 r2c39 r3c4569 r4c56 r5c1 r6c7 r7c2 r8c8 r9c456
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 6 not in 11 Templates => -6 @ r1c6;

T-d POM: 7 @ r1c1379 r2c4 r3c189 r4c1379 r5c6 r6c18 r7c579 r8c2 r9c589
and POM: 1 @ r1c19 r2c5 r3c19 r4c8 r5c2 r6c46 r7c46 r8c7 r9c3
and POM: 2 @ r1c157 r2c17 r3c156 r4c2 r5c4 r6c9 r7c8 r8c3 r9c56
Digit 7 not in 7 Templates => -7 @ r1c7;

T-d POM: 7 @ r1c139 r2c4 r3c189 r4c1379 r5c6 r6c18 r7c579 r8c2 r9c589
and POM: 1 @ r1c19 r2c5 r3c19 r4c8 r5c2 r6c46 r7c46 r8c7 r9c3
and POM: 6 @ r1c3459 r2c39 r3c4569 r4c56 r5c1 r6c7 r7c2 r8c8 r9c456
Digit 7 not in 5 Templates => -7 @ r4c1 r9c8;

T-d POM: 7 @ r1c139 r2c4 r3c189 r4c379 r5c6 r6c18 r7c579 r8c2 r9c59
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 7 not in 3 Templates => -7 @ r1c1 r1c9 r3c1 r3c9 r4c3 r6c8
Digit 7 in all 3 Templates => 7 @ r1c3 r3c8 r6c1;

T-d POM: 8 @ r1c12569 r2c1239 r3c12569 r4c1356 r5c38 r6c2568 r7c13 r8c4 r9c7
and POM: 1 @ r1c19 r2c5 r3c19 r4c8 r5c2 r6c46 r7c46 r8c7 r9c3
and POM: 6 @ r1c459 r2c39 r3c4569 r4c56 r5c1 r6c7 r7c2 r8c8 r9c456
Digit 8 not in 16 Templates => -8 @ r1c9 r2c1 r2c2 r2c3 r3c9
Digit 8 in all 16 Templates => 8 @ r2c9;

T-d POM: 8 @ r1c1256 r2c9 r3c1256 r4c1356 r5c38 r6c2568 r7c13 r8c4 r9c7
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 8 not in 12 Templates => -8 @ r1c6;

T-d POM: 8 @ r1c125 r2c9 r3c1256 r4c1356 r5c38 r6c2568 r7c13 r8c4 r9c7
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
and POM: 6 @ r1c459 r2c3 r3c4569 r4c56 r5c1 r6c7 r7c2 r8c8 r9c456
Digit 8 not in 6 Templates => -8 @ r4c3 r5c3 r6c8 r7c1
Digit 8 in all 6 Templates => 8 @ r5c8 r7c3;

T-d POM: 9 @ r1c1245678 r2c12378 r3c12456 r4c13567 r5c37 r6c24568 r7c1456 r8c9 r9c12456
and POM: 1 @ r1c19 r2c5 r3c19 r4c8 r5c2 r6c46 r7c46 r8c7 r9c3
and POM: 5 @ r1c12789 r2c6 r3c129 r4c4 r5c7 r6c3 r7c19 r8c5 r9c1289
Digit 9 not in 84 Templates => -9 @ r2c3 r4c1 r4c3 r5c7 r6c2;

T-d POM: 9 @ r1c1245678 r2c1278 r3c12456 r4c567 r5c3 r6c4568 r7c1456 r8c9 r9c12456
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 9 not in 55 Templates => -9 @ r1c6;

T-d POM: 9 @ r1c124578 r2c1278 r3c12456 r4c567 r5c3 r6c4568 r7c1456 r8c9 r9c12456
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
and POM: 6 @ r1c459 r2c3 r3c4569 r4c56 r5c1 r6c7 r7c2 r8c8 r9c456
Digit 9 not in 36 Templates => -9 @ r1c7 r2c2 r2c7 r4c5 r4c6 r6c8
Digit 9 in all 36 Templates => 9 @ r4c7;

T-d POM: 9 @ r1c12458 r2c18 r3c12456 r4c7 r5c3 r6c456 r7c1456 r8c9 r9c12456
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
and POM: 7 @ r1c3 r2c4 r3c8 r4c9 r5c6 r6c1 r7c579 r8c2 r9c59
Digit 9 not in 33 Templates => -9 @ r9c5; stte

R. Jamil

[P.O.]

hi R.Jamil
my resolution with templates is similar to yours
it’s too bad you don’t update the grid after each group of eliminations or placements because then your solution path would be much shorter
you could have stopped after that:

Code: Select all

T-d POM: 7 @ r1c139 r2c4 r3c189 r4c379 r5c6 r6c18 r7c579 r8c2 r9c59
and POM: 3 @ r1c45 r2c78 r3c3 r4c15 r5c9 r6c1245 r7c17 r8c6 r9c128
and POM: 4 @ r1c46 r2c23 r3c7 r4c39 r5c5 r6c28 r7c469 r8c1 r9c4689
Digit 7 not in 3 Templates => -7 @ r1c1 r1c9 r3c1 r3c9 r4c3 r6c8


the minimum number of size 3 combinations i found to solve the puzzle is two: (3 4 7) (1 2 7)

Hidden Text: Show

Code: Select all

............715.....3...4...2.....1.6..247..3..5...6...6.....2.4..853..9..1...8..
#VT: (4 6 5 6 15 12 9 54 422)
Cells: nil nil nil nil nil nil nil nil nil
Candidates: nil nil (7 8) (2 3) nil nil (8) nil nil

125789  589     6789    3469    23689   24689   2579    589     15678           
289     489     4689    7       1       5       239     389     68               
125789  589     3       69      2689    2689    4       5789    15678           
3789    2       4789    5       3689    689     79      1       478             
6       1       89      2       4       7       59      589     3               
3789    3489    5       139     389     189     6       4789    2               
3589    6       89      149     79      149     357     2       457             
4       7       2       8       5       3       1       6       9               
359     359     1       469     2679    2469    8       3457    457             
177 candidates. 30 values.


1: (3 4 7)   34 instances

#VT: (4 6 5 6 15 12 6 54 422)
Cells: nil nil nil nil nil nil nil nil nil
Candidates: nil nil nil nil nil nil (1 9 28) nil nil

2: (1 2 7)   40 instances

#VT: (4 6 5 6 15 12 4 54 422)
Cells: nil nil nil nil nil nil (3 46) nil nil
SetVC: ( n7r1c3   n7r6c1   n6r2c3   n8r2c9   n4r4c3   n4r2c2   n7r4c9   n9r4c7   n5r5c7   n8r5c8
         n4r6c8   n2r1c7   n3r2c7   n9r2c8   n9r5c3   n8r7c3   n7r7c7   n5r1c8   n2r2c1   n7r3c8
         n9r7c5   n3r9c8   n3r7c1   n3r6c2   n5r7c9   n7r9c5   n8r4c1   n6r4c6   n8r6c5   n4r9c9
         n3r4c5   n6r9c4   n2r9c6   n6r1c5   n1r1c9   n9r3c4   n2r3c5   n8r3c6   n6r3c9   n1r6c4
         n9r6c6   n4r7c4   n1r7c6   n9r1c1   n8r1c2   n3r1c4   n4r1c6   n5r3c2   n5r9c1   n9r9c2
         n1r3c1 )
9 8 7   3 6 4   2 5 1
2 4 6   7 1 5   3 9 8
1 5 3   9 2 8   4 7 6
8 2 4   5 3 6   9 1 7
6 1 9   2 4 7   5 8 3
7 3 5   1 8 9   6 4 2
3 6 8   4 9 1   7 2 5
4 7 2   8 5 3   1 6 9
5 9 1   6 7 2   8 3 4


[rjamil]

Hi P.O.,

Many thanks for your confirmation on correctness of my POM solution.

Actually, I programmed my solver for bulk puzzle to solve in speed. However, after adding triple-digit POM routine, program gives some unknown errors. But, this time, I tested again the same with only one puzzle to solve, and, surprisingly the result received correct.

Basically, I wrote my program in BFS method for all logics for speed. But, for POM, I uses DFS method.

R. Jamil