The New Sudoku Players' Forum

by **ArkieTech** » Sun Jul 28, 2013 12:21 am

Code: Select all: *-----------* |1.5|.8.|9..| |94.|.2.|...| |..3|1..|.4.| |---+---+---| |...|3..|.2.| |3..|.9.|..4| |.8.|..7|...| |---+---+---| |.5.|..8|6..| |...|.7.|.53| |..7|.5.|4.8| *-----------*

Play/Print this puzzle online

by **Leren** » Sun Jul 28, 2013 12:30 am

Code: Select all: *--------------------------------------------------------------* | 1 2 5 | 7 8 4 | 9 3 6 | | 9 4 6 | 5 2 3 |b17 8 c17 | | 8 7 3 | 1 6 9 | 25 4 25 | |--------------------+--------------------+--------------------| | 7 169 149 | 3 14 56 | 8 2 159 | | 3 16 12 | 8 9 256 | 157 167 4 | | 5 8 1249 | 26 14 7 | 3 169 19 | |--------------------+--------------------+--------------------| | 24 5 19 | 249 3 8 | 6 179 d179-2 | | 246 19 8 | 2469 7 126 |a12 5 3 | | 26 3 7 | 269 5 126 | 4 19 8 | *--------------------------------------------------------------*

H3 Wing: (2=1) r8c7 - (1=7) r2c7 - r2c9 = r7c9 => - 2 r7c9; stte

Leren

by **pjb** » Sun Jul 28, 2013 8:34 am

Code: Select all: 1 2 5 | 7 8 4 | 9 3 6 9 4 6 | 5 2 3 |a17 8 b17 8 7 3 | 1 6 9 | 25 4 25 ---------------------+----------------------+--------------------- 7 169 149 | 3 14 56 | 8 2 159 3 16 12 | 8 9 256 | 157 167 4 5 8 1249 | 26 14 7 | 3 169 19 ---------------------+----------------------+--------------------- 24 5 19 | 249 3 8 | 6 d179 c1279 246 19 8 | 2469 7 126 | 2-1 5 3 26 3 7 | 269 5 126 | 4 d19 8

(1=7) r2c7 - r2c9 = r7c9 - (7=19) r79c8 => -1 r8c7; stte
Phil

by **Marty R.** » Sun Jul 28, 2013 4:01 pm

Code: Select all: +--------------+-------------+--------------+ | 1 2 5 | 7 8 4 | 9 3 6 | | 9 4 6 | 5 2 3 | 17 8 17 | | 8 7 3 | 1 6 9 | 25 4 25 | +--------------+-------------+--------------+ | 7 169 149 | 3 14 56 | 8 2 159 | | 3 16 12 | 8 9 256 | 157 167 4 | | 5 8 1249 | 26 14 7 | 3 169 19 | +--------------+-------------+--------------+ | 24 5 19 | 249 3 8 | 6 179 1279 | | 246 19 8 | 2469 7 126 | 12 5 3 | | 26 3 7 | 269 5 126 | 4 19 8 | +--------------+-------------+--------------+

Play this puzzle online at the Daily Sudoku site

DP 49-14-19 r46c359. 5r4c9=pseudo cell (12)r46c3

R4c9=5-(5=2)r3c9-r3c7=r8c7
(124=9)r4567c3-(9=1)r8c2-(1=2)r8c7=>r8c7=2

Here's an attempt to do this in one string.

DP 49-14-19 r46c359 (5r4c9=pseudo cell[12]r46c3)-(124=9)r4567c3-(9=1)r8c2-(1=2)r8c7-(2=5)r3c7=>r3c9<>5

by **tlanglet** » Sun Jul 28, 2013 8:09 pm

Take your pick: An almost finned x-wing(1), or an almost, almost x-wing(1), or a combination of a finned x-wing(1) and a Kraken x-wing(1)

x-wing(1)r58c27 with extra digit 1s at 1r4c2 and 1r2c7
x-wing(1)r58c27 => r5c3<>1
||
1 r4c2 => r5c3<>1
||
1r2c7-(1=25)r83c7-5r5c7=(5-2)r5c6=2r5c3 => r5c3<>1

It took an xy-wing(27-1)with pivot (27)r7c9 to complete the puzzle.

Ted

by **daj95376** » Sun Jul 28, 2013 9:18 pm

Marty, another way to use your DP is this discontinuous loop.

Code: Select all: +--------------------------------------------------------------+ | 1 2 5 | 7 8 4 | 9 3 6 | | 9 4 6 | 5 2 3 | 17 8 17 | | 8 7 3 | 1 6 9 | 25 4 25 | |--------------------+--------------------+--------------------| | 7 169 *149 | 3 *14 56 | 8 2 *19+5 | | 3 16 12 | 8 9 256 | 157 167 4 | | 5 8 *149+2 | 26 *14 7 | 3 169 *19 | |--------------------+--------------------+--------------------| | 24 5 19 | 249 3 8 | 6 179 1279 | | 246 19 8 | 2469 7 126 | 12 5 3 | | 26 3 7 | 269 5 126 | 4 19 8 | +--------------------------------------------------------------+ # 52 eliminations remain (5=6)r46c9,r6c8 - (6=2)r6c4 - (2)r6c3 =DP= (5)r4c9

Ted, I'd call it a finned Kraken X-Wing and only show the r2c7 logic leading to r5c3<>1.

by **tlanglet** » Mon Jul 29, 2013 11:41 am

daj95376 wrote:
Ted, I'd call it a finned Kraken X-Wing and only show the r2c7 logic leading to r5c3<>1.

Thanks for the feedback.....

Ted

by **Marty R.** » Mon Jul 29, 2013 7:35 pm

daj95376 wrote:Marty, another way to use your DP is this discontinuous loop.

Code: Select all
+--------------------------------------------------------------+ | 1 2 5 | 7 8 4 | 9 3 6 | | 9 4 6 | 5 2 3 | 17 8 17 | | 8 7 3 | 1 6 9 | 25 4 25 | |--------------------+--------------------+--------------------| | 7 169 *149 | 3 *14 56 | 8 2 *19+5 | | 3 16 12 | 8 9 256 | 157 167 4 | | 5 8 *149+2 | 26 *14 7 | 3 169 *19 | |--------------------+--------------------+--------------------| | 24 5 19 | 249 3 8 | 6 179 1279 | | 246 19 8 | 2469 7 126 | 12 5 3 | | 26 3 7 | 269 5 126 | 4 19 8 | +--------------------------------------------------------------+ # 52 eliminations remain (5=6)r46c9,r6c8 - (6=2)r6c4 - (2)r6c3 =DP= (5)r4c9

Ted, I'd call it a finned Kraken X-Wing and only show the r2c7 logic leading to r5c3<>1.

Like Ted, I appreciate feedback too, but I just don't understand this. :oops:

by **tlanglet** » Mon Jul 29, 2013 10:44 pm

Marty R. wrote:
Code: Select all
+--------------+-------------+--------------+ | 1 2 5 | 7 8 4 | 9 3 6 | | 9 4 6 | 5 2 3 | 17 8 17 | | 8 7 3 | 1 6 9 | 25 4 25 | +--------------+-------------+--------------+ | 7 169 149 | 3 14 56 | 8 2 159 | | 3 16 12 | 8 9 256 | 157 167 4 | | 5 8 1249 | 26 14 7 | 3 169 19 | +--------------+-------------+--------------+ | 24 5 19 | 249 3 8 | 6 179 1279 | | 246 19 8 | 2469 7 126 | 12 5 3 | | 26 3 7 | 269 5 126 | 4 19 8 | +--------------+-------------+--------------+

Play this puzzle online at the Daily Sudoku site

DP 49-14-19 r46c359. 5r4c9=pseudo cell (12)r46c3

R4c9=5-(5=2)r3c9-r3c7=r8c7
(124=9)r4567c3-(9=1)r8c2-(1=2)r8c7=>r8c7=2

Here's an attempt to do this in one string.

DP 49-14-19 r46c359 (5r4c9=pseudo cell[12]r46c3)-(124=9)r4567c3-(9=1)r8c2-(1=2)r8c7-(2=5)r3c7=>r3c9<>5

Marty, using a pseudocell in an AIC is another awkward eureka situation. In such cases, I attempt to state the circumstances prior to providing the notation. For example,

BUG-Lite+3 (149)r46c359 with internal strong inferences 5r4c9 and pseudocell (12)r46c3
BUG-Lite+3 (149)r46c359[5r4c9=LS{(12)r46c3,(12)r5c3}]-1r7c3=r8c2-(1=2)r8c7-(2=5)r3c7 => r3c9<>5

What I hope for readers to obtain from this notation is that the BUG-Lite has a strong inference, 5r4c9 and (12)r46c3, and that the pseudocell (12)r46c3 forms a locked set, ls, with (12)r5c3 which results then deletes digit 1 from r7c, etc. The brackets are an attempt to collect the assorted items into logical groups.

Regarding the comment by Danny: (5=6)r46c9,r6c8 - (6=2)r6c4 - (2)r6c3 =DP= (5)r4c9
The first term is simply a statement of a strong inference obtain from the als(1569)r46c9, r6c8. This step is the same idea as frequently used recently to form an "als xy-wing".
The second term is a straight forward bivalue action.
The third term is that the pseudocell (12)r46c3 of the BUG_Lite+3 is false since r6c4=2 and it sees the digit 2 in the pseudocell.
The fourth term states that since the pseudocell is false, then the BUG-Lite+3 strong inference forces 5r4c9 to be true.

The notational form employed on this forum for noting the strong inference provided by a potential DP is term =DP= term. I prefer to use the format employed on the eureka forum when it was alive and active: DP[term = term] which is more consistent with eureka format. Thus, I would present it as:
(5=6)r46c9,r6c8 - (6=2)r6c4 - BUG-Lite+3(149)r46c359[(12)r46c3=5r4c9] => r4c9=5

I expect Danny to also respond and his explanation my be easier to understand.

Ted

The New Sudoku Players' Forum

Vanhegan Extreme July 28, 2013

Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013

Re: Vanhegan Extreme July 28, 2013