The New Sudoku Players' Forum

by **mith** » Tue Sep 29, 2020 1:38 pm

Code: Select all: +-------+-------+-------+ | . . . | . . . | 1 . . | | . . 1 | 2 . . | . . 3 | | . 4 . | . 5 . | . 2 . | +-------+-------+-------+ | . 5 . | . 6 . | . 4 . | | . . 7 | 3 . . | . . 6 | | . . . | . . 7 | 3 . . | +-------+-------+-------+ | 2 . . | . . . | . . . | | . . 8 | 7 . . | . . 1 | | . 6 . | . 4 . | . 5 . | +-------+-------+-------+ ......1....12....3.4..5..2..5..6..4...73....6.....73..2..........87....1.6..4..5.

by **SpAce** » Tue Sep 29, 2020 6:02 pm

Code: Select all: .----------------------------.------------------------.----------------------. | b3'56789 c2'789-3 c23569 | 4689 a3'789 34689 | 1 6789 45 | | 56789 789 1 | 2 789 4689 | 45 6789 3 | | b3'6789 4 c369 | 1689 5 13689 | c6789 2 789 | :----------------------------+------------------------+----------------------: | b1389 5 c239 | b189 6 b1289 | 2789 4 2789 | | 1489 1289 7 | 3 b1289 45 | 2589 189 6 | | 14689 1289 2469 | 45 b1289 7 | 3 189 2589 | :----------------------------+------------------------+----------------------: | 2 17 45 | 15689 b1389 135689 | c46789 36789 4789 | | 45 c39 8 | 7 c239 23569 | c2469 c369 1 | | 17 6 c39 | 189 4 12389 | 2789 5 2789 | '----------------------------'------------------------'----------------------' a:(3)r1c5 || b:(3-1)r7c5 = r56c5 - r4c46 = (1-3)r4c1 = (3)r13c1 || c:(3)r8c5 - (39=6)r8c28 - r78c7 = r3c7 - (6=392)r394c3 - r1c3 = (2)r1c2 => -3 r1c2; stte

11x11 BTM (gSz-chain): Show

by **SteveG48** » Tue Sep 29, 2020 6:08 pm

Code: Select all: *-----------------------------------------------------------------------------* | 356789 b23789 b23569 | 4689 g3789 34689 | 1 6789 45 | | 56789 789 1 | 2 g789 4689 | 45 6789 3 | | 36789 4 c369 | 1689 5 13689 |d6789 2 789 | *-------------------------+-------------------------+-------------------------| |i1389 5 ci239 |h189 6 h1289 | 2789 4 2789 | | 1489 1289 7 | 3 g1289 45 | 2589 189 6 | | 14689 1289 2469 | 45 g1289 7 | 3 189 2589 | *-------------------------+-------------------------+-------------------------| | 2 17 45 | 15689 1389 135689 |e46789 36789 4789 | | 45 af39 8 | 7 f239 23569 |e2469 f369 1 | | 17 6 bj39 | 189 4 12389 | 2789 5 2789 | *-----------------------------------------------------------------------------*

3r8c2 = ((3*,2)r1c23)&(3r9c3) - (2|3=96)r34c3 - 6r3c7 = r78c7 - (6=392)r8c258 - (2*3=7891)r1256c5 - 1r4c46 = (13)r4c13 - (3=9r9c3 => -9 r8c2 ; stte

by **Cenoman** » Tue Sep 29, 2020 9:36 pm

A puzzle for fishermen:

Code: Select all: +---------------------------+--------------------------+-------------------------+ | 689-357 23789 2569-3 | 4689 3789 689-34 | 1 6789 45 | | 5689-7% 789 1 | 2 789 4689@ | 45@% 6789 3 | | 36789^# 4 369^ | 1689* 5 13689*^ | 6789# 2 789# | +---------------------------+--------------------------+-------------------------+ | 1389*^ 5 239^ | 189* 6 1289* | 2789# 4 2789# | | 489-1@ 1289 7 | 3 1289 45@% | 2589% 189 6 | | 689-14 1289 2469 | 45 1289 7 | 3 189 2589 | +---------------------------+--------------------------+-------------------------+ | 2 17 45 | 5689-1 1389 3689-15 | 689-47 36789 489-7 | | 45@% 39 8 | 7 239 23569% | 2469@ 369 1 | | 17*# 6 39^ | 189* 4 12389*^ | 2789# 5 2789# | +---------------------------+--------------------------+-------------------------+

SF(1)r349/c146 => -1 r56c1, r7c46,
SF(3)r349/c136 => -3 r1c136, r78c6
SF(7)r349/c179 => -7 r12c1, r7c79
SF(4)r258/c167 => -4 r6c1, r1c6, r7c7
SF(5)r258/c167 => -5 r1c1, r7c6;
HT(137)r7c238, HT(137)r349c1

Code: Select all: +------------------------+------------------------+-----------------------+ | 689 23789 2569 | 469-8 3789 69-8 | 1 6789 45 | | 5689 789 1 | 2 789 469-8 | 45 6789 3 | | 37 4 369 | 1689* 5 13689* | 6789* 2 789* | +------------------------+------------------------+-----------------------+ | 13 5 239 | 189* 6 1289* | 2789* 4 2789* | | 489 1289 7 | 3 1289 45 | 259-8 189 6 | | 689 1289 2469 | 45 1289 7 | 3 189 2589 | +------------------------+------------------------+-----------------------+ | 2 17 45 | 5689* 13 689* | 689* 37 489* | | 45 39 8 | 7 239 2569 | 2469 369 1 | | 17 6 39 | 189* 4 12389* | 2789* 5 2789* | +------------------------+------------------------+-----------------------+

JF(8)r3479\c4679 => -8 r1c4, r12c6, r5c7; NT(469)b2p136, HT(456)r167c4, locked 9r12c6, 9r7c79

Code: Select all: +------------------------+----------------------+-----------------------+ | 89-6 B23789 2569 | a46 C378 69 | 1 6789 45 | | 5689 89-7 1 | 2 D78 469 | 45 6789 3 | | A37 4 369 | 18 5 138 | 6789 2 789 | +------------------------+----------------------+-----------------------+ | 13 5 239 | 189 6 128 | 2789 4 2789 | | 489 1289 7 | 3 1289 45 | 259 189 6 | | d689 1289 c2469 | b45 1289 7 | 3 189 259 | +------------------------+----------------------+-----------------------+ | 2 17 45 | 56 13 68 | 689 37 489 | | 45 39 8 | 7 239 256 | 246 36 1 | | 17 6 39 | 189 4 1238 | 278 5 278 | +------------------------+----------------------+-----------------------+

M2-Wing (6=4)r1c4 - r6c4 = (4-6)r6c3 = (6)r6c1 => -6 r1c1
M2-Wing (7=3)r3c1 - r1c2 = (3-7)r1c5 = (7)r2c5 => - 7r2c2; basics to the end

Website · by **denis_berthier** » Wed Sep 30, 2020 3:46 am

Code: Select all: (solve-sudoku-grid +-------+-------+-------+ ! . . . ! . . . ! 1 . . ! ! . . 1 ! 2 . . ! . . 3 ! ! . 4 . ! . 5 . ! . 2 . ! +-------+-------+-------+ ! . 5 . ! . 6 . ! . 4 . ! ! . . 7 ! 3 . . ! . . 6 ! ! . . . ! . . 7 ! 3 . . ! +-------+-------+-------+ ! 2 . . ! . . . ! . . . ! ! . . 8 ! 7 . . ! . . 1 ! ! . 6 . ! . 4 . ! . 5 . ! +-------+-------+-------+ )

Subsets are not quite enough, but add short bivalue-chains and it's ok:

Code: Select all: *********************************************************************************************** *** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = BC+SFin *** Using CLIPS 6.32-r770 *********************************************************************************************** 243 candidates, 1790 csp-links and 1790 links. Density = 6.09% naked-pairs-in-a-block: b7{r8c2 r9c3}{n3 n9} ==> r9c1 ≠ 9, r9c1 ≠ 3, r8c1 ≠ 9, r8c1 ≠ 3, r7c3 ≠ 9, r7c3 ≠ 3, r7c2 ≠ 9, r7c2 ≠ 3 hidden-pairs-in-a-block: b5{r5c6 r6c4}{n4 n5} ==> r6c4 ≠ 9, r6c4 ≠ 8, r6c4 ≠ 1, r5c6 ≠ 9, r5c6 ≠ 8, r5c6 ≠ 2, r5c6 ≠ 1 hidden-pairs-in-a-block: b3{r1c9 r2c7}{n4 n5} ==> r2c7 ≠ 9, r2c7 ≠ 8, r2c7 ≠ 7, r2c7 ≠ 6, r1c9 ≠ 9, r1c9 ≠ 8, r1c9 ≠ 7 finned-x-wing-in-rows: n3{r9 r3}{c6 c3} ==> r1c3 ≠ 3 finned-x-wing-in-columns: n3{c2 c5}{r1 r8} ==> r8c6 ≠ 3 biv-chain[2]: c2n3{r1 r8} - r9n3{c3 c6} ==> r1c6 ≠ 3 swordfish-in-columns: n3{c2 c5 c8}{r8 r1 r7} ==> r7c6 ≠ 3, r1c1 ≠ 3 swordfish-in-columns: n4{c3 c4 c9}{r7 r6 r1} ==> r7c7 ≠ 4, r6c1 ≠ 4, r1c6 ≠ 4 swordfish-in-columns: n7{c2 c5 c8}{r7 r2 r1} ==> r7c9 ≠ 7, r7c7 ≠ 7, r2c1 ≠ 7, r1c1 ≠ 7 swordfish-in-columns: n1{c2 c5 c8}{r6 r7 r5} ==> r7c6 ≠ 1, r7c4 ≠ 1, r6c1 ≠ 1, r5c1 ≠ 1 hidden-triplets-in-a-column: c1{n1 n3 n7}{r9 r4 r3} ==> r4c1 ≠ 9, r4c1 ≠ 8, r3c1 ≠ 9, r3c1 ≠ 8, r3c1 ≠ 6 hidden-triplets-in-a-row: r7{n1 n3 n7}{c2 c5 c8} ==> r7c8 ≠ 9, r7c8 ≠ 8, r7c8 ≠ 6, r7c5 ≠ 9, r7c5 ≠ 8 swordfish-in-rows: n5{r2 r5 r8}{c1 c7 c6} ==> r7c6 ≠ 5, r1c1 ≠ 5 biv-chain[3]: r9c3{n9 n3} - c2n3{r8 r1} - b1n2{r1c2 r1c3} ==> r1c3 ≠ 9 biv-chain[3]: c2n3{r1 r8} - b9n3{r8c8 r7c8} - r7n7{c8 c2} ==> r1c2 ≠ 7 biv-chain[3]: r1n7{c8 c5} - b2n3{r1c5 r3c6} - r3c1{n3 n7} ==> r3c7 ≠ 7, r3c9 ≠ 7 singles ==> r3c1 = 7, r9c1 = 1, r4c1 = 3, r7c2 = 7, r7c8 = 3, r7c5 = 1 biv-chain[3]: r1n2{c2 c3} - r4c3{n2 n9} - b7n9{r9c3 r8c2} ==> r1c2 ≠ 9 biv-chain[3]: r4c3{n9 n2} - r1n2{c3 c2} - b1n3{r1c2 r3c3} ==> r3c3 ≠ 9 jellyfish-in-columns: n8{c1 c8 c2 c5}{r6 r5 r2 r1} ==> r6c9 ≠ 8, r5c7 ≠ 8, r2c6 ≠ 8, r1c6 ≠ 8, r1c4 ≠ 8 naked-triplets-in-a-block: b2{r1c4 r1c6 r2c6}{n4 n6 n9} ==> r3c6 ≠ 9, r3c6 ≠ 6, r3c4 ≠ 9, r3c4 ≠ 6, r2c5 ≠ 9, r1c5 ≠ 9 whip[1]: r3n9{c9 .} ==> r1c8 ≠ 9, r2c8 ≠ 9 naked-triplets-in-a-column: c4{r3 r4 r9}{n8 n1 n9} ==> r7c4 ≠ 9, r7c4 ≠ 8, r1c4 ≠ 9 whip[1]: b2n9{r2c6 .} ==> r4c6 ≠ 9, r7c6 ≠ 9, r8c6 ≠ 9, r9c6 ≠ 9 whip[1]: r7n9{c9 .} ==> r8c7 ≠ 9, r8c8 ≠ 9, r9c7 ≠ 9, r9c9 ≠ 9 stte

by **mith** » Wed Sep 30, 2020 6:47 pm

This one can be done with fewer fish plus an AIC; (1 jellyfish + 3 swordfish is what I found, maybe that can be optimized further). There's a second jellyfish to find before the AIC, if you like fishing.

Website · by **denis_berthier** » Thu Oct 01, 2020 2:21 am

mith wrote:This one can be done with fewer fish plus an AIC; (1 jellyfish + 3 swordfish is what I found, maybe that can be optimized further). There's a second jellyfish to find before the AIC, if you like fishing.

Code: Select all: jellyfish-in-rows: n9{r3 r9 r4 r7}{c9 c3 c4 c7} ==> r6c9 ≠ 9, r6c3 ≠ 9, r5c7 ≠ 9, r1c3 ≠ 9

It's not found by SudoRules if bivalue-chains are activated, because a biv-chain[3] comes before a Jellyfish (a pattern based on 4 CSP-Variables). In the present case the two biv-chains[3] destroy the Jellyfish.
In the absence of bivalue-chains[≥3], this second Jellyfish is not enough to lead to a solution.

The New Sudoku Players' Forum

Tatooine Reflections

Tatooine Reflections

Re: Tatooine Reflections

Re: Tatooine Reflections

Re: Tatooine Reflections

Re: Tatooine Reflections

Re: Tatooine Reflections

Re: Tatooine Reflections