- Code: Select all
- *-----------*
 |...|...|...|
 |.3.|95.|..8|
 |..7|..6|.4.|
 |---+---+---|
 |..5|1..|9..|
 |.68|...|42.|
 |..2|..9|7..|
 |---+---+---|
 |.9.|2..|86.|
 |6..|.31|.9.|
 |...|...|...|
 *-----------*
 *-----------*
 |...|...|...|
 |.3.|95.|..8|
 |..7|..6|.4.|
 |---+---+---|
 |..5|1..|9..|
 |.68|...|42.|
 |..2|..9|7..|
 |---+---+---|
 |.9.|2..|86.|
 |6..|.31|.9.|
 |...|...|...|
 *-----------*

 
  +------------------+------------------+-----------------+
 |  8     24   9    |  37   1   b34+7  |  6    5   c27   | 
 |  24    3    6    |  9    5    47    |  12   17   8    | 
 |  1     5    7    |  8    2    6     |  3    4    9    | 
 +------------------+------------------+-----------------+
 |  47    47   5    |  1    8    2     |  9    3    6    | 
 |  9     6    8    |  35   7    35    |  4    2    1    | 
 |  3     1    2    |  4    6    9     |  7    8    5    | 
 +------------------+------------------+-----------------+
 |  57    9    1    |  2    4    57    |  8    6    3    | 
 |  6     8    4    |  57   3    1     |  25   9   d27   | 
 | a25+7  27   3    |  6    9    8     |  15   1-7  4    | 
 +------------------+------------------+-----------------+ +------------+------------+------------+
 | 8    24  9 | 3+7 1  34-7| 6   5   2+7|
 | 24   3   6 | 9   5  47  | 12  17  8  |
 | 1    5   7 | 8   2  6   | 3   4   9  |
 +------------+------------+------------+
 | 47   47  5 | 1   8  2   | 9   3   6  |
 | 9    6   8 | 35  7  35  | 4   2   1  |
 | 3    1   2 | 4   6  9   | 7   8   5  |
 +------------+------------+------------+
 | 57   9   1 | 2   4  57  | 8   6   3  |
 | 6    8   4 | 5+7 3  1   | 25  9   2+7|
 | 257  27  3 | 6   9  8   | 15  17  4  |
 +------------+------------+------------+ +------------+-----------+------------+
 | 8    24  9 | 37  1  34 | 6   5   27 |
 | 2+4  3   6 | 9   5 *47 | 12  17  8  |
 | 1    5   7 | 8   2  6  | 3   4   9  |
 +------------+-----------+------------+
 |*47   47  5 | 1   8  2  | 9   3   6  |
 | 9    6   8 | 35  7  35 | 4   2   1  |
 | 3    1   2 | 4   6  9  | 7   8   5  |
 +------------+-----------+------------+
 | 5-7  9   1 | 2   4  5+7| 8   6   3  |
 | 6    8   4 | 57  3  1  | 25  9   27 |
 | 257  27  3 | 6   9  8  | 15  17  4  |
 +------------+-----------+------------++----------------+----------------+----------------+
| 8      24    9 | 37    1    347 | 6     5     27 |
|c24     3     6 | 9     5    47  |c12   c17    8  |
| 1      5     7 | 8     2    6   | 3     4     9  |
+----------------+----------------+----------------+
| 47     47    5 | 1     8    2   | 9     3     6  |
| 9      6     8 | 35    7    35  | 4     2     1  |
| 3      1     2 | 4     6    9   | 7     8     5  |
+----------------+----------------+----------------+
| 57     9     1 | 2     4    57  | 8     6     3  |
| 6      8     4 | 57    3    1   | 25    9     27 |
|b257   a27    3 | 6     9    8   | 15    1-7   4  |
+----------------+----------------+----------------+
 
  +------------+----------+-----------+
 | 8   *4-2 9 | 37 1 347 | 6   5 d27 | 
 | 24   3   6 | 9  5 47  | 12 c17 8  | 
 | 1    5   7 | 8  2 6   | 3   4  9  | 
 +------------+----------+-----------+
 | 47   47  5 | 1  8 2   | 9   3  6  | 
 | 9    6   8 | 35 7 35  | 4   2  1  | 
 | 3    1   2 | 4  6 9   | 7   8  5  | 
 +------------+----------+-----------+
 | 57   9   1 | 2  4 57  | 8   6  3  | 
 | 6    8   4 | 57 3 1   | 25  9  27 | 
 | 257 a27  3 | 6  9 8   | 15 b17 4  | 
 +------------+----------+-----------+
Thanks Steve for giving us time to celebrate
Clement
.--------------------------------------------------.
| 8    24   9    | 37   1    347  | 6    5    27   |
|d24   3    6    | 9    5   e4-7  | 12   17   8    |
| 1    5    7    | 8    2    6    | 3    4    9    |
|----------------+----------------+----------------|
|c47   47   5    | 1    8    2    | 9    3    6    |
| 9    6    8    | 35   7    35   | 4    2    1    |
| 3    1    2    | 4    6    9    | 7    8    5    |
|----------------+----------------+----------------|
|b57   9    1    | 2    4   a57   | 8    6    3    |
| 6    8    4    | 57   3    1    | 25   9    27   |
| 257  27   3    | 6    9    8    | 15   17   4    |
'--------------------------------------------------'*---------------------------------*
| 8   24 9 | 37 1 347 | 6   5  27 |
|a24  3  6 | 9  5 47  |d1-2 17 8  |
| 1   5  7 | 8  2 6   | 3   4  9  |
|----------+----------+-----------|
| 47  47 5 | 1  8 2   | 9   3  6  |
| 9   6  8 | 35 7 35  | 4   2  1  |
| 3   1  2 | 4  6 9   | 7   8  5  |
|----------+----------+-----------|
| 57  9  1 | 2  4 57  | 8   6  3  |
| 6   8  4 | 57 3 1   | 25  9  27 |
|b257 27 3 | 6  9 8   |c15  17 4  |
*---------------------------------*
 +------------+------------+------------+
 | 8    4+2 9 | 37  1  347 | 6   5  *27 |
 | 24   3   6 | 9   5  47  | 12  1+7 8  |
 | 1    5   7 | 8   2  6   | 3   4   9  |
 +------------+------------+------------+
 | 47   47  5 | 1   8  2   | 9   3   6  |
 | 9    6   8 | 35  7  35  | 4   2   1  |
 | 3    1   2 | 4   6  9   | 7   8   5  |
 +------------+------------+------------+
 | 57   9   1 | 2   4  57  | 8   6   3  |
 | 6    8   4 | 57  3  1   | 25  9   27 |
 | 257 *27  3 | 6   9  8   | 15  1-7 4  |
 +------------+------------+------------+SteveG48 wrote:My own pen and paper solution was the x-wing followed by BUG+1.
rjamil wrote:Surprisingly, yzfwsf's software YZF_Sudoku won't search BUG+1 after x-wing move.
Bivalue Universal Grave + 1:  => r9c1 = 7;stteResolution state after Singles and whips[1]:
   +-------------+-------------+-------------+ 
   ! 8   24  9   ! 37  1   347 ! 6   5   27  ! 
   ! 24  3   6   ! 9   5   47  ! 12  17  8   ! 
   ! 1   5   7   ! 8   2   6   ! 3   4   9   ! 
   +-------------+-------------+-------------+ 
   ! 47  47  5   ! 1   8   2   ! 9   3   6   ! 
   ! 9   6   8   ! 35  7   35  ! 4   2   1   ! 
   ! 3   1   2   ! 4   6   9   ! 7   8   5   ! 
   +-------------+-------------+-------------+ 
   ! 57  9   1   ! 2   4   57  ! 8   6   3   ! 
   ! 6   8   4   ! 57  3   1   ! 25  9   27  ! 
   ! 257 27  3   ! 6   9   8   ! 15  17  4   ! 
   +-------------+-------------+-------------+ 
44 candidatesx-wing-in-columns: n7{c4 c9}{r1 r8} ==> r1c6≠7
biv-chain[3]: r1c9{n2 n7} - b9n7{r8c9 r9c8} - r9c2{n7 n2} ==> r1c2≠2
sttex-wing-in-columns: n7{c4 c9}{r1 r8} ==> r1c6≠7
************ BEWARE: ASSUMPTION OF UNIQUENESS USED ******************
bug+1 for number n7 in cell r9c1 ==> r9c1=7
stteyzfwsf wrote:
- Code: Select all
Bivalue Universal Grave + 1: => r9c1 = 7;stte
rjamil wrote:Hi yzfwsf,yzfwsf wrote:
- Code: Select all
Bivalue Universal Grave + 1: => r9c1 = 7;stte
I have a copy of YZF_Sudoku 2.0.0.625.
Screenshot link attached for above mentioned puzzle's Tool / Find all steps - state after X-Wing move for your kind information:
R. Jamil
yzfwsf wrote:Hi:
The various techniques in my solver are user configurable, you can enable or disable a technique, and you can adjust the order in which the techniques are invoked.
These configurations are set in Edit->Preferences->Techniques.