Dan's Delusional November 16, 2013

Post puzzles for others to solve here.

Dan's Delusional November 16, 2013

Postby ArkieTech » Sat Nov 16, 2013 12:29 am

Code: Select all
 *-----------*
 |.23|..6|...|
 |.5.|.32|1..|
 |1..|5..|...|
 |---+---+---|
 |.6.|48.|2..|
 |..9|267|8..|
 |..8|.95|.6.|
 |---+---+---|
 |...|..3|..1|
 |..1|72.|.4.|
 |...|6..|59.|
 *-----------*


Play/Print this puzzle online
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: Dan's Delusional November 16, 2013

Postby Leren » Sat Nov 16, 2013 1:40 am

Code: Select all
*--------------------------------------------------------------*
| 48    2     3      | 1     7     6      | 9     5     48     |
| 69    5     467    | 89    3     2      | 1     78    468    |
| 1     789  b67     | 5     4     89     |a36    278  e28-36  |
|--------------------+--------------------+--------------------|
| 7     6     5      | 4     8     1      | 2     3     9      |
| 34    34    9      | 2     6     7      | 8     1     5      |
| 2     1     8      | 3     9     5      | 4     6     7      |
|--------------------+--------------------+--------------------|
| 69    489   246    | 89    5     3      | 7     28    1      |
| 5     389   1      | 7     2     89     | 36    4     368    |
| 38    378  c27     | 6     1     4      | 5     9    d238    |
*--------------------------------------------------------------*

H3 Wing with extension cell r3c7: (3=6) r3c7 - [ (6=7) r3c3 - (7=2) r9c3 - r9c9 = (2) r3c9 ] => -36 r3c9; stte

Leren
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: Dan's Delusional November 16, 2013

Postby ArkieTech » Sat Nov 16, 2013 3:49 am

Leren wrote:
Code: Select all
*--------------------------------------------------------------*
| 48    2     3      | 1     7     6      | 9     5     48     |
| 69    5     467    | 89    3     2      | 1     78    468    |
| 1     789  b67     | 5     4     89     |a36    278  e28-36  |
|--------------------+--------------------+--------------------|
| 7     6     5      | 4     8     1      | 2     3     9      |
| 34    34    9      | 2     6     7      | 8     1     5      |
| 2     1     8      | 3     9     5      | 4     6     7      |
|--------------------+--------------------+--------------------|
| 69    489   246    | 89    5     3      | 7     28    1      |
| 5     389   1      | 7     2     89     | 36    4     368    |
| 38    378  c27     | 6     1     4      | 5     9    d238    |
*--------------------------------------------------------------*

H3 Wing with extension cell r3c7: (3=6) r3c7 - [ (6=7) r3c3 - (7=2) r9c3 - r9c9 = (2) r3c9 ] => -36 r3c9; stte



(36=7)r3c37=(7=2)r9c3=(2=4836)r1289c9 => -36r3c9, -3r8c7

AHS I hope! :D
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: Dan's Delusional November 16, 2013

Postby tlanglet » Sat Nov 16, 2013 4:11 am

Call it what you will, but r7c3 has three digits: (246)r7c3
2r7c3-(2=8)r7c8
4r7c3-4r2c3=4r2c9-(4=8)r1c9-8r89c9=8r7c8
6r7c3-6r23c3=6r2c1-(6=48)r21c9-8r89c9=8r7c8 => r7c8=8

Ted
tlanglet
2010 Supporter
 
Posts: 538
Joined: 29 May 2010

Re: Dan's Delusional November 16, 2013

Postby Luke » Sat Nov 16, 2013 5:07 am

ArkieTech wrote:
Leren wrote:
Code: Select all
*--------------------------------------------------------------*
| 48    2     3      | 1     7     6      | 9     5     48     |
| 69    5     467    | 89    3     2      | 1     78    468    |
| 1     789  b67     | 5     4     89     |a36    278  e28-36  |
|--------------------+--------------------+--------------------|
| 7     6     5      | 4     8     1      | 2     3     9      |
| 34    34    9      | 2     6     7      | 8     1     5      |
| 2     1     8      | 3     9     5      | 4     6     7      |
|--------------------+--------------------+--------------------|
| 69    489   246    | 89    5     3      | 7     28    1      |
| 5     389   1      | 7     2     89     | 36    4     368    |
| 38    378  c27     | 6     1     4      | 5     9    d238    |
*--------------------------------------------------------------*

H3 Wing with extension cell r3c7: (3=6) r3c7 - [ (6=7) r3c3 - (7=2) r9c3 - r9c9 = (2) r3c9 ] => -36 r3c9; stte



(36=7)r3c37=(7=2)r9c3=(2=4836)r1289c9 => -36r3c9, -3r8c7

AHS I hope! :D

Dan, I like your way better, altho you are severely weak-link-impaired today.
As for AHS? Man, I just see an ALS chain, although smarter folk could shed light otherwise.

Leren, I see where you're going, but I don't see your notation fulfilling the old maxim, "One end must be true." Or ... I might just not be familiar with brackets used that way.

Here's the hidden pair in this pattern isolated a little differently:

Code: Select all
 *-----------------------------------------------------------*
 | 48    2     3     | 1     7     6     | 9     5     48    |
 | 69    5     467   | 89    3     2     | 1     78    468   |
 | 1     789   67    | 5     4     89    | 36    278   2368  |
 |-------------------+-------------------+-------------------|
 | 7     6     5     | 4     8     1     | 2     3     9     |
 | 34    34    9     | 2     6     7     | 8     1     5     |
 | 2     1     8     | 3     9     5     | 4     6     7     |
 |-------------------+-------------------+-------------------|
 | 69    489   246   | 89    5     3     | 7     28    1     |
 | 5     389   1     | 7     2     89    | 36    4     368   |
 | 38    378   27    | 6     1     4     | 5     9     238   |
 *-----------------------------------------------------------*

(6)r3c3=hp(36)r3c79-(2)r3c9=(2)r9c9-(2=7)r9c3 ==>r3c3<>7
User avatar
Luke
2015 Supporter
 
Posts: 435
Joined: 06 August 2006
Location: Southern Northern California

Re: Dan's Delusional November 16, 2013

Postby 7b53 » Sat Nov 16, 2013 6:17 am

another r3c9 <> 36
(2)r3c9 = (2)r9c9 - (2=7)r9c3 - (7=6)r3c3 - (6=3)r3c7 => r3c9 <> 36

Code: Select all
 *-----------------------------------------------------------*
 | 48    2     3     | 1     7     6     | 9     5     48    |
 | 69    5     467   | 89    3     2     | 1     78    468   |
 | 1     789   67    | 5     4     89    | 36    278   2368  |
 |-------------------+-------------------+-------------------|
 | 7     6     5     | 4     8     1     | 2     3     9     |
 | 34    34    9     | 2     6     7     | 8     1     5     |
 | 2     1     8     | 3     9     5     | 4     6     7     |
 |-------------------+-------------------+-------------------|
 | 69    489   246   | 89    5     3     | 7     28    1     |
 | 5     389   1     | 7     2     89    | 36    4     368   |
 | 38    378   27    | 6     1     4     | 5     9     238   |
 *-----------------------------------------------------------*

Luke wrote:(6)r3c3=hp(36)r3c79-(2)r3c9=(2)r9c9-(2=7)r9c3 ==>r3c3<>7

Like !
7b53
2012 Supporter
 
Posts: 156
Joined: 01 January 2012
Location: New York

Re: Dan's Delusional November 16, 2013

Postby JC Van Hay » Sat Nov 16, 2013 8:04 am

Code: Select all
+-----------------+-----------+---------------+
| 48    2     3   | 1   7  6  | 9   5    48   |
| 69    5     467 | 89  3  2  | 1   78   46   |
| 1     789   67  | 5   4  89 | 36  278  2368 |
+-----------------+-----------+---------------+
| 7     6     5   | 4   8  1  | 2   3    9    |
| 4-3   (34)  9   | 2   6  7  | 8   1    5    |
| 2     1     8   | 3   9  5  | 4   6    7    |
+-----------------+-----------+---------------+
| 69    (48)  246 | 89  5  3  | 7   28   1    |
| 5     89-3  1   | 7   2  89 | 36  4    368  |
| (38)  78-3  27  | 6   1  4  | 5   9    238  |
+-----------------+-----------+---------------+
XYWing : (3=8)r9c1-(8=43)r75c2 :=> -3r5c1,r89c2; stte
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: Dan's Delusional November 16, 2013

Postby Leren » Sat Nov 16, 2013 9:24 am

JC Van Hay Wrote: XYWing : (3=8)r9c1-(8=43)r75c2 :=> -3r5c1,r89c2; stte

You might like to rethink this. You appear to have used an XWing for r7c2 <> 9. Basic fish are normally not used in these threads prior to "the move".

Also your XY wing does not lead immediately to an stte end. One more non-basic move is required.

Leren
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: Dan's Delusional November 16, 2013

Postby daj95376 » Sat Nov 16, 2013 11:11 am

Leren's eliminations.

Code: Select all
             (6=7)r3c3 - (7=2)r9c3 - (2)r9c9 = (2)r3c9  =>  r3c9<>6   (H3-Wing)
 (3=6)r3c7 - (6=7)r3c3 - (7=2)r9c3 - (2)r9c9 = (2)r3c9  =>  r3c9<>3
 +--------------------------------------------------------------+
 |  48    2     3     |  1     7     6     |  9     5     48    |
 |  69    5     467   |  89    3     2     |  1     78    468   |
 |  1     789   67    |  5     4     89    |  36    278   2368  |
 |--------------------+--------------------+--------------------|
 |  7     6     5     |  4     8     1     |  2     3     9     |
 |  34    34    9     |  2     6     7     |  8     1     5     |
 |  2     1     8     |  3     9     5     |  4     6     7     |
 |--------------------+--------------------+--------------------|
 |  69    489   246   |  89    5     3     |  7     28    1     |
 |  5     389   1     |  7     2     89    |  36    4     368   |
 |  38    378   27    |  6     1     4     |  5     9     238   |
 +--------------------------------------------------------------+
 # 40 eliminations remain
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Dan's Delusional November 16, 2013

Postby JC Van Hay » Sat Nov 16, 2013 11:21 am

Sorry if I am considering that Basics=Singles+Fishes+Subsets in order to get a PM where each candidate belongs to at least one solution of its digit and of each of the 3 units where it is lying.
This was my "complete" solution prior to my post :)

#0. 16 Singles; LC(6r7c13)-6r7c7; 6 Singles; HP(69-48)r27c1
#1. FXWing(8C48)-8r2c9; XWing(9C14)-9r7c2
#2. XYWing : [(3=8)r9c1-(8=4)r7c2-(4=3)r5c2]-3r5c1,r89c2; stte
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: Dan's Delusional November 16, 2013

Postby daj95376 » Sat Nov 16, 2013 11:28 am

7b53 wrote:another r3c9 <> 36
(2)r3c9 = (2)r9c9 - (2=7)r9c3 - (7=6)r3c3 - (6=3)r3c7 => r3c9 <> 36

This is Leren's chain written r-to-l. However, I do like the use of the underline to qualify the eliminations!
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Dan's Delusional November 16, 2013

Postby daj95376 » Sat Nov 16, 2013 11:48 am

Luke wrote:Here's the hidden pair in this pattern isolated a little differently:

Code: Select all
 *-----------------------------------------------------------*
 | 48    2     3     | 1     7     6     | 9     5     48    |
 | 69    5     467   | 89    3     2     | 1     78    468   |
 | 1     789   67    | 5     4     89    | 36    278   2368  |
 |-------------------+-------------------+-------------------|
 | 7     6     5     | 4     8     1     | 2     3     9     |
 | 34    34    9     | 2     6     7     | 8     1     5     |
 | 2     1     8     | 3     9     5     | 4     6     7     |
 |-------------------+-------------------+-------------------|
 | 69    489   246   | 89    5     3     | 7     28    1     |
 | 5     389   1     | 7     2     89    | 36    4     368   |
 | 38    378   27    | 6     1     4     | 5     9     238   |
 *-----------------------------------------------------------*

(6)r3c3=hp(36)r3c79-(2)r3c9=(2)r9c9-(2=7)r9c3 ==>r3c3<>7

Nice find. However, how about a hidden UR Type 1 ?

Code: Select all
(6)r3c3 = (36)UR1[r38c79]+(8)r8c9 - (8=46)r12c9  =>  r3c79<>6



Addendum:

Upon closer review, we could conclude (6)r3c3 =HUR= (8)r8c9 as an external UR candidate forcing an internal non-UR candidate.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Dan's Delusional November 16, 2013

Postby Marty R. » Sat Nov 16, 2013 10:22 pm

Code: Select all
+------------+---------+-------------+
| 48 2   3   | 1  7 6  | 9  5   48   |
| 69 5   467 | 89 3 2  | 1  78  468  |
| 1  789 67  | 5  4 89 | 36 278 2368 |
+------------+---------+-------------+
| 7  6   5   | 4  8 1  | 2  3   9    |
| 34 34  9   | 2  6 7  | 8  1   5    |
| 2  1   8   | 3  9 5  | 4  6   7    |
+------------+---------+-------------+
| 69 489 246 | 89 5 3  | 7  28  1    |
| 5  389 1   | 7  2 89 | 36 4   368  |
| 38 378 27  | 6  1 4  | 5  9   238  |
+------------+---------+-------------+

Play this puzzle online at the Daily Sudoku site

Old-fashioned two-stepper.

1) X-Wing (9), c14=>r7c2<>9
2) W-Wing (48), b17, SL 4 in c3=>r3c2,r9c1<>8
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Dan's Delusional November 16, 2013

Postby ronk » Mon Nov 18, 2013 2:21 am

daj95376 wrote:
Luke wrote:Here's the hidden pair in this pattern isolated a little differently:

Code: Select all
 *-----------------------------------------------------------*
 | 48    2     3     | 1     7     6     | 9     5     48    |
 | 69    5     467   | 89    3     2     | 1     78    468   |
 | 1     789   67    | 5     4     89    | 36    278   2368  |
 |-------------------+-------------------+-------------------|
 | 7     6     5     | 4     8     1     | 2     3     9     |
 | 34    34    9     | 2     6     7     | 8     1     5     |
 | 2     1     8     | 3     9     5     | 4     6     7     |
 |-------------------+-------------------+-------------------|
 | 69    489   246   | 89    5     3     | 7     28    1     |
 | 5     389   1     | 7     2     89    | 36    4     368   |
 | 38    378   27    | 6     1     4     | 5     9     238   |
 *-----------------------------------------------------------*

(6)r3c3=hp(36)r3c79-(2)r3c9=(2)r9c9-(2=7)r9c3 ==>r3c3<>7

Nice find. However, how about a hidden UR Type 1 ?

Code: Select all
(6)r3c3 = (36)UR1[r38c79]+(8)r8c9 - (8=46)r12c9  =>  r3c79<>6

A counter-result showing r3c7<>6 is invalid. IOW r38c9=8 is not forced when r3c3<>6. What am I missing?

Code: Select all
 .  .  . |  .  .  . |  .  .  8
 .  .  . |  .  .  . |  .  .  4
 .  .  7 |  .  .  . |  6  .  2
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  3  .  6
 .  .  2 |  .  .  . |  .  .  .
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: Dan's Delusional November 16, 2013

Postby daj95376 » Mon Nov 18, 2013 4:16 pm

ronk wrote:A counter-result showing r3c7<>6 is invalid. IOW r38c9=8 is not forced when r3c3<>6. What am I missing?

Code: Select all
 .  .  . |  .  .  . |  .  .  8
 .  .  . |  .  .  . |  .  .  4
 .  .  7 |  .  .  . |  6  .  2
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  3  .  6
 .  .  2 |  .  .  . |  .  .  .


Where is <3> in [r3/b3] of your example? Here are my two possible results if r3c3<>6.

Code: Select all
 .  .  . |  .  .  . |  .  . 48
 .  .  . |  .  .  . |  .  . 48
 .  .  7 |  .  .  . | *6  2 *3
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
---------+----------+-----------
 .  .  . |  .  .  . |  .  8  .
 .  .  . |  .  .  . | *3  . *6
 .  .  2 |  .  .  . |  .  .  .


 .  .  . |  .  .  . |  .  . 48
 .  .  . |  .  .  . |  .  . 48
 .  .  7 |  .  .  . | *3  2 *6
---------+----------+-----------
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
 .  .  . |  .  .  . |  .  .  .
---------+----------+-----------
 .  .  . |  .  .  . |  .  8  .
 .  .  . |  .  .  . | *6  . *3
 .  .  2 |  .  .  . |  .  .  .

The <2> and <8> in [c8] are extraneous and strictly FYI. The <48> in [b3] is what prevents r8c9=8.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Next

Return to Puzzles