Menneske 4896024

Post puzzles for others to solve here.

Menneske 4896024

Postby ArkieTech » Thu Apr 11, 2013 1:56 am

Code: Select all
 *-----------*
 |...|32.|...|
 |..8|..9|...|
 |5..|.7.|...|
 |---+---+---|
 |4..|1..|..3|
 |..2|.6.|59.|
 |..9|.3.|...|
 |---+---+---|
 |.2.|.1.|.3.|
 |..3|4..|.27|
 |.1.|...|..4|
 *-----------*


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

Re: Menneske 4896024

Postby Leren » Thu Apr 11, 2013 4:27 am

Code: Select all
*--------------------------------------------------------------*
| 679   4     67     | 3     2     1      | 78    5     89     |
| 2     37    8      | 5     4     9      | 37    1     6      |
| 5     39    1      | 6     7     8      | 23    4     29     |
|--------------------+--------------------+--------------------|
| 4     5678 a57     | 1     9     25     | 268  b678   3      |
| 3     78    2      | 78    6     4      | 5     9     1      |
| 1    d678-5 9      | 78    3     25     | 4    c678   28     |
|--------------------+--------------------+--------------------|
| 68    2     4      | 9     1     7      | 68    3     5      |
| 89    59    3      | 4     58    6      | 1     2     7      |
| 678   1     567    | 2     58    3      | 9     68    4      |
*--------------------------------------------------------------*

H2-wing: (5=7) r4c3 - r4c8 = (7-6) r6c8 = r6c2 => -5 r6c2; stte

Leren
Leren
 
Posts: 5040
Joined: 03 June 2012

Re: Menneske 4896024

Postby eleven » Thu Apr 11, 2013 8:03 am

Code: Select all
    *--------------------------------------------------------------*
    |#679   4    #67     | 3     2     1      |*78    5     89     |
    | 2     37    8      | 5     4     9      | 37    1     6      |
    | 5     39    1      | 6     7     8      | 23    4     29     |
    |--------------------+--------------------+--------------------|
    | 4     5678  57     | 1     9     25     | 268   678   3      |
    | 3     78    2      | 78    6     4      | 5     9     1      |
    | 1     6785  9      | 78    3     25     | 4     678   28     |
    |--------------------+--------------------+--------------------|
    | 68    2     4      | 9     1     7      |a68    3     5      |
    | 89    59    3      | 4     58    6      | 1     2     7      |
    |#678   1    #567    | 2     58    3      | 9    *68    4      |
    *--------------------------------------------------------------*

DP 67r19c13, r1c7=7 or r9c8=6->r6c7=8->r1c7=7 => r1c7=7
eleven
 
Posts: 3096
Joined: 10 February 2008

Re: Menneske 4896024

Postby Leren » Thu Apr 11, 2013 11:29 am

eleven wrote: DP 67r19c13, r1c7=7 or r9c8=6->r6c7=8->r1c7=7 => r1c7=7

Are you sure about this ?

I think you meant: DP 67r19c13, r1c7=7 or r9c8=6->r7c7=8->r1c7=7 => r1c7=7

but this doesn't necessarily follow. If r1c7 = 7 and r9c8 = 8 then r7c7 = 6.

What I do see is -6 r9c8 = UR = 7 r1c7 - (7=6) r1c3 => -6 r9c3

Leren
Leren
 
Posts: 5040
Joined: 03 June 2012

Re: Menneske 4896024

Postby JC Van Hay » Thu Apr 11, 2013 1:38 pm

Hmm, hmm ...
Code: Select all
+---------------------+------------+-----------------+
| 9(67)  4     (67)   | 3   2   1  | -8(7)  5     89 |
| 2      37    8      | 5   4   9  | 37     1     6  |
| 5      39    1      | 6   7   8  | 23     4     29 |
+---------------------+------------+-----------------+
| 4      5678  57     | 1   9   25 | 268    678   3  |
| 3      78    2      | 78  6   4  | 5      9     1  |
| 1      5678  9      | 78  3   25 | 4      678   28 |
+---------------------+------------+-----------------+
| 68     2     4      | 9   1   7  | 6(8)   3     5  |
| 89     59    3      | 4   58  6  | 1      2     7  |
| 8(67)  1     5(7-6) | 2   58  3  | 9      (68)  4  |
+---------------------+------------+-----------------+
Chain[6] : Uniqueness Test : 67R19 8B9 R1C3 :=> -8r1c7,-6r9c3; ste
as a combination of
Chain[5] : 67R19 8B9 : 7r1c7=UR(67)r19c13=(6-8)r9c8=8r7c7 :=> -8r1c7; ste
and
Chain[4] : 6R19 7R9 R1C3 : 6r9c8=[UR(67)r19c13 or 6r1c3] :=> -6r9c3 [Optional]
JC Van Hay
 
Posts: 719
Joined: 22 May 2010

Re: Menneske 4896024

Postby 7b53 » Thu Apr 11, 2013 2:59 pm

DP 67r19c13, r1c7=7 or r9c8=6->r7c7=8->r1c7=7 => r1c7=7

I think this translate to (r1c7=7 or r9c8=6) one of them must be true to avoid the DP 67
if r9c8=6 -> r7c7=8 -> r1c7=7
if r9c8<>6 then r1c7 must be 7
either case, r1c7=7
7b53
2012 Supporter
 
Posts: 156
Joined: 01 January 2012
Location: New York

Re: Menneske 4896024

Postby Marty R. » Thu Apr 11, 2013 4:41 pm

Code: Select all
+--------------+----------+------------+
| 679 4    67  | 3  2  1  | 78  5   89 |
| 2   37   8   | 5  4  9  | 37  1   6  |
| 5   39   1   | 6  7  8  | 23  4   29 |
+--------------+----------+------------+
| 4   5678 57  | 1  9  25 | 268 678 3  |
| 3   78   2   | 78 6  4  | 5   9   1  |
| 1   5678 9   | 78 3  25 | 4   678 28 |
+--------------+----------+------------+
| 68  2    4   | 9  1  7  | 68  3   5  |
| 89  59   3   | 4  58 6  | 1   2   7  |
| 678 1    567 | 2  58 3  | 9   68  4  |
+--------------+----------+------------+

Play this puzzle online at the Daily Sudoku site

DP 67 r19c13

R1c1=9=>r3c2=3
R9c13<>6=>r9c8=6, thus:
(3r3c2=6r9c8)-(6=8)r7c7-(8=7)r1c7-(7=3)r2c7=>r2c2,r3c7<>3
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Menneske 4896024

Postby Marty R. » Thu Apr 11, 2013 5:11 pm

Leren wrote:
eleven wrote: DP 67r19c13, r1c7=7 or r9c8=6->r6c7=8->r1c7=7 => r1c7=7

Are you sure about this ?

I think you meant: DP 67r19c13, r1c7=7 or r9c8=6->r7c7=8->r1c7=7 => r1c7=7

but this doesn't necessarily follow. If r1c7 = 7 and r9c8 = 8 then r7c7 = 6.

What I do see is -6 r9c8 = UR = 7 r1c7 - (7=6) r1c3 => -6 r9c3

Leren


I can't see anything wrong with eleven's solution except for the typo where he typed r6c7 rather than r7c7. If r1c1=9, then r1c9=8 and r1c7=7. If r9c13<>6, then r9c8=6, r7c7=8 and r1c7=7.
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: Menneske 4896024

Postby Leren » Thu Apr 11, 2013 11:07 pm

Both 7b53 and JCVH provided clarifications of eleven's move for me.
Code: Select all
- 6 r9c8 = UR =            7  r1c7;
  6 r9c8 - (6=8) r7c7 - (8=7) r1c7; => 7 r1c7

Leren
Leren
 
Posts: 5040
Joined: 03 June 2012


Return to Puzzles