- 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
March 13, 2014
10 posts
• Page 1 of 1
March 13, 2014
by ArkieTech » Wed Mar 12, 2014 9:19 pm
Play/Print this puzzle online
dan
-
ArkieTech - Posts: 3355
- Joined: 29 May 2006
- Location: NW Arkansas USA
Re: March 13, 2014
by 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
-
SteveG48 - 2019 Supporter
- Posts: 4479
- Joined: 08 November 2013
- Location: Orlando, Florida
Re: March 13, 2014
by 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: 2672
- Joined: 11 September 2011
- Location: Sydney, Australia
Re: March 13, 2014
by 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: 5117
- Joined: 03 June 2012
Re: March 13, 2014
by 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
by 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
(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: 2672
- Joined: 11 September 2011
- Location: Sydney, Australia
Re: March 13, 2014
by 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
-
ArkieTech - Posts: 3355
- Joined: 29 May 2006
- Location: NW Arkansas USA
Re: March 13, 2014
by 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
by 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 |
+------------+--------------+-----------+
XY-Wing 46-1 pivoted in r8c9; r7c1<>1; stte.
- Ngisa
- Posts: 1411
- Joined: 18 November 2012
Re: March 13, 2014
by 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
10 posts
• Page 1 of 1
