The New Sudoku Players' Forum

[m_b_metcalf]

I mean to find the pearl puzzle of the difficulty specified by the user.
The way I check whether the puzzle is just one cell is also different from yours. I traverse the pencil mark of each cell to blast the pruning, so I don’t need to get all the solutions.

OK, thanks. One last contribution:

Code: Select all

 . . . . . . . . .
 . . 3 6 . 1 7 . .
 . 1 5 7 . 4 6 3 .
 . 2 4 . . . 8 7 .
 . . . . . . . . .
 . 3 6 . . . 1 4 .
 . 4 2 1 . 7 5 6 .
 . . 1 2 . 5 4 . .
 . . . . . . . . .  No. of givens =  28

Mike

[yzfwsf]

Code: Select all

 . . . . . . . . .
 . . 3 6 . 1 7 . .
 . 1 5 7 . 4 6 3 .
 . 2 4 . . . 8 7 .
 . . . . . . . . .
 . 3 6 . . . 1 4 .
 . 4 2 1 . 7 5 6 .
 . . 1 2 . 5 4 . .
 . . . . . . . . .  No. of givens =  28

Mike

Output from my solver:
Unique Puzzle; ER/EP/ED=9.3/9.3/7.7 380.9 ms

Hidden Text: Show

Code: Select all

Empty Rectangle : 3 in b8 connected by c7 => r5c5 <> 3
Finned Swordfish:8r367\c159 fr6c46 => r5c5<>8
Finned Swordfish:9r346\c159 fr46c46 => r5c5<>9
Finned Swordfish:9r347\c159 fr4c46 => r6c5<>9
Finned Swordfish:9r367\c159 fr6c46 => r4c5<>9
Finned Swordfish:9c347\r159 fr46c4 => r5c6<>9
Finned Swordfish:9c367\r159 fr46c6 => r5c4<>9
Finned Franken Swordfish: 9c37b8\r159 fr78c5  => r1c5<>9
Finned Franken Swordfish: 9r37b6\c159 fr5c78  => r5c1<>9
Finned Franken Swordfish: 9r37b4\c159 fr5c23  => r5c9<>9
Finned Franken Swordfish: 9c37b2\r159 fr23c5  => r9c5<>9
Franken Jellyfish: 9r3467\c159b5   => r1289c19,r28c5<>9
X-Wing:9r28\c28  => r159c28<>9
WXYZ-Wing: 2589 in r25c8,r1c7,r3c9,Pivot Cell Is r2c8 => r1c8<>2
Dynamic Contradiction Chain: If r1c1=2 Then r8c2=8 And r8c2<>8 simultaneously,so r1c1<>2
Chain 3:r1c1=2 → r1c1<>4 → r1c9=4 → r1c9<>1 → r9c9=1 → r9c9<>7 → r8c9=7 → r8c2<>7
Chain 2:r1c1=2 → r1c1<>6 → r1c2=6 → r8c2<>6
Chain 1:r1c1=2 → r1c7<>2 → r1c7=9 → r2c8<>9 → r2c2=9 → r8c2<>9
Chain 0:(r8c2<>9+r8c2<>6+r8c2<>7)  →  r8c2=8
Chain 8:r1c1=2 → r1c1<>6 → r1c2=6 → r1c2<>7
Chain 7:r1c1=2 → r1c1<>7
Chain 6:r1c1=2 → r1c7<>2 → r1c7=9 → r5c7<>9 → r5c3=9 → r5c3<>8
Chain 5:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r1c3<>8
Chain 4:(r1c3<>8+r5c3<>8)  →  r9c3=8 → r8c2<>8
Dynamic Contradiction Chain: If r1c9=2 Then r9c3=8 And r9c3<>8 simultaneously,so r1c9<>2
Chain 5:r1c9=2 → r1c9<>4 → r1c1=4
Chain 4:r1c1=4 → r1c1<>6 → r1c2=6 → r1c2<>7
Chain 3:r1c1=4 → r1c1<>7
Chain 2:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r1c3<>8
Chain 1:r1c9=2 → r1c7<>2 → r1c7=9 → r5c7<>9 → r5c3=9 → r5c3<>8
Chain 0:(r5c3<>8+r1c3<>8)  →  r9c3=8
Chain 12:r1c9=2 → r1c7<>2 → r1c7=9
Chain 11:r1c7=9 → r3c9<>9
Chain 10:r1c9=2 → r3c9<>2
Chain 9:(r3c9<>2+r3c9<>9)  →  r3c9=8 → r2c8<>8
Chain 8:r1c9=2 → r1c9<>1 → r1c8=1 → r1c8<>8
Chain 7:r1c7=9 → r2c8<>9 → r8c8=9 → r8c8<>8
Chain 6:(r8c8<>8+r1c8<>8+r2c8<>8)  →  r9c8=8 → r9c3<>8
Dynamic Contradiction Chain: If r1c9=8 Then r7c1=9 And r7c1<>9 simultaneously,so r1c9<>8
Chain 13:r1c9<>4 → r2c9=4 → r2c9<>5
Chain 12:r1c9<>1 → r1c8=1 → r1c8<>5
Chain 11:r1c9=8 → r1c9<>5
Chain 10:r1c9=8 → r1c9<>1
Chain 9:r1c9=8 → r1c9<>4
Chain 8:(r1c9<>5+r1c8<>5+r2c9<>5)  →  r2c8=5 → r2c8<>9
Chain 7:r2c8<>9 → r8c8=9 → r7c9<>9
Chain 6:r1c9=8 → r7c9<>8
Chain 5:r2c8<>9 → r2c2=9 → r8c2<>9
Chain 4:r1c9<>4 → r1c1=4 → r1c1<>6 → r1c2=6 → r8c2<>6
Chain 3:r1c9<>1 → r9c9=1 → r9c9<>7 → r8c9=7 → r8c2<>7
Chain 2:(r8c2<>7+r8c2<>6+r8c2<>9)  →  r8c2=8 → r7c1<>8
Chain 1:(r7c9<>8+r7c9<>9)  →  r7c9=3 → r7c1<>3
Chain 0:(r7c1<>3+r7c1<>8)  →  r7c1=9
Chain 28:r1c9=8 → r1c9<>4
Chain 27:r1c9=8 → r1c9<>1
Chain 26:r1c1=4 → r1c1<>6 → r1c2=6
Chain 25:r1c9<>4 → r2c9=4 → r2c9<>5
Chain 24:r1c9<>1 → r1c8=1 → r1c8<>5
Chain 23:r1c9=8 → r1c9<>5
Chain 22:r1c9<>4 → r1c1=4
Chain 21:r1c2=6 → r1c2<>7
Chain 20:r1c1=4 → r1c1<>7
Chain 19:(r1c9<>5+r1c8<>5+r2c9<>5)  →  r2c8=5 → r2c8<>9 → r2c2=9 → r8c2<>9
Chain 18:r1c2=6 → r8c2<>6
Chain 17:r1c9<>1 → r9c9=1 → r9c9<>7 → r8c9=7 → r8c2<>7
Chain 16:(r8c2<>7+r8c2<>6+r8c2<>9)  →  r8c2=8 → r9c3<>8
Chain 15:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r9c3<>7
Chain 14:(r9c3<>7+r9c3<>8)  →  r9c3=9 → r7c1<>9
Dynamic Contradiction Chain: If r2c8=2 Then r2c1=8 And r2c1<>8 simultaneously,so r2c8<>2
Chain 15:r2c8=2 → r1c7<>2 → r1c7=9
Chain 14:r1c7=9 → r1c6<>9
Chain 13:r1c7=9 → r1c4<>9
Chain 12:(r1c4<>9+r1c6<>9)  →  r3c5=9 → r7c5<>9
Chain 11:r2c8<>9 → r8c8=9 → r7c9<>9
Chain 10:r1c7=9 → r3c9<>9
Chain 9:r2c8=2 → r3c9<>2
Chain 8:(r3c9<>2+r3c9<>9)  →  r3c9=8
Chain 7:r2c8=2 → r2c8<>9
Chain 6:(r7c9<>9+r7c5<>9)  →  r7c1=9 → r7c1<>8
Chain 5:r3c9=8 → r7c9<>8
Chain 4:(r7c9<>8+r7c1<>8)  →  r7c5=8 → r2c5<>8
Chain 3:r2c8<>9 → r2c2=9 → r2c2<>8
Chain 2:r2c8=2 → r2c8<>8
Chain 1:r3c9=8 → r2c9<>8
Chain 0:(r2c9<>8+r2c8<>8+r2c2<>8+r2c5<>8)  →  r2c1=8
Chain 24:r1c7=9 → r3c9<>9
Chain 23:r2c8=2 → r3c9<>2
Chain 22:r2c8=2 → r1c7<>2 → r1c7=9
Chain 21:(r3c9<>2+r3c9<>9)  →  r3c9=8 → r1c8<>8
Chain 20:r2c8=2 → r2c8<>8
Chain 19:r2c8=2 → r2c8<>9 → r8c8=9 → r8c8<>8
Chain 18:(r8c8<>8+r2c8<>8+r1c8<>8)  →  r9c8=8 → r9c3<>8
Chain 17:r1c7=9 → r5c7<>9 → r5c3=9 → r5c3<>8
Chain 16:(r5c3<>8+r9c3<>8)  →  r1c3=8 → r2c1<>8
Finned Swordfish:2r236\c159 fr6c6 => r5c5<>2
Dynamic Contradiction Chain: If r2c9=2 Then r7c5=8 And r7c5<>8 simultaneously,so r2c9<>2
Chain 9:r1c7=9 → r1c6<>9
Chain 8:r1c7=9 → r1c4<>9
Chain 7:r2c9=2 → r1c7<>2 → r1c7=9
Chain 6:r1c7=9 → r3c9<>9
Chain 5:r2c9=2 → r3c9<>2
Chain 4:r1c7=9 → r2c8<>9 → r8c8=9 → r7c9<>9
Chain 3:(r1c4<>9+r1c6<>9)  →  r3c5=9 → r7c5<>9
Chain 2:(r7c5<>9+r7c9<>9)  →  r7c1=9 → r7c1<>8
Chain 1:(r3c9<>2+r3c9<>9)  →  r3c9=8 → r7c9<>8
Chain 0:(r7c9<>8+r7c1<>8)  →  r7c5=8
Chain 17:r2c9=2 → r1c7<>2 → r1c7=9
Chain 16:r1c7=9 → r3c9<>9
Chain 15:r2c9=2 → r3c9<>2
Chain 14:(r3c9<>2+r3c9<>9)  →  r3c9=8 → r2c8<>8
Chain 13:r2c9=2 → r2c9<>4 → r2c1=4 → r2c1<>8
Chain 12:r1c7=9 → r2c8<>9 → r2c2=9 → r2c2<>8
Chain 11:r2c9=2 → r2c9<>8
Chain 10:(r2c9<>8+r2c2<>8+r2c1<>8+r2c8<>8)  →  r2c5=8 → r7c5<>8
Region Forcing Chain: Each 2 in r9 true in turn will all lead r9c2<>6
2r9c7 - r1c7 = r3c9 - r3c1 = (2-4)r2c1 = (4-6)r1c1 = r1c2 - 6r9c2
2r9c8 - (2=5)r5c8 - r5c2 = (5-6)r9c2
(2-1)r9c9 = (1-4)r1c9 = (4-6)r1c1 = r1c2 - 6r9c2
Dynamic Verity Chain: If r1c1=4 Or r1c1<>4 all lead to r2c9<>8 So r2c9<>8
Chain 0:r1c1=4 → r1c9<>4 → r2c9=4 → r2c9<>8
Chain 6:r1c1<>4 → r2c1=4 → r2c1<>2
Chain 5:r2c1<>2 → r3c1=2 → r3c9<>2 → r1c7=2 → r9c7<>2
Chain 4:r1c1<>4 → r1c9=4 → r1c9<>1 → r9c9=1 → r9c9<>2
Chain 3:(r9c9<>2+r9c7<>2)  →  r9c8=2 → r5c8<>2 → r5c8=5 → r2c8<>5
Chain 2:r2c1<>2 → r2c5=2 → r2c5<>5
Chain 1:(r2c5<>5+r2c8<>5)  →  r2c9=5 → r2c9<>8
Sue de Coq: r12c8 - {1589} (r12c9 - {145}, r8c8 -{89}) =>  r9c8<>8
Dynamic Verity Chain: If r1c7=2 Or r1c7<>2 all lead to r5c7<>2 So r5c7<>2
Chain 0:r1c7=2 → r5c7<>2
Chain 16:r1c7=9 → r1c6<>9
Chain 15:r1c7=9 → r1c4<>9
Chain 14:(r1c4<>9+r1c6<>9)  →  r3c5=9 → r3c5<>8
Chain 13:r3c9=2 → r3c9<>8
Chain 12:(r3c9<>8+r3c5<>8)  →  r3c1=8
Chain 11:r1c7<>2 → r1c7=9
Chain 10:r3c1=8 → r6c1<>8
Chain 9:r3c1=8 → r5c1<>8
Chain 8:r1c7=9 → r5c7<>9 → r5c3=9 → r5c3<>8
Chain 7:r1c7<>2 → r3c9=2
Chain 6:(r5c3<>8+r5c1<>8+r6c1<>8)  →  r5c2=8 → r8c2<>8
Chain 5:r3c9=2 → r3c1<>2 → r2c1=2 → r2c1<>4 → r1c1=4 → r1c1<>6 → r1c2=6 → r8c2<>6
Chain 4:r1c7=9 → r2c8<>9 → r2c2=9 → r8c2<>9
Chain 3:(r8c2<>9+r8c2<>6+r8c2<>8)  →  r8c2=7 → r8c9<>7 → r9c9=7 → r9c9<>1 → r9c8=1 → r9c8<>2
Chain 2:r3c9=2 → r9c9<>2
Chain 1:(r9c9<>2+r9c8<>2)  →  r9c7=2 → r5c7<>2
Dynamic Contradiction Chain: If r3c1=9 Then r7c1=8 And r7c1<>8 simultaneously,so r3c1<>9
Chain 2:r3c1=9 → r2c2<>9 → r2c8=9 → r8c8<>9 → r8c8=8 → r7c9<>8
Chain 1:r3c1=9 → r3c5<>9 → r7c5=9 → r7c5<>8
Chain 0:(r7c5<>8+r7c9<>8)  →  r7c1=8
Chain 7:r3c1=9 → r6c1<>9
Chain 6:r3c1=9 → r4c1<>9
Chain 5:(r4c1<>9+r6c1<>9)  →  r5c3=9 → r5c3<>8
Chain 4:r3c1=9 → r2c2<>9 → r2c2=8 → r1c3<>8
Chain 3:(r1c3<>8+r5c3<>8)  →  r9c3=8 → r7c1<>8
Dual Empty Rectangle : 9 in b1 connected by r5,c8 => r9c7 <> 9
Almost Locked Set XY-Wing: A=r1236789c9{12345789}, B=r12c89,r3c9{124589}, C=r19c7{239}, X,Y=3, 9, Z=2 =>  r5c9<>2
Cell Forcing Chain: Each candidate in  r5c6 true in turn will all lead r4c9<>9
2r5c6 - r6c56 = r6c9 - r3c9 = (2-9)r1c7 = r5c7 - 9r4c9
3r5c6 - (3=9)r5c7 - 9r4c9
6r5c6 - r4c56 = (6-9)r4c9
8r5c6 - r5c23 = r56c1 - (8=2)r3c1 - r3c9 = (2-9)r1c7 = r5c7 - 9r4c9
Cell Forcing Chain: Each candidate in  r2c1 true in turn will all lead r5c6<>8
2r2c1 - (2=8)r3c1 - r6c1 = r5c123 - 8r5c6
4r2c1 - (4=5)r2c9 - r12c8 = (5-2)r5c8 = (2-8)r5c6
8r2c1 - r6c1 = r5c123 - 8r5c6
Almost Locked Set XY-Wing: A=r5c6789{23569}, B=r1236789c9{12345789}, C=r19c7{239}, X,Y=9, 3, Z=5 =>  r4c9<>5
Cell Forcing Chain: Each candidate in  r5c4 true in turn will all lead r9c5<>3
3r5c4 - r5c7 = r9c7 - 3r9c5
4r5c4 - r9c4 = (4-3)r9c5
5r5c4 - r5c89 = (5-9)r6c9 = (9-3)r5c7 = r9c7 - 3r9c5
8r5c4 - r5c23 = r56c1 - (8=2)r3c1 - r3c9 = r1c7 - (2=3)r9c7 - 3r9c5
Dynamic Verity Chain: If r1c7=2 Or r1c7<>2 all lead to r9c9<>3 So r9c9<>3
Chain 0:r1c7=2 → r9c7<>2 → r9c7=3 → r9c9<>3
Chain 8:r1c7<>2 → r1c7=9
Chain 7:r1c7=9 → r5c7<>9 → r5c3=9 → r5c3<>8
Chain 6:r3c1<>2 → r3c1=8 → r1c3<>8
Chain 5:r1c7<>2 → r3c9=2 → r3c1<>2
Chain 4:r3c1<>2 → r2c1=2 → r2c1<>4 → r1c1=4 → r1c1<>6 → r1c2=6 → r8c2<>6
Chain 3:(r1c3<>8+r5c3<>8)  →  r9c3=8 → r8c2<>8
Chain 2:r1c7=9 → r2c8<>9 → r8c8=9 → r8c2<>9
Chain 1:(r8c2<>9+r8c2<>8+r8c2<>6)  →  r8c2=7 → r8c9<>7 → r9c9=7 → r9c9<>3
Dynamic Verity Chain: If r1c7=2 Or r1c7<>2 all lead to r9c1<>3 So r9c1<>3
Chain 0:r1c7=2 → r9c7<>2 → r9c7=3 → r9c1<>3
Chain 18:r1c7<>2 → r3c9=2
Chain 17:r3c9=2 → r3c1<>2 → r3c1=8
Chain 16:r1c7<>2 → r1c7=9 → r5c7<>9
Chain 15:r5c7<>9 → r6c9=9 → r6c9<>5
Chain 14:r5c8=2 → r5c8<>5
Chain 13:r1c7<>2 → r9c7=2 → r9c7<>3 → r5c7=3
Chain 12:r5c7<>9 → r5c3=9 → r5c3<>8
Chain 11:r3c1=8 → r5c1<>8
Chain 10:r3c1=8 → r6c1<>8
Chain 9:r3c9=2 → r6c9<>2 → r5c8=2
Chain 8:r5c7=3 → r5c6<>3
Chain 7:r5c8=2 → r5c6<>2
Chain 6:(r6c1<>8+r5c1<>8+r5c3<>8)  →  r5c2=8 → r5c4<>8
Chain 5:r5c7=3 → r5c4<>3
Chain 4:(r5c8<>5+r6c9<>5)  →  r5c9=5 → r5c4<>5
Chain 3:(r5c4<>5+r5c4<>3+r5c4<>8)  →  r5c4=4 → r5c5<>4 → r9c5=4 → r9c5<>6
Chain 2:(r5c6<>2+r5c6<>3)  →  r5c6=6 → r9c6<>6
Chain 1:(r9c6<>6+r9c5<>6)  →  r9c1=6 → r9c1<>3
Grouped AIC Type 1: 3r8c1 = (3-9)r7c1 = r46c1 - r5c3 = (9-3)r5c7 = 3r9c7 => r8c9<>3
Almost Locked Set XZ-Rule: A=r8c2589 {36789},B=r9c123456 {3456789}, X=3, Z=7 => r8c1<>7
Dynamic Contradiction Chain: If r4c5=6 Then r1c8=5 And r1c8<>5 simultaneously,so r4c5<>6
Chain 16:r4c5<>1 → r4c1=1 → r4c1<>5
Chain 15:r4c5=6 → r4c5<>5
Chain 14:r4c9=3 → r4c6<>3
Chain 13:r4c5=6 → r4c9<>6 → r4c9=3
Chain 12:r4c5=6 → r4c5<>1
Chain 11:r4c5=6 → r5c6<>6
Chain 10:r4c5=6 → r4c6<>6
Chain 9:(r4c6<>6+r4c6<>3)  →  r4c6=9 → r6c4<>9
Chain 8:(r4c5<>5+r4c1<>5)  →  r4c4=5 → r6c4<>5
Chain 7:(r6c4<>5+r6c4<>9)  →  r6c4=8 → r6c6<>8
Chain 6:(r4c6<>6+r5c6<>6)  →  r9c6=6 → r9c6<>8
Chain 5:r4c5<>1 → r5c5=1 → r5c5<>4 → r5c4=4 → r5c4<>3
Chain 4:r4c9=3 → r5c7<>3
Chain 3:r4c9=3 → r5c9<>3
Chain 2:(r5c9<>3+r5c7<>3+r5c4<>3)  →  r5c6=3 → r5c6<>2 → r5c8=2 → r9c8<>2 → r9c8=1 → r1c8<>1
Chain 1:(r9c6<>8+r6c6<>8)  →  r1c6=8 → r1c8<>8
Chain 0:(r1c8<>8+r1c8<>1)  →  r1c8=5
Chain 35:r4c5<>1 → r4c1=1 → r4c1<>5
Chain 34:r4c5=6 → r4c5<>5
Chain 33:r4c9=3 → r4c6<>3
Chain 32:r4c5=6 → r5c6<>6
Chain 31:r4c5=6 → r4c6<>6
Chain 30:(r4c6<>6+r4c6<>3)  →  r4c6=9 → r6c4<>9
Chain 29:(r4c5<>5+r4c1<>5)  →  r4c4=5 → r6c4<>5
Chain 28:r4c5=6 → r4c9<>6 → r4c9=3
Chain 27:r4c5=6 → r4c5<>1
Chain 26:r9c7=3 → r9c4<>3
Chain 25:r4c9=3 → r4c4<>3
Chain 24:r4c5<>1 → r5c5=1 → r5c5<>4 → r5c4=4 → r5c4<>3
Chain 23:r4c9=3 → r5c7<>3 → r9c7=3
Chain 22:(r6c4<>5+r6c4<>9)  →  r6c4=8 → r6c6<>8
Chain 21:(r4c6<>6+r5c6<>6)  →  r9c6=6 → r9c6<>8
Chain 20:(r9c6<>8+r6c6<>8)  →  r1c6=8 → r1c5<>8
Chain 19:r9c7=3 → r9c7<>2 → r1c7=2 → r1c5<>2
Chain 18:(r5c4<>3+r4c4<>3+r9c4<>3)  →  r1c4=3 → r1c5<>3
Chain 17:(r1c5<>3+r1c5<>2+r1c5<>8)  →  r1c5=5 → r1c8<>5
Dynamic Contradiction Chain: If r5c1=5 Then r9c1=6 And r9c1<>6 simultaneously,so r5c1<>5
Chain 6:r5c1=5 → r5c1<>1 → r5c5=1
Chain 5:r5c5=1 → r5c5<>4 → r9c5=4 → r9c5<>6
Chain 4:r5c5=1 → r5c5<>6
Chain 3:(r5c5<>6+r9c5<>6)  →  r8c5=6
Chain 2:r8c5=6 → r8c2<>6
Chain 1:r8c5=6 → r8c1<>6
Chain 0:(r8c1<>6+r8c2<>6)  →  r9c1=6
Chain 12:r5c1=5 → r5c9<>5
Chain 11:r5c1=5 → r5c8<>5
Chain 10:(r5c8<>5+r5c9<>5)  →  r6c9=5 → r2c9<>5 → r2c9=4 → r1c9<>4 → r1c1=4 → r1c1<>7
Chain 9:r5c1=5 → r5c1<>7
Chain 8:r5c1=5 → r5c1<>1 → r5c5=1 → r5c5<>7 → r6c5=7 → r6c1<>7
Chain 7:(r6c1<>7+r5c1<>7+r1c1<>7)  →  r9c1=7 → r9c1<>6
Dynamic Verity Chain: If r4c1=1 Or r4c1<>1 all lead to r5c1<>8 So r5c1<>8
Chain 12:r4c1=1 → r4c5<>1 → r5c5=1
Chain 11:r5c5=1 → r5c5<>4 → r9c5=4 → r9c5<>6
Chain 10:r5c5=1 → r5c5<>6
Chain 9:(r5c5<>6+r9c5<>6)  →  r8c5=6
Chain 8:r8c5=6 → r8c2<>6
Chain 7:r8c5=6 → r8c1<>6
Chain 6:(r8c1<>6+r8c2<>6)  →  r9c1=6 → r9c1<>5
Chain 5:r4c1=1 → r4c1<>5
Chain 4:(r4c1<>5+r9c1<>5)  →  r6c1=5 → r6c1<>9
Chain 3:r4c1=1 → r4c1<>9
Chain 2:(r4c1<>9+r6c1<>9)  →  r5c3=9 → r5c7<>9 → r1c7=9 → r1c7<>2 → r3c9=2 → r3c9<>8
Chain 1:(r4c1<>9+r6c1<>9)  →  r7c1=9 → r7c5<>9 → r3c5=9 → r3c5<>8
Chain 0:(r3c5<>8+r3c9<>8)  →  r3c1=8 → r5c1<>8
Chain 13:r4c1<>1 → r5c1=1 → r5c1<>8
Dynamic Verity Chain: If r4c1=1 Or r4c1<>1 all lead to r4c5<>5 So r4c5<>5
Chain 28:r4c1=1 → r4c1<>5
Chain 27:r8c5=6 → r8c2<>6
Chain 26:r8c5=6 → r8c1<>6
Chain 25:r9c5=4 → r9c5<>6
Chain 24:r5c5=1 → r5c5<>6
Chain 23:r7c1=9 → r9c3<>9
Chain 22:r4c1=1 → r4c5<>1 → r5c5=1
Chain 21:(r8c1<>6+r8c2<>6)  →  r9c1=6 → r9c1<>5
Chain 20:r4c1=1 → r5c1<>1 → r5c1=7
Chain 19:r8c2<>6 → r1c2=6 → r1c2<>7
Chain 18:r5c1=7 → r1c1<>7
Chain 17:(r4c1<>5+r9c1<>5)  →  r6c1=5 → r6c1<>9
Chain 16:r4c1=1 → r4c1<>9
Chain 15:(r4c1<>9+r6c1<>9)  →  r7c1=9
Chain 14:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r9c3<>7
Chain 13:r5c1=7 → r9c1<>7
Chain 12:r9c1<>5 → r9c2=5 → r9c2<>7
Chain 11:r5c5=1 → r5c5<>4 → r9c5=4
Chain 10:(r9c3<>7+r9c3<>9)  →  r9c3=8
Chain 9:(r5c5<>6+r9c5<>6)  →  r8c5=6
Chain 8:r9c3=8 → r9c6<>8
Chain 7:r8c5=6 → r8c5<>8
Chain 6:r9c3=8 → r9c4<>8
Chain 5:r9c5=4 → r9c5<>8
Chain 4:(r9c2<>7+r9c1<>7+r9c3<>7)  →  r9c9=7 → r8c9<>7 → r8c9=8 → r3c9<>8
Chain 3:r7c1=9 → r7c5<>9 → r3c5=9 → r3c5<>8
Chain 2:(r3c5<>8+r3c9<>8)  →  r3c1=8 → r3c1<>2 → r2c1=2 → r2c5<>2
Chain 1:(r9c5<>8+r9c4<>8+r8c5<>8+r9c6<>8)  →  r7c5=8 → r2c5<>8
Chain 0:(r2c5<>8+r2c5<>2)  →  r2c5=5 → r4c5<>5
Chain 29:r4c1<>1 → r4c5=1 → r4c5<>5
Dynamic Contradiction Chain: If r5c2=5 Then r9c5=4 And r9c5<>4 simultaneously,so r5c2<>5
Chain 12:r5c2=5 → r5c9<>5
Chain 11:r5c2=5 → r5c8<>5
Chain 10:r5c2=5 → r6c1<>5
Chain 9:r5c2=5 → r4c1<>5
Chain 8:(r5c8<>5+r5c9<>5)  →  r6c9=5 → r2c9<>5 → r2c9=4 → r1c9<>4 → r1c1=4
Chain 7:r1c1<>6 → r1c2=6 → r1c2<>7
Chain 6:r1c1=4 → r1c1<>7
Chain 5:r1c1=4 → r1c1<>6
Chain 4:(r4c1<>5+r6c1<>5)  →  r9c1=5 → r9c1<>6
Chain 3:(r9c1<>6+r1c1<>6)  →  r8c1=6 → r8c1<>3 → r8c5=3 → r4c5<>3 → r4c5=1 → r4c1<>1 → r5c1=1 → r5c1<>7
Chain 2:r5c2=5 → r5c2<>7
Chain 1:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r5c3<>7
Chain 0:(r5c3<>7+r5c2<>7+r5c1<>7)  →  r5c5=7 → r5c5<>4 → r9c5=4
Chain 28:r5c2=5 → r5c9<>5
Chain 27:r5c2=5 → r5c8<>5
Chain 26:r5c2=5 → r6c1<>5
Chain 25:r5c2=5 → r4c1<>5
Chain 24:(r5c8<>5+r5c9<>5)  →  r6c9=5 → r2c9<>5 → r2c9=4 → r1c9<>4 → r1c1=4
Chain 23:r1c1<>6 → r1c2=6 → r1c2<>7
Chain 22:r1c1=4 → r1c1<>7
Chain 21:r1c1=4 → r1c1<>6
Chain 20:(r4c1<>5+r6c1<>5)  →  r9c1=5 → r9c1<>6
Chain 19:(r9c1<>6+r1c1<>6)  →  r8c1=6
Chain 18:r8c1=6 → r8c1<>3 → r8c5=3 → r4c5<>3 → r4c5=1 → r4c1<>1 → r5c1=1 → r5c1<>7
Chain 17:r5c2=5 → r5c2<>7
Chain 16:(r1c1<>7+r1c2<>7)  →  r1c3=7 → r5c3<>7
Chain 15:(r5c3<>7+r5c2<>7+r5c1<>7)  →  r5c5=7 → r5c5<>6
Chain 14:r8c1=6 → r8c5<>6
Chain 13:(r8c5<>6+r5c5<>6)  →  r9c5=6 → r9c5<>4
Hidden Single: 5 in c2 => r9c2=5


[m_b_metcalf]

Output from my solver:
Unique Puzzle; ER/EP/ED=9.3/9.3/7.7 380.9 ms

Code: Select all

Hidden Single: 5 in c2 => r9c2=5


Our methods clearly give the same result, but I don't understand how you obtain a full SE rating. As for timings, my code generates about six puzzles per second.

Mike

[yzfwsf]

Output from my solver:
Unique Puzzle; ER/EP/ED=9.3/9.3/7.7 380.9 ms

Code: Select all

Hidden Single: 5 in c2 => r9c2=5


Our methods clearly give the same result, but I don't understand how you obtain a full SE rating. As for timings, my code generates about six puzzles per second.

Mike

I modified part of the code of skfr so that it can rate sukaku and just one cell.
I randomly generate standard puzzles first, and then use the Top down method to generate just one cell. Due to the difficulty of controlling, I will frequently call skfr, so the generation of puzzles is really slow. Maybe provide standard puzzles to the generator like you to speed it up .