The New Sudoku Players' Forum

by **Leren** » Wed Jul 28, 2021 8:33 am

Code: Select all: *-----------* |5..|..7|8.9| |2..|1.8|..3| |.34|...|...| |---+---+---| |...|..4|...| |...|78.|2..| |618|2..|...| |---+---+---| |.26|...|5..| |...|4..|76.| |9..|...|..4| *-----------* 5....78.92..1.8..3.34...........4......78.2..6182......26...5.....4..76.9.......4

by **RSW** » Wed Jul 28, 2021 9:06 am

Code: Select all: +----------+----------------+-----------------+ | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 79 | 1 456 8 | 46 45 3 | | 8 3 4 | 569 2569 2569 | 16 *257-1 c2567 | +----------+----------------+-----------------+ | 7 59 2 | 569 13569 4 | 169 1358 b568 | | 3 4 59 | 7 8 1569 | 2 a15 b56 | | 6 1 8 | 2 359 59 | 49 3457 b57 | +----------+----------------+-----------------+ | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | +----------+----------------+-----------------+

(1=5)r5c8 - (5)r456c9 = (5-7)r3c9 = (7)r3c8 => -1r3c8; btte

by **SteveG48** » Wed Jul 28, 2021 2:49 pm

Code: Select all: *--------------------------------------------------------------------* | 5 6 1 | 3 24 7 | 8 a24 9 | | 2 79 79 | 1 46-5 8 |a46 a45 3 | | 8 3 4 | 569 2569 2569 |a16 *b1257 *b2567 | *----------------------+----------------------+----------------------| | 7 59 2 | 569 13569 4 | 169 1358 568 | | 3 4 59 | 7 8 1569 | 2 15 56 | | 6 1 8 | 2 d359 59 | 49 *bc3457 *57 | *----------------------+----------------------+----------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 d259 259 | 7 6 c28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | *--------------------------------------------------------------------*

(5=1246)b3p2457 - (1|2|4|6)r3c89,r6c8 =[5/7URr36c89]= (23)r6c8,r8c9 - (2|3=59)r58c5 => -5 r2c5 ; stte

by **SteveG48** » Wed Jul 28, 2021 2:52 pm

RSW wrote:(1=5)r5c8 - (5)r456c9 = (5-7)r3c9 = (7)r3c8 => -1r3c8; ste

RSW, that's a beauty, but I think is gives btte.

by **jco** » Wed Jul 28, 2021 4:20 pm

Code: Select all: .-----------------------------------------------------. | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 79 | 1 456 8 | 46 45 3 | | 8 3 4 | 569 2569 2569 | 16 1257 2567 | |-------------+------------------+--------------------| | 7 5-9 2 | 569 13569 4 | b169 1358 568 | | 3 4 a59 | 7 8 1569 | 2 b15 b56 | | 6 1 8 | 2 359 59 | 49 3457 57 | |-------------+------------------+--------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | '-----------------------------------------------------'

(9=5)r5c3 - (5=169)b6p156 => -9 r4c2; ste

by **Ngisa** » Wed Jul 28, 2021 4:38 pm

Code: Select all: +------------------+------------------------+------------------------+ | 5 6 1 | 3 24 7 | 8 b2*4 9 | | 2 79 79 | 1 456 8 |b46 b45 3 | | 8 3 4 | 569 2569 2569 |b16 1257 2567 | +------------------+------------------------+------------------------+ | 7 59 2 | 569 h13569 4 |c1*69 i1*358 568 | | 3 4 59 | 7 8 569-1| 2 a15 56 | | 6 1 8 | 2 gf359 f59 | 49 3457 57 | +------------------+------------------------+------------------------+ | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 fe259 fe259 | 7 6 d28 | | 9 578 57 | 56 1256 1256 | 3 c28 4 | +------------------+------------------------+------------------------+

(1=5)r5c8 – (5=42*61)b3p5247 – ((1*)r4c7,(2)r9c8)) = (2)r8c9 – r8c56 = UR(59)r68c56 – (59=3)r6c5 – r4c5 = (3-1*)r4c8 = (1)r4c5 => - 1r5c6; stte

Clement

by **P.O.** » Wed Jul 28, 2021 6:09 pm

Code: Select all: after singles: 5 6 1 3 24 7 8 24 9 2 79 79 1 h4-569 8 46 i4+57 3 8 3 4 g+5-6-9 2569 2569 16 1257 2567 7 b+59 2 f-5-6+9 13569 4 169 1358 568 3 4 a-59 7 8 1569 2 1×5 56 6 1 8 2 359 59 49 3457 57 4 2 6 8 7 3 5 9 1 1 c-58 3 4 d2*59 d2*59 7 6 28 9 578 57 e-5+6 1256 1256 3 28 4 depth: 5 candidate: 5 from cell (((5 8 6) (1 5))) ((5 0) (5 3 4) (5 9)) if R5C3 is not 5 ((5 0) (4 2 4) (5 9)) R4C2 is 5 ((5 1 1 2) ((8 5 8) (2 5 9)) ((8 6 8) (2 5 9))) one of R8C5 or R8C6 is 5 ((6 2 20) (9 4 8) (5 6)) R9C4 is 6 ((9 3 70) (4 4 5) (5 6 9)) R4C4 is 9 as R4C2 is 5 and R9C4 is 6 ((5 4 70) (3 4 2) (5 6 9)) R3C4 is 5 as R9C4 is 6 and R4C4 is 9 ((5 5 1) (2 8 3) (4 5 7)) R2C8 is 5 ste.

by **RSW** » Wed Jul 28, 2021 9:03 pm

SteveG48 wrote:
RSW wrote:(1=5)r5c8 - (5)r456c9 = (5-7)r3c9 = (7)r3c8 => -1r3c8; ste

RSW, that's a beauty, but I think is gives btte.

Whoops, yes. Thanks for catching it. That's what I get for doing these late at night, when I should be asleep.

I edited the post.

Here's a different one that gives an stte ending:

Code: Select all: +------------+----------------+---------------+ | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 79 | 1 456 8 | 46 45 3 | | 8 3 4 | 569 2569 2569 | 16 1257 2567 | +------------+----------------+---------------+ | 7 a59 2 | 569 13569 4 |b169 1358 568 | | 3 4 *9-5 | 7 8 1569 | 2 c15 c56 | | 6 1 8 | 2 359 59 | 49 3457 57 | +------------+----------------+---------------+ | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | +------------+----------------+---------------+

(5=9)r4c2 - (9=16)r4c7 - (16=5)r5c89 => -5r5c3; stte

Hmm, I see that it's nearly the same as JCO's solution

by **pjb** » Thu Jul 29, 2021 3:03 am

Code: Select all: 5 6 1 | 3 24 7 | 8 24 9 2 79 79 | 1 456 8 | 46 45 3 8 3 4 | 569 2569 2569 | 16 1257 2567 ------------------------+----------------------+--------------------- 7 a59 2 |e569 1356-9 4 | 16-9 1358 568 3 4 b59 | 7 8 1569 | 2 15 56 6 1 8 | 2 359 59 | 49 3457 57 ------------------------+----------------------+--------------------- 4 2 6 | 8 7 3 | 5 9 1 1 58 3 | 4 259 259 | 7 6 28 9 578 c57 |d56 1256 1256 | 3 28 4

(9=5*)r4c2 - (5)r5c3 = (5)r9c3 - (5=6)r9c4 - (6|5*=9)r4c4 => -9 r4c5, -9 r4c7; stte

Phil

by **Sudtyro2** » Thu Jul 29, 2021 1:49 pm

jco wrote:
Code: Select all
.-----------------------------------------------------. | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 79 | 1 456 8 | 46 45 3 | | 8 3 4 | 569 2569 2569 | 16 1257 2567 | |-------------+------------------+--------------------| | 7 5-9 2 | 569 13569 4 | b169 1358 568 | | 3 4 a59 | 7 8 1569 | 2 b15 b56 | | 6 1 8 | 2 359 59 | 49 3457 57 | |-------------+------------------+--------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | '-----------------------------------------------------'

(9=5)r5c3 - (5=169)b6p156 => -9 r4c2; ste

Nice spotting, jco! I think that ALS in b6 also provides a nice AIC loop for two additional elims:
(9=5)r5c3 - (5=169)b6p156 - r4c2 = 9r5c3 [loop] => -9 r2c3,r4c2,r5c6; ste

SteveC

Website · by **denis_berthier** » Thu Jul 29, 2021 5:04 pm

.

Code: Select all: Resolution state after Singles and whips[1]: +-------------------+-------------------+-------------------+ ! 5 6 1 ! 3 24 7 ! 8 24 9 ! ! 2 79 79 ! 1 456 8 ! 46 45 3 ! ! 8 3 4 ! 569 2569 2569 ! 16 1257 2567 ! +-------------------+-------------------+-------------------+ ! 7 59 2 ! 569 13569 4 ! 169 1358 568 ! ! 3 4 59 ! 7 8 1569 ! 2 15 56 ! ! 6 1 8 ! 2 359 59 ! 49 3457 57 ! +-------------------+-------------------+-------------------+ ! 4 2 6 ! 8 7 3 ! 5 9 1 ! ! 1 58 3 ! 4 259 259 ! 7 6 28 ! ! 9 578 57 ! 56 1256 1256 ! 3 28 4 ! +-------------------+-------------------+-------------------+

Code: Select all: whip-rc[4]: r5c3{n9 n5} - r5c9{n5 n6} - r4c7{n6 n1} - r5c8{n1 .} ==> r4c2 ≠ 9 stte

OR:

Code: Select all: whip-rn[4]: r2n5{c8 c5} - r6n5{c5 c6} - r4n5{c5 c2} - r8n5{c2 .} ==> r5c8 ≠ 5 stte

by **Leren** » Thu Jul 29, 2021 8:32 pm

Code: Select all: *-------------------------------------------------* | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 79 | 1 *456 8 | 46 *45 3 | | 8 3 4 | 569 2569 2569 | 16 1257 2567 | |------------+------------------+-----------------| | 7 *59 2 | 569 13569 4 | 169 1358 568 | | 3 4 f59 | 7 8 1569 | 2 1-5 56 | | 6 1 8 | 2 *359 *59 | 49 *3457 f57 | |------------+------------------+-----------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 *58 3 | 4 *259 *259 | 7 6 28 | | 9 578 57 | 56 1256 1256 | 3 28 4 | *-------------------------------------------------*

Finned Franken Jellyfish in 5's r268b4 c2568 with fin Cells r5c3 & r6c9 => - 5 r5c8; stte

Leren

by **eleven** » Fri Jul 30, 2021 4:13 pm

Code: Select all: *---------------------------------------------------------------* | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 #79 | 1 456 8 | 46 45 3 | | 8 3 4 | 59-6 2569 2569 | 16 1257 2567 | |----------------+-----------------------+----------------------| | 7 #59 2 | #569 1356-9 4 | 16-9 1358 568 | | 3 4 #59 | 7 8 1569 | 2 15 56 | | 6 1 8 | 2 359 59 | 49 3457 57 | |----------------+-----------------------+----------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 #57 | #56 1256 1256 | 3 28 4 | *---------------------------------------------------------------*

5679 in 6 cells r4c2,r259c3,r49c4, 59 must be twice => -9r4c57, -6r3c4; stte
[edit] corrected typo, thx Leren

by **jco** » Fri Jul 30, 2021 9:43 pm

eleven wrote:
Code: Select all
*---------------------------------------------------------------* | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 #79 | 1 456 8 | 46 45 3 | | 8 3 4 | 59-6 2569 2569 | 16 1257 2567 | |----------------+-----------------------+----------------------| | 7 #59 2 | #569 1356-9 4 | 16-9 1358 568 | | 3 4 #59 | 7 8 1569 | 2 15 56 | | 6 1 8 | 2 359 59 | 49 3457 57 | |----------------+-----------------------+----------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 #57 | #56 1256 1256 | 3 28 4 | *---------------------------------------------------------------*

5679 in 6 cells r4c2,r259c3,r49c9, 59 must be twice => -9r4c57, -6r3c4; stte

Very Nice!! I really like the power of such argument!
Even knowing that the logic of this move is not based on chains,
the role of (79)r2c3 puzzled me for a while. I couldn't help but think in
a chaining way. First I tried to see it as a kraken (double) as follows

Code: Select all: (6=5)r9c4-(5)r4c4-(5=9)r4c2 || -(6)r4c4-(6=5)r9c4-r9c3=r5c3-(5=9)r4c2 || (6=5)r9c4-r9c3=r5c3-(5=9)r4c2-(9)r4c4-

Not pretty! But cell r3c2 is not used. The best I could come up with (r3c2 reappears) was

Code: Select all: (9)r3c4=r4c4-(9=5)r4c2-(5=97)r25c2-(7=56)r9c34-(6=59)r4c24 => -9 r4c57, -6 r3c4; ste '------------''-------------------------' ' '--------------------------------------------'

[i.e., if 9 is not at r4c2, part of the chain shows that (6)r9c4 and, its continuation, that (59) is locked at r4c24. The chain also shows that (9)r4c2 implies (9)r3c4 (6 false there) and trivially -9 r4c57]
Anyway, it does not come close to that very nice move!

Edit: corrected typo in the chain and added explanation.

by **999_Springs** » Sun Aug 01, 2021 8:28 pm

eleven wrote:
Code: Select all
*---------------------------------------------------------------* | 5 6 1 | 3 24 7 | 8 24 9 | | 2 79 #79 | 1 456 8 | 46 45 3 | | 8 3 4 | 59-6 2569 2569 | 16 1257 2567 | |----------------+-----------------------+----------------------| | 7 #59 2 | #569 1356-9 4 | 16-9 1358 568 | | 3 4 #59 | 7 8 1569 | 2 15 56 | | 6 1 8 | 2 359 59 | 49 3457 57 | |----------------+-----------------------+----------------------| | 4 2 6 | 8 7 3 | 5 9 1 | | 1 58 3 | 4 259 259 | 7 6 28 | | 9 578 #57 | #56 1256 1256 | 3 28 4 | *---------------------------------------------------------------*

5679 in 6 cells r4c2,r259c3,r49c9, 59 must be twice => -9r4c57, -6r3c4; stte

nice move. I'm wondering what would be the easiest way to write this as a msls?

the base would be the 6 cells marked with #'s
the cover would be 7c3, 6c4, 9r4, 9c3 and two cover sectors for the 5's, which can be seen from the fact that only two 5's fit inside the marked cells but there is no way to split them into two simple cover sets. how would one write this?

The New Sudoku Players' Forum

Leren's Puzzles 58

Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58

Re: Leren's Puzzles 58