June 25, 2014

Post puzzles for others to solve here.

June 25, 2014

Postby ArkieTech » Tue Jun 24, 2014 10:49 pm

Code: Select all
 *-----------*
 |3..|9..|...|
 |5.4|.6.|...|
 |29.|...|...|
 |---+---+---|
 |.1.|5..|382|
 |6..|.28|..1|
 |...|.3.|.5.|
 |---+---+---|
 |1..|6.2|8..|
 |.6.|8..|...|
 |.52|.1.|.3.|
 *-----------*


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

Re: June 25, 2014

Postby pjb » Tue Jun 24, 2014 11:27 pm

Staying with the UR theme, using (46) r69c79:

Code: Select all
3      7      16     | 9      48     15     | 125    126    48     
5      8      4      | 2      6      17     | 179    19     3     
2      9      16     | 3      478    1457   | 1457   146    478   
---------------------+----------------------+---------------------
479    1      79     | 5      479    6      | 3      8      2     
6      3      5      |d47     2      8      |e479    49     1     
479    2      8      | 1      3      479    |#467    5     #467   
---------------------+----------------------+---------------------
1      4      3      | 6     a59     2      | 8      7      5-9     
79     6      79     | 8      45     3      | 12     12     45     
8      5      2      |c47     1     b47-9   |#46     3     #469   

(9)r7c5 = (9-7)r9c6 = r9c4 - r5c4 = r5c7 - (7=9)UR(46):r69c79 => -9 r7c9, r9c6; stte

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

Re: June 25, 2014

Postby Leren » Wed Jun 25, 2014 12:27 am

Code: Select all
*--------------------------------------------------------------*
| 3     7     16     | 9     48    15     | 125   126   48     |
| 5     8     4      | 2     6     17     | 179   19    3      |
| 2     9     16     | 3     478   1457   | 1457  146   478    |
|--------------------+--------------------+--------------------|
| 479   1     79     | 5     479   6      | 3     8     2      |
| 6     3     5      |b47    2     8      |a479   49    1      |
| 479   2     8      | 1     3     479    |e467   5    f46-7   |
|--------------------+--------------------+--------------------|
| 1     4     3      | 6     59    2      | 8     7     59     |
| 79    6     79     | 8     45    3      | 12    12    45     |
| 8     5     2      |c47    1     479    |d46    3     469    |
*--------------------------------------------------------------*

(7) r5c7 = (7-4) r5c4 = r9c4 - (4=6) r9c7 - r6c7 = (6) r6c9 => - 7 r6c9; stte

Leren
Leren
 
Posts: 5117
Joined: 03 June 2012

Re: June 25, 2014

Postby SteveG48 » Wed Jun 25, 2014 12:44 am

Code: Select all
 *-----------------------------------------------------------*
 | 3     7     16    | 9    i48    15    | 125   126  h48    |
 | 5     8     4     | 2     6     17    |b179   19    3     |
 | 2     9     16    | 3     48-7  1457  |a1457  146  a478   |
 *-------------------+-------------------+-------------------|
 | 479   1     79    | 5    j479   6     | 3     8     2     |
 | 6     3     5     |d47    2     8     |c479   49    1     |
 | 479   2     8     | 1     3     479   | 467   5     467   |
 *-------------------+-------------------+-------------------|
 | 1     4     3     | 6    j59    2     | 8     7     59    |
 | 79    6     79    | 8    j45    3     | 12    12   g45    |
 | 8     5     2     |e47    1     479   |f46    3    f469   |
 *-----------------------------------------------------------*


(7)r3c79 = r2c7 - r5c7 = r5c4 - (7=4)r9c4 - r9c79 = r8c9 - r1c9 = r1c5 - (4=579)r478c5 => -7 r4c5 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4479
Joined: 08 November 2013
Location: Orlando, Florida

Re: June 25, 2014

Postby SteveG48 » Wed Jun 25, 2014 12:54 am

Code: Select all
 *-----------------------------------------------------------*
 | 3     7     16    | 9    b48    15    | 125   126  c48    |
 | 5     8     4     | 2     6     17    | 179   19    3     |
 | 2     9     16    | 3     478   1457  | 1457  146   478   |
 *-------------------+-------------------+-------------------|
 | 479   1     79    | 5    a479   6     | 3     8     2     |
 | 6     3     5     | 4-7   2     8     | 479   49    1     |
 | 479   2     8     | 1     3     479   | 467   5     467   |
 *-------------------+-------------------+-------------------|
 | 1     4     3     | 6    a59    2     | 8     7     59    |
 | 79    6     79    | 8    a45    3     | 12    12   d45    |
 | 8     5     2     |f47    1     479   |e46    3    d469   |
 *-----------------------------------------------------------*


Same theme, a bit shorter:

(7=459)r478c5 - (4)r1c5 = r1c9 - r89c9 = r9c7 - (4=7)r9c4 => -7 r5c4 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4479
Joined: 08 November 2013
Location: Orlando, Florida

Re: June 25, 2014

Postby ArkieTech » Wed Jun 25, 2014 10:40 am

Code: Select all
 *-----------------------------------------------------------*
 | 3     7     16    | 9     48    15    | 125   126   8-4   |
 | 5     8     4     | 2     6     17    | 179   19    3     |
 | 2     9     16    | 3     478   1457  | 1457 a146   78-4  |
 |-------------------+-------------------+-------------------|
 | 479   1     79    | 5     479   6     | 3     8     2     |
 | 6     3     5     |c47    2     8     | 479  b49    1     |
 | 479   2     8     | 1     3     479   | 467   5     467   |
 |-------------------+-------------------+-------------------|
 | 1     4     3     | 6     59    2     | 8     7     59    |
 | 79    6     79    | 8    e45    3     | 12    12   f45    |
 | 8     5     2     |d47    1     479   | 46    3     469   |
 *-----------------------------------------------------------*
4r3c8=r5c8-r5c4=r9c4-r8c5=r8c9 => -4r13c9; ste
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: June 25, 2014

Postby Marty R. » Wed Jun 25, 2014 3:48 pm

Code: Select all
+----------+-------------+--------------+
| 3   7 16 | 9  48  15   | 125  126 48  |
| 5   8 4  | 2  6   17   | 179  19  3   |
| 2   9 16 | 3  478 1457 | 1457 146 478 |
+----------+-------------+--------------+
| 479 1 79 | 5  479 6    | 3    8   2   |
| 6   3 5  | 47 2   8    | 479  49  1   |
| 479 2 8  | 1  3   479  | 467  5   467 |
+----------+-------------+--------------+
| 1   4 3  | 6  59  2    | 8    7   59  |
| 79  6 79 | 8  45  3    | 12   12  45  |
| 8   5 2  | 47 1   479  | 46   3   469 |
+----------+-------------+--------------+

Play this puzzle online at the Daily Sudoku site

Like Phil, I also used the 46 DP in r69c79, but I don't know how to embed the DP in the notation.

9r9c9=7r6c79-r5c7=r5c4-(7=4)r9c4-(4=5)r8c5-(5=9)r7c5=>r9c6<>9
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA

Re: June 25, 2014

Postby tlanglet » Thu Jun 26, 2014 1:59 pm

Marty R. wrote:
Code: Select all
+----------+-------------+--------------+
| 3   7 16 | 9  48  15   | 125  126 48  |
| 5   8 4  | 2  6   17   | 179  19  3   |
| 2   9 16 | 3  478 1457 | 1457 146 478 |
+----------+-------------+--------------+
| 479 1 79 | 5  479 6    | 3    8   2   |
| 6   3 5  | 47 2   8    | 479  49  1   |
| 479 2 8  | 1  3   479  | 467  5   467 |
+----------+-------------+--------------+
| 1   4 3  | 6  59  2    | 8    7   59  |
| 79  6 79 | 8  45  3    | 12   12  45  |
| 8   5 2  | 47 1   479  | 46   3   469 |
+----------+-------------+--------------+

Play this puzzle online at the Daily Sudoku site

Like Phil, I also used the 46 DP in r69c79, but I don't know how to embed the DP in the notation.

9r9c9=7r6c79-r5c7=r5c4-(7=4)r9c4-(4=5)r8c5-(5=9)r7c5=>r9c6<>9


Marty, your notation is simply missing the statement indicating the basis for your initial strong inference.

AUR(46)r69c79[9r9c9=7r6c79]-r5c7=r5c4-(7=4)r9c4-(4=5)r8c5-(5=9)r7c5=>r9c6<>9

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


Return to Puzzles