Vanhegan Extreme July 28, 2013

Post puzzles for others to solve here.

Vanhegan Extreme July 28, 2013

Postby 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
dan
User avatar
ArkieTech
 
Posts: 2625
Joined: 29 May 2006
Location: NW Arkansas USA

Re: Vanhegan Extreme July 28, 2013

Postby 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
Leren
 
Posts: 2847
Joined: 03 June 2012

Re: Vanhegan Extreme July 28, 2013

Postby 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
pjb
2014 Supporter
 
Posts: 1671
Joined: 11 September 2011
Location: Sydney, Australia

Re: Vanhegan Extreme July 28, 2013

Postby 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
Marty R.
 
Posts: 1403
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Vanhegan Extreme July 28, 2013

Postby 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
tlanglet
2010 Supporter
 
Posts: 538
Joined: 29 May 2010

Re: Vanhegan Extreme July 28, 2013

Postby 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.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: Vanhegan Extreme July 28, 2013

Postby 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
tlanglet
2010 Supporter
 
Posts: 538
Joined: 29 May 2010

Re: Vanhegan Extreme July 28, 2013

Postby 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:
Marty R.
 
Posts: 1403
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Vanhegan Extreme July 28, 2013

Postby 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
tlanglet
2010 Supporter
 
Posts: 538
Joined: 29 May 2010


Return to Puzzles