August 3, 2016

Post puzzles for others to solve here.

August 3, 2016

Postby ArkieTech » Tue Aug 02, 2016 10:54 pm

Code: Select all
 *-----------*
 |...|.6.|9..|
 |7..|.2.|1.3|
 |.45|...|.62|
 |---+---+---|
 |2.1|...|.8.|
 |...|2.4|...|
 |.3.|...|7.6|
 |---+---+---|
 |87.|...|69.|
 |4.6|.7.|..8|
 |..2|.4.|...|
 *-----------*
 


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

Re: August 3, 2016

Postby SteveG48 » Tue Aug 02, 2016 11:25 pm

Code: Select all
 *-----------------------------------------------------------*
 | 13    2     8     | 1345  6     135   | 9     457  b57    |
 | 7     6     9     | 458   2     58    | 1     45    3     |
 | 13    4     5     | 1379  19    1379  | 8     6     2     |
 *-------------------+-------------------+-------------------|
 | 2    a59    1     | 67    3     67    | 4     8    b59    |
 | 6     8     7     | 2     59    4     | 35    135   159   |
 | 59    3     4     | 159   8     159   | 7     2     6     |
 *-------------------+-------------------+-------------------|
 | 8     7     3     | 15    15    2     | 6     9     4     |
 | 4    a15    6     | 39    7     39    | 2     5-1   8     |
 | 59    59-1  2     | 68    4     68    | 35    1357 b157   |
 *-----------------------------------------------------------*


(1=59)r48c2 - (9=157)r149c9 => -1 r8c8,r9c2 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4244
Joined: 08 November 2013
Location: Orlando, Florida

Re: August 3, 2016

Postby Marty R. » Wed Aug 03, 2016 12:46 am

Code: Select all
+----------+--------------+-------------+
| 13 2   8 | 1345 6  135  | 9  457  57  |
| 7  6   9 | 458  2  58   | 1  45   3   |
| 13 4   5 | 1379 19 1379 | 8  6    2   |
+----------+--------------+-------------+
| 2  59  1 | 67   3  67   | 4  8    59  |
| 6  8   7 | 2    59 4    | 35 135  159 |
| 59 3   4 | 159  8  159  | 7  2    6   |
+----------+--------------+-------------+
| 8  7   3 | 15   15 2    | 6  9    4   |
| 4  15  6 | 39   7  39   | 2  15   8   |
| 59 159 2 | 68   4  68   | 35 1357 157 |
+----------+--------------+-------------+

Play this puzzle online at the Daily Sudoku site

UR (35)r59c78 internals

1r59c8=7r9c8
1r59c8-(1=53)r8c8,r9c7
7r9c8-(7=153)b9p597=> 3r9c7
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: August 3, 2016

Postby JC Van Hay » Wed Aug 03, 2016 7:01 am

Code: Select all
+------------+----------------+-------------------+
| 13  2    8 | 1345  6   135  | 9     457     57  |
| 7   6    9 | 458   2   58   | 1     45      3   |
| 13  4    5 | 1379  19  1379 | 8     6       2   |
+------------+----------------+-------------------+
| 2   59   1 | 67    3   67   | 4     8       59  |
| 6   8    7 | 2     59  4    | (35)  5-1(3)  159 |
| 59  3    4 | 159   8   159  | 7     2       6   |
+------------+----------------+-------------------+
| 8   7    3 | 15    15  2    | 6     9       4   |
| 4   15   6 | 39    7   39   | 2     (15)    8   |
| 59  159  2 | 68    4   68   | 3(5)  1357    157 |
+------------+----------------+-------------------+
Wing{(15)r8c8, 5C7, 3R5} -> -{1r5c8}; stte
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: August 3, 2016

Postby Leren » Wed Aug 03, 2016 7:04 am

Code: Select all
*---------------------------------------------------------------*
| 13    2     8      | 1345  6     135    |  9     457   57     |
| 7     6     9      | 458   2     58     |  1     45    3      |
| 13    4     5      | 1379  19    1379   |  8     6     2      |
|--------------------+--------------------+---------------------|
| 2     59    1      | 67    3     67     |  4     8     9-5    |
| 6     8     7      | 2     9-5   4      |ea35   b135   19-5   |
| 59    3     4      | 159   8     159    |  7     2     6      |
|--------------------+--------------------+---------------------|
| 8     7     3      | 15    15    2      |  6     9     4      |
| 4     15    6      | 39    7     39     |  2    c15    8      |
| 59    159   2      | 68    4     68     | d35    1357  157    |
*---------------------------------------------------------------*

XYZ Wing with pincer transport => - 5 r45c9, r5c5; stte

Leren
Leren
 
Posts: 5040
Joined: 03 June 2012

Re: August 3, 2016

Postby bat999 » Wed Aug 03, 2016 9:16 am

Code: Select all
.------------.----------------.-------------------.
| 13  2    8 | 1345  6   135  |  9    457    57   |
| 7   6    9 | 458   2   58   |  1    45     3    |
| 13  4    5 | 1379  19  1379 |  8    6      2    |
:------------+----------------+-------------------:
| 2   59   1 | 67    3   67   |  4    8     b59   |
| 6   8    7 | 2     59  4    | b35   35-1  b159  |
| 59  3    4 | 159   8   159  |  7    2      6    |
:------------+----------------+-------------------:
| 8   7    3 | 15    15  2    |  6    9      4    |
| 4   15   6 | 39    7   39   |  2   a15     8    |
| 59  159  2 | 68    4   68   | a35   1357   57-1 |
'------------'----------------'-------------------'
(1=3)r8c8,r9c7 - (3=1)r4c9,r5c79 => -1 r5c8,r9c9; stte
8-)
bat999
2017 Supporter
 
Posts: 677
Joined: 15 September 2014
Location: UK

Re: August 3, 2016

Postby pjb » Wed Aug 03, 2016 10:59 am

Code: Select all
 13      2       8      | 1345   6      135    | 9      457    57     
 7       6       9      | 458    2      58     | 1      45     3     
 13      4       5      | 1379   19     1379   | 8      6      2     
------------------------+----------------------+---------------------
 2       59      1      | 67     3      67     | 4      8      59     
 6       8       7      | 2     a59     4      |a35     135   a159   
 59      3       4      | 159    8      159    | 7      2      6     
------------------------+----------------------+---------------------
 8       7       3      | 15     15     2      | 6      9      4     
 4       15      6      | 39     7      39     | 2      15     8     
b59     b159     2      | 68     4      68     |b35     1357   57-1   

(1=3)r5c579 - (3=1)r9c127 => -1 r9c9; stte

Phil
pjb
2014 Supporter
 
Posts: 2568
Joined: 11 September 2011
Location: Sydney, Australia

Re: August 3, 2016

Postby Marty R. » Wed Aug 03, 2016 12:00 pm

Leren wrote:
Code: Select all
*---------------------------------------------------------------*
| 13    2     8      | 1345  6     135    |  9     457   57     |
| 7     6     9      | 458   2     58     |  1     45    3      |
| 13    4     5      | 1379  19    1379   |  8     6     2      |
|--------------------+--------------------+---------------------|
| 2     59    1      | 67    3     67     |  4     8     9-5    |
| 6     8     7      | 2     9-5   4      |ea35   b135   19-5   |
| 59    3     4      | 159   8     159    |  7     2     6      |
|--------------------+--------------------+---------------------|
| 8     7     3      | 15    15    2      |  6     9     4      |
| 4     15    6      | 39    7     39     |  2    c15    8      |
| 59    159   2      | 68    4     68     | d35    1357  157    |
*---------------------------------------------------------------*

XYZ Wing with pincer transport => - 5 r45c9, r5c5; stte

Leren


Nice, Leren. I can follow it up to a point,assuming the wing is hinged in r5c8 and the 5 in r8c8 is transported to r1c9. Why is there a direct elimination in r5c5? That 5 falls immediately once the other eliminations are applied but I can't understand it as a direct.
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: August 3, 2016

Postby Ngisa » Wed Aug 03, 2016 5:06 pm

Code: Select all
+----------+--------------+-------------+
| 13 2   8 | 1345 6  135  | 9  457  e57  |
| 7  6   9 | 458  2  58   | 1  45   3   |
| 13 4   5 | 1379 19 1379 | 8  6    2   |
+----------+--------------+-------------+
| 2  f59  1 | 67   3  67   | 4  8    e59  |
| 6  8   7 | 2    9-5 4    | a35 135  159 |
| g59 3   4 | h159  8  h159  | 7  2    6   |
+----------+--------------+-------------+
| 8  7   3 | 15   15 2    | 6  9    4   |
| 4  15  6 | 39   7  39   | 2  15   8   |
| 59 159 2 | 68   4  68   | b35 c1357 d157 |
+----------+--------------+-------------+

(5=3)r5c7 - r9c7 = (3-7)r9c8 = r9c9 - (7=9)r14c9 - r4c2 = r6c1 - (9=5)r6c46 => -5 r5c5; stte

Clement
Ngisa
 
Posts: 1384
Joined: 18 November 2012

Re: August 3, 2016

Postby Leren » Wed Aug 03, 2016 10:14 pm

Marty R wrote : Why is there a direct elimination in r5c5? That 5 falls immediately once the other eliminations are applied but I can't understand it as a direct.

Hi Marty,

The XYZ Wing basic premise is that at least one of r5c78 or r8c8 must be 5, otherwise the pivot cell r5c8 would be empty. By transporting the 5 in r8c8 to r5c7, it means that one of r5c78 must be 5 (that's the whole point of the transport - reduce the number of 5's that must be True). So any 5 that can be seen by both r5c78 must be False, including the 5 in r5c5.

BTW XYZ Wings don't seem to be easily explainable in terms of Eureka notation, so I didn't bother trying.

Leren
Leren
 
Posts: 5040
Joined: 03 June 2012

Re: August 3, 2016

Postby Marty R. » Wed Aug 03, 2016 11:07 pm

Leren wrote:
Marty R wrote : Why is there a direct elimination in r5c5? That 5 falls immediately once the other eliminations are applied but I can't understand it as a direct.

Hi Marty,

The XYZ Wing basic premise is that at least one of r5c78 or r8c8 must be 5, otherwise the pivot cell r5c8 would be empty. By transporting the 5 in r8c8 to r5c7, it means that one of r5c78 must be 5 (that's the whole point of the transport - reduce the number of 5's that must be True). So any 5 that can be seen by both r5c78 must be False, including the 5 in r5c5.

BTW XYZ Wings don't seem to be easily explainable in terms of Eureka notation, so I didn't bother trying.

Leren


Of course, there has to be something that I don't understand. You transported from one pincer cell to another, thus reducing the number of pincers from 3 to 2. But it's OK, we can let it go. :)
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: August 3, 2016

Postby pjb » Thu Aug 04, 2016 5:55 am

Leren, nice solution, but what's wrong with (5=3)r5c7* - (3=1)r9c7,r8c8 - (13=5)r5c8* ?
Cheers, Phil
pjb
2014 Supporter
 
Posts: 2568
Joined: 11 September 2011
Location: Sydney, Australia

Re: August 3, 2016

Postby Leren » Thu Aug 04, 2016 11:52 am

pjb wrote:Leren, nice solution, but what's wrong with (5=3)r5c7* - (3=1)r9c7,r8c8 - (13=5)r5c8* ?
Cheers, Phil

Hi Phil, that seems to solve the Eureka notation problem, but it just looks like a Type 1 AIC with memory, so the original XYZ with transport idea seems superfluous - maybe they are always explainable in this way.

Cheers, Leren
Leren
 
Posts: 5040
Joined: 03 June 2012


Return to Puzzles