March 13, 2014

Post puzzles for others to solve here.

March 13, 2014

Postby ArkieTech » Wed Mar 12, 2014 9:19 pm

Code: Select all
 *-----------*
 |...|3..|2.7|
 |...|.9.|..5|
 |.5.|2.6|.4.|
 |---+---+---|
 |.1.|...|6..|
 |93.|...|.18|
 |..4|...|.3.|
 |---+---+---|
 |.9.|6.7|.2.|
 |8..|.3.|...|
 |7.5|..9|...|
 *-----------*


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

Re: March 13, 2014

Postby SteveG48 » Thu Mar 13, 2014 12:12 am

Code: Select all
 *-----------------------------------------------------------*
 | 6     48    18    | 3     15    145   | 2     9     7     |
 | 134   7     2     | 148   9     148   | 13    6     5     |
 |a13    5     9     | 2     7     6     | 8     4    b13    |
 *-------------------+-------------------+-------------------|
 | 2     1     78    | 78    4     3     | 6     5     9     |
 | 9     3     67    | 57    256   25    | 4     1     8     |
 | 5     68    4     | 9     16    18    | 7     3     2     |
 *-------------------+-------------------+-------------------|
 | 4-1   9     3     | 6     8     7     | 5     2    c14    |
 | 8     246  d16    | 145   3     1245  | 9     7    c146   |
 | 7     246   5     | 14    12    9     | 13    8     1346  |
 *-----------------------------------------------------------*


(1)r3c1 = r3c9 - (1=46)r78c9 - (6=1)r8c3 => -1 r7c1 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4202
Joined: 08 November 2013
Location: Orlando, Florida

Re: March 13, 2014

Postby pjb » Thu Mar 13, 2014 12:30 am

Code: Select all
 6      48     18     | 3      15     145    | 2      9      7     
*134    7      2      | 148    9      148    |*13     6      5     
*13     5      9      | 2      7      6      | 8      4     *13     
 ---------------------+----------------------+---------------------
 2      1      78     | 78     4      3      | 6      5      9     
 9      3      67     | 57     256    25     | 4      1      8     
 5      68     4      | 9      16     18     | 7      3      2     
 ---------------------+----------------------+---------------------
 14     9      3      | 6      8      7      | 5      2      14     
 8      246    16     | 145    3      1245   | 9      7      146   
 7      246    5      | 14     12     9      |*13     8     *1346   

BUG-lite: r2c17, r3c19, r9c79
(1)r3c9 causes DP => -1 r3c9; stte
Phil
pjb
2014 Supporter
 
Posts: 2552
Joined: 11 September 2011
Location: Sydney, Australia

Re: March 13, 2014

Postby Leren » Thu Mar 13, 2014 12:46 am

Code: Select all
*--------------------------------------------------------------*
| 6     48    18     | 3     15    145    | 2     9     7      |
| 134   7     2      | 148   9     148    | 13    6     5      |
| 13    5     9      | 2     7     6      | 8     4    a13     |
|--------------------+--------------------+--------------------|
| 2     1     78     | 78    4     3      | 6     5     9      |
| 9     3     67     | 57    256   25     | 4     1     8      |
| 5     68    4      | 9     16    18     | 7     3     2      |
|--------------------+--------------------+--------------------|
|c14    9     3      | 6     8     7      | 5     2    b14     |
| 8    246   d16     | 145   3     1245   | 9     7    e146    |
| 7     246   5      | 14    12    9      | 13    8    f146-3  |
*--------------------------------------------------------------*

(3=1) r3c9 - r7c9 = r7c1 - (1=6) r8c3 - r8c9 = (6) r9c9 => - 3 r9c9; stte

Leren
Leren
 
Posts: 5019
Joined: 03 June 2012

Re: March 13, 2014

Postby daj95376 » Thu Mar 13, 2014 6:18 am

pjb wrote:
Code: Select all
 6      48     18     | 3      15     145    | 2      9      7     
*134    7      2      | 148    9      148    |*13     6      5     
*13     5      9      | 2      7      6      | 8      4     *13     
 ---------------------+----------------------+---------------------
 2      1      78     | 78     4      3      | 6      5      9     
 9      3      67     | 57     256    25     | 4      1      8     
 5      68     4      | 9      16     18     | 7      3      2     
 ---------------------+----------------------+---------------------
 14     9      3      | 6      8      7      | 5      2      14     
 8      246    16     | 145    3      1245   | 9      7      146   
 7      246    5      | 14     12     9      |*13     8     *1346   

BUG-lite: r2c17, r3c19, r9c79
(1)r3c9 causes DP => -1 r3c9; stte

I can't reproduce your results. r3c9=1 results in the following grid:

Code: Select all
 *-----------------------------------------------------------*
 | 6     48    18    | 3     15    145   | 2     9     7     |
 | 14    7     2     | 148   9     148   |=3     6     5     |
 |=3     5     9     | 2     7     6     | 8     4    =1     |
 |-------------------+-------------------+-------------------|
 | 2     1     78    | 78    4     3     | 6     5     9     |
 | 9     3     67    | 57    256   25    | 4     1     8     |
 | 5     68    4     | 9     16    18    | 7     3     2     |
 |-------------------+-------------------+-------------------|
 | 14    9     3     | 6     8     7     | 5     2     4     |
 | 8     246   16    | 145   3     1245  | 9     7     46    |
 | 7     246   5     | 4     2     9     |=1     8    =3     |
 *-----------------------------------------------------------*

Anything that results in r2c1=1 would force two 4s in [row 7]. Does a DP really exist at this point, or have you simply derived r3c9<>1?
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: March 13, 2014

Postby pjb » Thu Mar 13, 2014 6:34 am

To dispose of the offending 4 at r2c1:
(1)r3c9 => (6)r8c9 => (1)r8c3 => (4)r7c1 => (1)r2c1
Phil

PS alternatively, forget the DP, and (1)r3c9 => (1)r7c1 via r7c9, but (1)r3c9 => (6)r8c9 => (1)r8c3; thus a contradiction that allows r3c9 <> 1
pjb
2014 Supporter
 
Posts: 2552
Joined: 11 September 2011
Location: Sydney, Australia

Re: March 13, 2014

Postby ArkieTech » Thu Mar 13, 2014 2:31 pm

daj95376 wrote:
pjb wrote:
Code: Select all
 6      48     18     | 3      15     145    | 2      9      7     
*134    7      2      | 148    9      148    |*13     6      5     
*13     5      9      | 2      7      6      | 8      4     *13     
 ---------------------+----------------------+---------------------
 2      1      78     | 78     4      3      | 6      5      9     
 9      3      67     | 57     256    25     | 4      1      8     
 5      68     4      | 9      16     18     | 7      3      2     
 ---------------------+----------------------+---------------------
 14     9      3      | 6      8      7      | 5      2      14     
 8      246    16     | 145    3      1245   | 9      7      146   
 7      246    5      | 14     12     9      |*13     8     *1346   

BUG-lite: r2c17, r3c19, r9c79
(1)r3c9 causes DP => -1 r3c9; stte

I can't reproduce your results. r3c9=1 results in the following grid:

Code: Select all
 *-----------------------------------------------------------*
 | 6     48    18    | 3     15    145   | 2     9     7     |
 | 14    7     2     | 148   9     148   |=3     6     5     |
 |=3     5     9     | 2     7     6     | 8     4    =1     |
 |-------------------+-------------------+-------------------|
 | 2     1     78    | 78    4     3     | 6     5     9     |
 | 9     3     67    | 57    256   25    | 4     1     8     |
 | 5     68    4     | 9     16    18    | 7     3     2     |
 |-------------------+-------------------+-------------------|
 | 14    9     3     | 6     8     7     | 5     2     4     |
 | 8     246   16    | 145   3     1245  | 9     7     46    |
 | 7     246   5     | 4     2     9     |=1     8    =3     |
 *-----------------------------------------------------------*

Anything that results in r2c1=1 would force two 4s in [row 7]. Does a DP really exist at this point, or have you simply derived r3c9<>1?


xsudo shows a bug lite with -1r2c1,r9c9
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: March 13, 2014

Postby daj95376 » Thu Mar 13, 2014 3:53 pm

ArkieTech wrote:xsudo shows a bug lite with -1r2c1,r9c9

Hmmm! Okay to Phil's DP. I was just taken aback by the fact that his premise results in a contradiction before the DP is formed.

Phil wrote:To dispose of the offending 4 at r2c1:
(1)r3c9 => (6)r8c9 => (1)r8c3 => (4)r7c1 => (1)r2c1

After the third assignment, we have contradiction r7c19=4. After the fourth assignment, we have r7c9=void. But, I guess the Xsudo results indicate that contradictions external to the DP can be ignored. Hmmm!

As for the Xsudo results:

Code: Select all
 1r2c1 - 1r7c1 = 1r7c9   blocks the formation of the BUG-Lite

 1r9c9 - 1r7c9 = 1r7c1   blocks the formation of the BUG-Lite
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: March 13, 2014

Postby Ngisa » Thu Mar 13, 2014 6:26 pm

Code: Select all
+------------+--------------+-----------+
| 6   48  18 | 3   15  145  | 2  9 7    |
| 34-1 7   2  | 148 9   148  | 13 6 5    |
| *13  5   9  | 2   7   6    | 8  4 *13   |
+------------+--------------+-----------+
| 2   1   78 | 78  4   3    | 6  5 9    |
| 9   3   67 | 57  256 25   | 4  1 8    |
| 5   68  4  | 9   16  18   | 7  3 2    |
+------------+--------------+-----------+
| *4-1  9   3  | 6   8   7    | 5  2 *14   |
| 8   246 16 | 145 3   1245 | 9  7 46-1  |
| 7   246 5  | 14  12  9    | 13 8 346-1 |
+------------+--------------+-----------+
X-Wing on 1 in r37; r89c9<>1, r2c1<>1 leads to
XY-Wing 46-1 pivoted in r8c9; r7c1<>1; stte.
Ngisa
 
Posts: 1377
Joined: 18 November 2012

Re: March 13, 2014

Postby Marty R. » Thu Mar 13, 2014 6:48 pm

Code: Select all
+------------+--------------+-----------+
| 6   48  18 | 3   15  145  | 2  9 7    |
| 134 7   2  | 148 9   148  | 13 6 5    |
| 13  5   9  | 2   7   6    | 8  4 13   |
+------------+--------------+-----------+
| 2   1   78 | 78  4   3    | 6  5 9    |
| 9   3   67 | 57  256 25   | 4  1 8    |
| 5   68  4  | 9   16  18   | 7  3 2    |
+------------+--------------+-----------+
| 14  9   3  | 6   8   7    | 5  2 14   |
| 8   246 16 | 145 3   1245 | 9  7 146  |
| 7   246 5  | 14  12  9    | 13 8 1346 |
+------------+--------------+-----------+

Play this puzzle online at the Daily Sudoku site

(1=6)r8c3-(6=14)r78c9-1r3c9=1r3c1=>r7c1<>1
Marty R.
 
Posts: 1508
Joined: 23 October 2012
Location: Rochester, New York, USA


Return to Puzzles