- 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;stte
Resolution 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 candidates
x-wing-in-columns: n7{c4 c9}{r1 r8} ==> r1c6≠7
biv-chain[3]: r1c9{n2 n7} - b9n7{r8c9 r9c8} - r9c2{n7 n2} ==> r1c2≠2
stte
x-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
stte
yzfwsf 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.