logic or only guess and check

Post the puzzle or solving technique that's causing you trouble and someone will help

logic or only guess and check

Postby canadensis » Sun Oct 21, 2007 10:52 pm

Can you only solve this puzzly by guess and check?

8 9 35 l 6 4 2 l 37 1 75
1 4 35 l 357 37 8 l 2 6 9
6 7 2 l 35 9 1l 8 35 4
-------------------------------------
9 5 6 l 1 2 47 l 37 34 8
23 1 4 l 8 37 6 l 5 9 27
7 23 8 l 39 5 49 l 6 24 1
-------------------------------------
235 23 1 l 79 8 79 l 4 25 6
4 6 7 l 2 1 5 l 9 8 3
25 8 9 l 4 6 3 l 1 7 25
canadensis
 
Posts: 1
Joined: 21 October 2007

Postby daj95376 » Sun Oct 21, 2007 11:15 pm

This puzzle is ripe to be solved a number of ways. I'll present a basic approach, and let others present the fancier approaches.

Code: Select all
Your PM
+-----------------------------------------------------------+
|  8     9     35   |  6     4     2    |  37    1     57   |
|  1     4     35   |  357   37    8    |  2     6     9    |
|  6     7     2    |  35    9     1    |  8     35    4    |
|-------------------+-------------------+-------------------|
|  9     5     6    |  1     2     47   |  37    34    8    |
|  23    1     4    |  8     37    6    |  5     9     27   |
|  7     23    8    |  39    5     49   |  6     24    1    |
|-------------------+-------------------+-------------------|
|  235   23    1    |  79    8     79   |  4     25    6    |
|  4     6     7    |  2     1     5    |  9     8     3    |
|  25    8     9    |  4     6     3    |  1     7     25   |
+-----------------------------------------------------------+

Code: Select all
X-Wing r59\c19 for <2>
+-----------------------------------+
|  .  .  .  |  .  .  2  |  .  .  .  |
|  .  .  .  |  .  .  .  |  2  .  .  |
|  .  .  2  |  .  .  .  |  .  .  .  |
|-----------+-----------+-----------|
|  .  .  .  |  .  2  .  |  .  .  .  |
| *2  .  .  |  .  .  .  |  .  . *2  |
|  .  2  .  |  .  .  .  |  .  2  .  |
|-----------+-----------+-----------|
| -2  2  .  |  .  .  .  |  .  2  .  |
|  .  .  .  |  2  .  .  |  .  .  .  |
| *2  .  .  |  .  .  .  |  .  . *2  |
+-----------------------------------+

Code: Select all
r2c4    =  3     BUG+1
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Postby udosuk » Mon Oct 22, 2007 6:58 am

Without assumption of uniqueness, here is a simple ALS-xz to solve it:
Code: Select all
 *--------------------------------------------------*
 | 8    9    35   | 6    4    2    | 37   1    57   |
 | 1    4    35   | 357  37   8    | 2    6    9    |
 | 6    7    2    |-35   9    1    | 8   #35   4    |
 |----------------+----------------+----------------|
 | 9    5    6    | 1    2    47   | 37   34   8    |
 | 23   1    4    | 8    37   6    | 5    9    27   |
 | 7    23   8    |@39   5   @49   | 6   #24   1    |
 |----------------+----------------+----------------|
 | 235  23   1    | 79   8    79   | 4   #25   6    |
 | 4    6    7    | 2    1    5    | 9    8    3    |
 | 25   8    9    | 4    6    3    | 1    7    25   |
 *--------------------------------------------------*

ALS A: r6c46={349}
ALS B: r367c8={2345}
x=4
z=3
Therefore r3c4 can't be 3.

Logic:
Either r6c68 must not be 4.
If r6c6<>4, r6c6=9 => r6c4=3.
If r6c8<>4, r6c8=2 => r7c8=5 => r3c8=3.
Therefore one of r6c4 & r3c8 must be 3.
Hence r3c4, seeing both these cells, can't be 3.

I'm looking forward to more elegant solutions.
udosuk
 
Posts: 2698
Joined: 17 July 2005

Postby tarek » Mon Oct 22, 2007 9:21 am

Not more elegant:( , still a single step:)
Code: Select all
*-----------------------------------------------*
| 8    9    35  | 6    4    2   | 37   1    57  |
| 1    4    35  | 357  37   8   | 2    6    9   |
| 6    7    2   |*35   9    1   | 8   %35   4   |
|---------------+---------------+---------------|
| 9    5    6   | 1    2   -47  | 37  %34   8   |
| 23   1    4   | 8    37   6   | 5    9    27  |
| 7    23   8   |#39   5   #49  | 6   -24   1   |
|---------------+---------------+---------------|
| 235  23   1   | 79   8    79  | 4    25   6   |
| 4    6    7   | 2    1    5   | 9    8    3   |
| 25   8    9   | 4    6    3   | 1    7    25  |
*-----------------------------------------------*
Eliminating 4 from r4c6(ALS-XY *A=35 r3c4  %B=345 r34c8  #C=349 r6c46 x=5 y=3 z=4)
Eliminating 4 from r6c8(ALS-XY *A=35 r3c4  %B=345 r34c8  #C=349 r6c46 x=5 y=3 z=4)

tarek
User avatar
tarek
 
Posts: 3762
Joined: 05 January 2006

Postby re'born » Mon Oct 22, 2007 11:58 am

This is a BUG+2 grid, where we know that r7c1=2 or r2c4=3. Therefore, we get:
r7c8 -2- {r7c1 =2|3= r2c4 -3- r3c4 -5- r3c8} =5= r7c8, => r7c8<>2, solving the puzzle.

Or we spot the xy-chain:
-3-r3c4 -5- r3c8 -3- r4c8 -4- r4c6 -7- r5c5-3-, => r2c5, r6c4<>3, solving the puzzle.
re'born
 
Posts: 551
Joined: 31 May 2007

Postby RW » Mon Oct 22, 2007 4:46 pm

Here's a solution using "BUG-coloring":
Code: Select all
Coloring on digit 5
 *--------------------------------------------------*
 | 8    9   G35   | 6    4    2    | 37   1   B57   |
 | 1    4   B35   |G57+3 37   8    | 2    6    9    |
 | 6    7    2    |B35   9    1    | 8   G35   4    |
 |----------------+----------------+----------------|
 | 9    5    6    | 1    2    47   | 37   34   8    |
 | 23   1    4    | 8    37   6    | 5    9    27   |
 | 7    23   8    | 39   5    49   | 6    24   1    |
 |----------------+----------------+----------------|
 |G35+2 23   1    | 79   8    79   | 4   B25   6    |
 | 4    6    7    | 2    1    5    | 9    8    3    |
 |B25   8    9    | 4    6    3    | 1    7   G25   |
 *--------------------------------------------------*

Due to the BUG+2, either r2c4=3 or r7c1=2 must be true. Coloring on candidate five makes both r2c4 and r7c1 green => Green=false

RW
RW
2010 Supporter
 
Posts: 1010
Joined: 16 March 2006

Postby re'born » Mon Oct 22, 2007 7:47 pm

RW wrote:Here's a solution using "BUG-coloring":

That's really clever, RW. I never thought of finding a candidate common to all of the BUG obstruction cells and coloring it as you did. Very nice.
re'born
 
Posts: 551
Joined: 31 May 2007


Return to Help with puzzles and solving techniques