The New Sudoku Players' Forum

Website · by **denis_berthier** » Tue May 02, 2023 5:55 am

.

Code: Select all: +-------+-------+-------+ ! . . . ! . . 6 ! . . . ! ! 4 . 7 ! 1 . 9 ! . . . ! ! 6 . 9 ! 7 3 . ! . 1 . ! +-------+-------+-------+ ! 2 . . ! 9 . 1 ! . . . ! ! 5 . 8 ! . . 3 ! . . . ! ! 7 . . ! . . . ! 3 4 . ! +-------+-------+-------+ ! . 7 . ! 6 . . ! 1 9 . ! ! . . . ! . . 7 ! 6 . 3 ! ! . 6 . ! 3 . . ! . 7 4 ! +-------+-------+-------+ .....6...4.71.9...6.973..1.2..9.1...5.8..3...7.....34..7.6..19......76.3.6.3...74;12647;283071 SER = 10.4

Out of an old habit, I continue writing the SER with every puzzle, but for puzzles in T&E(3) I haven't seen any correlation between their SER and their difficulty when using impossible patterns to solve them.

Code: Select all: Resolution state after Singles and whips[1]: +----------------------+----------------------+----------------------+ ! 138 12358 1235 ! 2458 2458 6 ! 245789 2358 25789 ! ! 4 2358 7 ! 1 258 9 ! 258 23568 2568 ! ! 6 258 9 ! 7 3 2458 ! 2458 1 258 ! +----------------------+----------------------+----------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +----------------------+----------------------+----------------------+ ! 38 7 2345 ! 6 2458 2458 ! 1 9 258 ! ! 189 12458 1245 ! 2458 124589 7 ! 6 258 3 ! ! 189 6 125 ! 3 12589 258 ! 258 7 4 ! +----------------------+----------------------+----------------------+ 186 candidates.

by **totuan** » Wed May 03, 2023 5:49 am

Code: Select all: *-----------------------------------------------------------------------------* | 13-8 12358 1235 |#258+4 2458 6 | 79 #258+3 79 | | 4 2358 7 | 1 #258 9 |#258 23568 2568 | | 6 258 9 | 7 3 #258 | 4 1 #258 | |-------------------------+-------------------------+-------------------------| | 2 34 346 | 9 45678 1 | 578 568 5678 | | 5 149 8 | 24 2467 3 | 279 26 12679 | | 7 19 16 | 258 2568 258 | 3 4 125689 | |-------------------------+-------------------------+-------------------------| | 3-8 7 235 | 6 #258 4 | 1 9 #258 | |*19+8 1245-8 1245 |#258 *19 7 | 6 #258 3 | |*19+8 6 125 | 3 *19 #258 |#258 7 4 | *-----------------------------------------------------------------------------*

My path for this one:
Tridagon (258) # marked cells => (4)r1c4=(3)r1c8
01: UR (19)r89c15 * marked cells => (8)r89c1 => r17c1, r8c2<>8, r1c1=1, r7c1=3

Code: Select all: *-----------------------------------------------------------------------------* | 1 2358 *25+3 |*258+4 2458 6 | 79 258-3 79 | | 4 2358 7 | 1 *258 9 |*258 *2568+3 *2568 | | 6 *258 9 | 7 3 *258 | 4 1 *258A | |-------------------------+-------------------------+-------------------------| | 2 34 346 | 9 45678 1 | 578 568 5678 | | 5 149 8 | 24 2467 3 | 279 26 12679 | | 7 19 16 | 258 2568 258 | 3 4 125689 | |-------------------------+-------------------------+-------------------------| | 3 7 *25 | 6 *258 4 | 1 9 *258 | | 89 *25+14 1245 |*258 19 7 | 6 *258 3 | | 89 6 125 | 3 19 *258 | 258 7 4 | *-----------------------------------------------------------------------------*

Impossible pattern (258) * marked cells (like twin at B3) => (3)r1c3,r2c8=(4)r1c4=(4)r8c2=(1)r8c2
Tridagon (258) => (4)r1c4=(3)r1c8
Combination of Tridagon & Impossible pattern:
02: Present as diagram: => r1c4=4, some singles

Code: Select all: (4)r1c4* || (3)r1c3,r2c8------------------(3)r1c8==(4)r1c4* || | (4)r8c2-(4=3)r4c2-r4c3=r1c3-- || (1)r8c2-(19=4)r56c2-r5c4=r1c4*

Code: Select all: *--------------------------------------------------* | 1 258 3 | 4 258 6 | 7 A8-5 9 | | 4 58 7 | 1 58 9 | 2 3 6 | | 6 258 9 | 7 3 28 | 4 1 58 | |----------------+----------------+----------------| | 2 3 6 | 9 4 1 | 58 58 7 | | 5 4 8 | 2 7 3 | 9 6 1 | | 7 9 1 | 8 6 5 | 3 4 2 | |----------------+----------------+----------------| | 3 7 25 | 6 28 4 | 1 9 58 | | 8 1 4 |A5 9 7 | 6 A2 3 | | 9 6 25 | 3 1 28 | 58 7 4 | *--------------------------------------------------*

03: RT-A (258) => r1c8=8, stte

Add: without on using UR (19)r89c15:

Hidden Text: Show

Thanks for the puzzle!
totuan

by **Cenoman** » Wed May 03, 2023 8:52 pm

Code: Select all: +-----------------------+-----------------------+-------------------------+ | C138 C12358 C1235 |Bf2458* g2458 6 | 79 Be2358* 79 | | 4 Dc2358 7 | 1 g258* 9 | 258* d23568 2568 | | 6 D258 9 | 7 3 258* | 4 1 258* | +-----------------------+-----------------------+-------------------------+ | 2 b34 ia36-4 | 9 45678 1 | 578 568 5678 | | 5 149 8 | 24 2467 3 | 279 26 12679 | | 7 19 h16 | 258 g2568 258 | 3 4 125689 | +-----------------------+-----------------------+-------------------------+ | 38 7 235 | 6 g258* 4 | 1 9 258* | | 189 14-258 1245 | A258* 19 7 | 6 A258* 3 | | 189 6 125 | 3 19 258* | 258* 7 4 | +-----------------------+-----------------------+-------------------------+

TH(258)b2389 (*), having two guardians (4r1c4, 3r1c8) at vertices of rectangle r18c48
1. (3)r4c3 = r4c2 - r2c2 = r2c8 - (3)r1c8 == (4)r1c4 - (4=2586)r1267c5 - r6c3 = (6)r4c3 => -4r4c3; 1 placement
2. TH guardians are mutually exclusive:
(4)r1c4 - (4=2586)r1267c5 - r6c3 = (6-3)r4c3 = r4c2 - r2c2 = r2c8 - (3)r1c8 (untagged)
=> one and only one is true => RTs(258) r8c48, r1c4|r1c8
Chaining RTs with ER(2,5,8)b1: (2,5,8): r8c48 == r1c4|r1c8 - r1c123 = r23c2 => -258 r8c2; 32 placements.

Code: Select all: +------------------+------------------+-----------------+ | 1 258 3 | 4 258 6 | 7 58 9 | | 4 58 7 | 1 58 9 | 2 3 6 | | 6 258 9 | 7 3 28* | 4 1 5-8 | +------------------+------------------+-----------------+ | 2 3 6 | 9 4 1 | 58 58 7 | | 5 4 8 | 2 7 3 | 9 6 1 | | 7 9 1 | 8 6 5 | 3 4 2 | +------------------+------------------+-----------------+ | 3 7 25 | 6 28* 4 | 1 9 58* | | 8 1 4 | 5 9 7 | 6 2 3 | | 9 6 25 | 3 1 28* | 58 7 4 | +------------------+------------------+-----------------+

3. Kite (8)r7c9 = r7c5 - r9c6 = r3c6 => -8 r3c9; ste

Website · by **denis_berthier** » Fri May 05, 2023 7:22 am

.
Thanks for your solutions.
In this puzzle, in addition to Tridagon, four of the five most frequent impossible patterns in Select1 will be used. No chain is longer than 5. I haven''t checked if the 4 patterns are really necessary.
Note that the 5th pattern (EL14c13) is also present, but it will not be used.
The presence of the 5 patterns is the reason why I chose this puzzle.

Code: Select all: hidden-pairs-in-a-column: c5{n1 n9}{r8 r9} ==> r9c5≠8, r9c5≠5, r9c5≠2, r8c5≠8, r8c5≠5, r8c5≠4, r8c5≠2 hidden-pairs-in-a-row: r1{n7 n9}{c7 c9} ==> r1c9≠8, r1c9≠5, r1c9≠2, r1c7≠8, r1c7≠5, r1c7≠4, r1c7≠2 singles ==> r3c7=4, r7c6=4

The patterns that will be used:

Code: Select all: Trid-OR2-relation for digits 2, 5 and 8 in blocks: b2, with cells (marked #): r1c4, r2c5, r3c6 b3, with cells (marked #): r1c8, r2c7, r3c9 b8, with cells (marked #): r8c4, r7c5, r9c6 b9, with cells (marked #): r8c8, r7c9, r9c7 with 2 guardians (in cells marked @): n4r1c4 n3r1c8 +----------------------+----------------------+----------------------+ ! 138 12358 1235 ! 2458#@ 2458 6 ! 79 2358#@ 79 ! ! 4 2358 7 ! 1 258# 9 ! 258# 23568 2568 ! ! 6 258 9 ! 7 3 258# ! 4 1 258# ! +----------------------+----------------------+----------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +----------------------+----------------------+----------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458 1245 ! 258# 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +----------------------+----------------------+----------------------+ EL13c290-OR4-relation for digits: 2, 5 and 8 in cells (marked #): (r1c8 r3c2 r3c6 r3c9 r2c2 r2c5 r2c7 r9c6 r9c7 r7c5 r7c9 r8c2 r8c8) with 4 guardians (in cells marked @) : n3r1c8 n3r2c2 n1r8c2 n4r8c2 +-------------------------+-------------------------+-------------------------+ ! 138 12358 1235 ! 2458 2458 6 ! 79 2358#@ 79 ! ! 4 2358#@ 7 ! 1 258# 9 ! 258# 23568 2568 ! ! 6 258# 9 ! 7 3 258# ! 4 1 258# ! +-------------------------+-------------------------+-------------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +-------------------------+-------------------------+-------------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458#@ 1245 ! 258 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +-------------------------+-------------------------+-------------------------+ EL13c290-OR4-relation between candidates n3r1c8, n3r2c2, n1r8c2 and n4r8c2 + same valence for candidates n3r2c2 and n3r1c8 via c-chain[2]: n3r2c2,n3r2c8,n3r1c8 ==> EL13c290-OR4-relation can be split into two EL13c290-OR3-relations with respective lists of guardians: n3r1c8 n1r8c2 n4r8c2 and n3r2c2 n1r8c2 n4r8c2 . EL14c30-OR5-relation for digits: 2, 5 and 8 in cells (marked #): (r1c4 r2c8 r2c7 r2c5 r3c2 r3c9 r3c6 r9c7 r9c6 r7c9 r7c5 r8c2 r8c8 r8c4) with 5 guardians (in cells marked @) : n4r1c4 n3r2c8 n6r2c8 n1r8c2 n4r8c2 +-------------------------+-------------------------+-------------------------+ ! 138 12358 1235 ! 2458#@ 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258# 9 ! 258# 23568#@ 2568 ! ! 6 258# 9 ! 7 3 258# ! 4 1 258# ! +-------------------------+-------------------------+-------------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +-------------------------+-------------------------+-------------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458#@ 1245 ! 258# 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +-------------------------+-------------------------+-------------------------+ EL14c159-OR6-relation for digits: 2, 5 and 8 in cells (marked #): (r7c9 r7c5 r9c7 r9c6 r8c2 r8c8 r8c4 r2c9 r2c5 r1c2 r1c4 r3c2 r3c9 r3c6) with 6 guardians (in cells marked @) : n1r8c2 n4r8c2 n6r2c9 n1r1c2 n3r1c2 n4r1c4 +-------------------------+-------------------------+-------------------------+ ! 138 12358#@ 1235 ! 2458#@ 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258# 9 ! 258 23568 2568#@ ! ! 6 258# 9 ! 7 3 258# ! 4 1 258# ! +-------------------------+-------------------------+-------------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +-------------------------+-------------------------+-------------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458#@ 1245 ! 258# 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +-------------------------+-------------------------+-------------------------+ Not used: EL14c13-OR4-relation for digits: 2, 5 and 8 in cells (marked #): (r1c4 r2c7 r2c9 r2c5 r3c2 r3c9 r3c6 r7c9 r7c5 r9c7 r9c6 r8c2 r8c8 r8c4) with 4 guardians (in cells marked @) : n4r1c4 n6r2c9 n1r8c2 n4r8c2 +-------------------------+-------------------------+-------------------------+ ! 138 12358 1235 ! 2458#@ 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258# 9 ! 258# 23568 2568#@ ! ! 6 258# 9 ! 7 3 258# ! 4 1 258# ! +-------------------------+-------------------------+-------------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 125689 ! +-------------------------+-------------------------+-------------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458#@ 1245 ! 258# 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +-------------------------+-------------------------+-------------------------+ EL14c1s-OR4-relation for digits: 2, 5 and 8 in cells (marked #): (r6c9 r6c6 r6c4 r1c4 r3c9 r3c6 r2c7 r2c5 r7c9 r7c5 r9c7 r9c6 r8c8 r8c4) with 4 guardians (in cells marked @) : n1r6c9 n6r6c9 n9r6c9 n4r1c4 +----------------------------+----------------------------+----------------------------+ ! 138 12358 1235 ! 2458#@ 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258# 9 ! 258# 23568 2568 ! ! 6 258 9 ! 7 3 258# ! 4 1 258# ! +----------------------------+----------------------------+----------------------------+ ! 2 34 346 ! 9 45678 1 ! 578 568 5678 ! ! 5 149 8 ! 24 2467 3 ! 279 26 12679 ! ! 7 19 16 ! 258# 2568 258# ! 3 4 125689#@ ! +----------------------------+----------------------------+----------------------------+ ! 38 7 235 ! 6 258# 4 ! 1 9 258# ! ! 189 12458 1245 ! 258# 19 7 ! 6 258# 3 ! ! 189 6 125 ! 3 19 258# ! 258# 7 4 ! +----------------------------+----------------------------+----------------------------+

EL14c1s-OR4-whip[3]: OR4{{n9r6c9 n1r6c9 n6r6c9 | n4r1c4}} - r5c4{n4 n2} - b6n2{r5c7 .} ==> r6c9≠5
whip[1]: r6n5{c6 .} ==> r4c5≠5
EL14c1s-OR4-whip[3]: OR4{{n9r6c9 n1r6c9 n6r6c9 | n4r1c4}} - r5c4{n4 n2} - b6n2{r5c7 .} ==> r6c9≠8
whip[1]: r6n8{c6 .} ==> r4c5≠8
EL14c1s-OR4-whip[3]: r6n2{c6 c9} - OR4{{n9r6c9 n1r6c9 n6r6c9 | n4r1c4}} - r5c4{n4 .} ==> r5c5≠2
biv-chain[4]: r2n6{c9 c8} - r2n3{c8 c2} - b4n3{r4c2 r4c3} - b4n6{r4c3 r6c3} ==> r6c9≠6
EL13c290-OR3-whip[4]: r4c2{n3 n4} - OR3{{n4r8c2 n3r1c8 | n1r8c2}} - r5c2{n1 n9} - r6c2{n9 .} ==> r1c2≠3

Code: Select all: +-------------------+-------------------+-------------------+ ! 138 1258 1235 ! 2458 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258 9 ! 258 23568 2568 ! ! 6 258 9 ! 7 3 258 ! 4 1 258 ! +-------------------+-------------------+-------------------+ ! 2 34 346 ! 9 467 1 ! 578 568 5678 ! ! 5 149 8 ! 24 467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 129 ! +-------------------+-------------------+-------------------+ ! 38 7 235 ! 6 258 4 ! 1 9 258 ! ! 189 12458 1245 ! 258 19 7 ! 6 258 3 ! ! 189 6 125 ! 3 19 258 ! 258 7 4 ! +-------------------+-------------------+-------------------+ At least one candidate of a previous EL14c159-OR6-relation between candidates n1r8c2 n4r8c2 n6r2c9 n1r1c2 n3r1c2 n4r1c4 has just been eliminated. There remains an EL14c159-OR5-relation between candidates: n1r8c2 n4r8c2 n6r2c9 n1r1c2 n4r1c4

EL13c290-OR3-whip[4]: r6c2{n1 n9} - r5c2{n9 n4} - OR3{{n4r8c2 n1r8c2 | n3r2c2}} - r4c2{n3 .} ==> r1c2≠1

Code: Select all: +-------------------+-------------------+-------------------+ ! 138 258 1235 ! 2458 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258 9 ! 258 23568 2568 ! ! 6 258 9 ! 7 3 258 ! 4 1 258 ! +-------------------+-------------------+-------------------+ ! 2 34 346 ! 9 467 1 ! 578 568 5678 ! ! 5 149 8 ! 24 467 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 129 ! +-------------------+-------------------+-------------------+ ! 38 7 235 ! 6 258 4 ! 1 9 258 ! ! 189 12458 1245 ! 258 19 7 ! 6 258 3 ! ! 189 6 125 ! 3 19 258 ! 258 7 4 ! +-------------------+-------------------+-------------------+ At least one candidate of a previous EL14c159-OR5-relation between candidates n1r8c2 n4r8c2 n6r2c9 n1r1c2 n4r1c4 has just been eliminated. There remains an EL14c159-OR4-relation between candidates: n1r8c2 n4r8c2 n6r2c9 n4r1c4

t-whip[5]: r5c4{n4 n2} - r6n2{c6 c9} - r6n9{c9 c2} - r6n1{c2 c3} - r5c2{n1 .} ==> r5c5≠4
Trid-OR2-whip[4]: r4c2{n4 n3} - r2n3{c2 c8} - OR2{{n3r1c8 | n4r1c4}} - r5n4{c4 .} ==> r4c3≠4
hidden-single-in-a-column ==> r8c3=4

As different impossible patterns generally share many cells, it's not surprising that some eliminations delete guardians for several of them at the same time:

Code: Select all: +-------------------+-------------------+-------------------+ ! 138 258 1235 ! 2458 2458 6 ! 79 2358 79 ! ! 4 2358 7 ! 1 258 9 ! 258 23568 2568 ! ! 6 258 9 ! 7 3 258 ! 4 1 258 ! +-------------------+-------------------+-------------------+ ! 2 34 36 ! 9 467 1 ! 578 568 5678 ! ! 5 149 8 ! 24 67 3 ! 279 26 12679 ! ! 7 19 16 ! 258 2568 258 ! 3 4 129 ! +-------------------+-------------------+-------------------+ ! 38 7 235 ! 6 258 4 ! 1 9 258 ! ! 189 1258 4 ! 258 19 7 ! 6 258 3 ! ! 189 6 125 ! 3 19 258 ! 258 7 4 ! +-------------------+-------------------+-------------------+ At least one candidate of a previous EL13c290-OR3-relation between candidates n3r1c8 n1r8c2 n4r8c2 has just been eliminated. There remains an EL13c290-OR2-relation between candidates: n3r1c8 n1r8c2 At least one candidate of a previous EL13c290-OR3-relation between candidates n3r2c2 n1r8c2 n4r8c2 has just been eliminated. There remains an EL13c290-OR2-relation between candidates: n3r2c2 n1r8c2 At least one candidate of a previous EL14c13-OR4-relation between candidates n4r1c4 n6r2c9 n1r8c2 n4r8c2 has just been eliminated. There remains an EL14c13-OR3-relation between candidates: n4r1c4 n6r2c9 n1r8c2 At least one candidate of a previous EL14c159-OR4-relation between candidates n1r8c2 n4r8c2 n6r2c9 n4r1c4 has just been eliminated. There remains an EL14c159-OR3-relation between candidates: n1r8c2 n6r2c9 n4r1c4 At least one candidate of a previous EL14c30-OR5-relation between candidates n4r1c4 n3r2c8 n6r2c8 n1r8c2 n4r8c2 has just been eliminated. There remains an EL14c30-OR4-relation between candidates: n4r1c4 n3r2c8 n6r2c8 n1r8c2

EL13c290-OR2-whip[2]: OR2{{n3r2c2 | n1r8c2}} - c1n1{r8 .} ==> r1c1≠3
hidden-single-in-a-column ==> r7c1=3
EL14c159-OR3-whip[3]: r5n1{c9 c2} - OR3{{n1r8c2 n6r2c9 | n4r1c4}} - r5n4{c4 .} ==> r5c9≠6
Trid-OR2-whip[4]: OR2{{n3r1c8 | n4r1c4}} - r5c4{n4 n2} - r8n2{c4 c2} - b1n2{r1c2 .} ==> r1c8≠2
whip[5]: c2n3{r2 r4} - r4n4{c2 c5} - r5c4{n4 n2} - b6n2{r5c7 r6c9} - b3n2{r2c9 .} ==> r2c2≠2
Trid-OR2-ctr-whip[5]: r7n8{c9 c5} - b2n8{r1c5 r1c4} - b1n8{r1c1 r2c2} - b1n3{r2c2 r1c3} - OR2{{n3r1c8 n4r1c4 | .}} ==> r3c9≠8
Trid-OR2-whip[4]: OR2{{n3r1c8 | n4r1c4}} - r5c4{n4 n2} - b6n2{r5c7 r6c9} - r3c9{n2 .} ==> r1c8≠5
biv-chain[4]: r1c8{n8 n3} - b1n3{r1c3 r2c2} - r4c2{n3 n4} - c5n4{r4 r1} ==> r1c5≠8
EL14c159-OR3-whip[5]: r5c8{n6 n2} - r5c4{n2 n4} - OR3{{n4r1c4 n6r2c9 | n1r8c2}} - r5c2{n1 n9} - r6c2{n9 .} ==> r4c9≠6
hidden-single-in-a-column ==> r2c9=6

Code: Select all: +----------------+----------------+----------------+ ! 18 258 1235 ! 2458 245 6 ! 79 38 79 ! ! 4 358 7 ! 1 258 9 ! 258 2358 6 ! ! 6 258 9 ! 7 3 258 ! 4 1 25 ! +----------------+----------------+----------------+ ! 2 34 36 ! 9 467 1 ! 578 568 578 ! ! 5 149 8 ! 24 67 3 ! 279 26 1279 ! ! 7 19 16 ! 258 2568 258 ! 3 4 129 ! +----------------+----------------+----------------+ ! 3 7 25 ! 6 258 4 ! 1 9 258 ! ! 189 1258 4 ! 258 19 7 ! 6 258 3 ! ! 189 6 125 ! 3 19 258 ! 258 7 4 ! +----------------+----------------+----------------+ At least one candidate of a previous EL14c30-OR4-relation between candidates n4r1c4 n3r2c8 n6r2c8 n1r8c2 has just been eliminated. There remains an EL14c30-OR3-relation between candidates: n4r1c4 n3r2c8 n1r8c2

EL14c30-OR3-whip[4]: r5n4{c2 c4} - OR3{{n4r1c4 n1r8c2 | n3r2c8}} - c2n3{r2 r4} - r4n4{c2 .} ==> r5c2≠1
hidden-single-in-a-row ==> r5c9=1
whip[4]: b1n2{r1c3 r3c2} - r8n2{c2 c8} - r5n2{c8 c7} - r2n2{c7 .} ==> r1c4≠2
EL14c30-OR3-whip[5]: r4c2{n3 n4} - c5n4{r4 r1} - OR3{{n4r1c4 n3r2c8 | n1r8c2}} - r6c2{n1 n9} - r5c2{n9 .} ==> r2c2≠3
stte

The New Sudoku Players' Forum

#59832 in mith's 158276 T&E(3) min-expands

#59832 in mith's 158276 T&E(3) min-expands

Re: #59832 in mith's 158276 T&E(3) min-expands

Re: #59832 in mith's 158276 T&E(3) min-expands

Re: #59832 in mith's 158276 T&E(3) min-expands