I did not succeed in solving
x=: , 0&".;._2 (0 : 0)
0 3 0 0 9 0 0 0 5
0 1 0 4 8 0 0 2 9
2 0 0 0 1 0 7 0 0
0 2 5 1 7 8 9 0 0
8 0 0 0 0 0 0 0 0
0 9 1 0 0 0 0 0 0
4 0 2 0 6 0 0 0 0
0 0 8 2 0 9 0 5 6
0 0 0 0 0 0 0 7 0
)
so I fed it to Hui's sudoku solver:
see x, sudoku x
+-------------+-------------+
|+---+---+---+|+---+---+---+|
||.3.|.9.|..5|||634|792|185||
||.1.|48.|.29|||517|483|629||
||2..|.1.|7..|||289|516|743||
|+---+---+---+|+---+---+---+|
||.25|178|9..|||325|178|964||
||8..|...|...|||846|935|217||
||.91|...|...|||791|624|538||
|+---+---+---+|+---+---+---+|
||4.2|.6.|...|||452|367|891||
||..8|2.9|.56|||178|249|356||
||...|...|.7.|||963|851|472||
|+---+---+---+|+---+---+---+|
+-------------+-------------+
The forced moves I had found also
see t=: f^:a: x
+-------------+-------------+-------------+-------------+
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||.3.|.9.|..5|||.3.|.92|..5|||.34|.92|..5|||.34|.92|..5||
||.1.|48.|.29|||.1.|48.|.29|||.1.|48.|.29|||51.|48.|.29||
||2..|.1.|7..|||289|.1.|7..|||289|.1.|7..|||289|.1.|7..||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||.25|178|9..|||.25|178|9..|||.25|178|9..|||.25|178|9..||
||8..|...|...|||8..|9..|...|||84.|9..|...|||84.|9..|...||
||.91|...|...|||.91|...|...|||.91|...|...|||.91|...|...||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||4.2|.6.|...|||4.2|.6.|.9.|||452|.6.|.9.|||452|.6.|.9.||
||..8|2.9|.56|||.78|2.9|.56|||178|2.9|.56|||178|2.9|.56||
||...|...|.7.|||9..|...|.7.|||9..|...|.7.|||963|...|.7.||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
+-------------+-------------+-------------+-------------+
But then you had to guess
see g=: guess (ok#]) assign x
+-------------+-------------+
|+---+---+---+|+---+---+---+|
||634|.92|..5|||734|.92|..5||
||51.|48.|.29|||51.|48.|.29||
||289|.1.|7..|||289|.1.|7..||
|+---+---+---+|+---+---+---+|
||.25|178|9..|||.25|178|9..||
||84.|9..|...|||84.|9..|...||
||.91|...|...|||.91|...|...||
|+---+---+---+|+---+---+---+|
||452|.6.|.9.|||452|.6.|.9.||
||178|2.9|.56|||178|2.9|.56||
||963|...|.7.|||963|...|.7.||
|+---+---+---+|+---+---+---+|
+-------------+-------------+
But both guesses led to a solution:
see t0=: f^:a: 0{g
+-------------+-------------+-------------+-------------+-------------+-----
--------+-------------+-------------+-------------+
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||634|.92|..5|||634|792|..5|||634|792|..5|||634|792|..5|||634|792|..5|||634|
792|..5|||634|792|..5|||634|792|..5|||634|792|185||
||51.|48.|.29|||517|48.|.29|||517|48.|629|||517|483|629|||517|483|629|||517|
483|629|||517|483|629|||517|483|629|||517|483|629||
||289|.1.|7..|||289|.1.|7..|||289|.1.|7..|||289|.1.|743|||289|.1.|743|||289|
516|743|||289|516|743|||289|516|743|||289|516|743||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||.25|178|9..|||325|178|96.|||325|178|964|||325|178|964|||325|178|964|||325|
178|964|||325|178|964|||325|178|964|||325|178|964||
||84.|9..|...|||846|9..|...|||846|9..|..7|||846|9..|..7|||846|9.5|..7|||846|
9.5|..7|||846|9.5|..7|||846|9.5|2.7|||846|935|217||
||.91|...|...|||791|...|...|||791|...|...|||791|...|...|||791|..4|...|||791|
6.4|5..|||791|6.4|5..|||791|6.4|5.8|||791|624|538||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
||452|.6.|.9.|||452|.6.|.9.|||452|.67|.9.|||452|.67|.9.|||452|.67|.91|||452|
.67|.91|||452|367|.91|||452|367|891|||452|367|891||
||178|2.9|.56|||178|2.9|.56|||178|2.9|.56|||178|2.9|.56|||178|2.9|.56|||178|
2.9|.56|||178|249|.56|||178|249|356|||178|249|356||
||963|...|.7.|||963|...|.7.|||963|...|.7.|||963|..1|.7.|||963|..1|.7.|||963|
.51|.7.|||963|851|47.|||963|851|472|||963|851|472||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|+---+---+---+|
+-------------+-------------+-------------+-------------+-------------+-----
--------+-------------+-------------+-------------+
see t0=: f^:a: 1{g
+-------------+-------------+-------------+-------------+-------------+-----
--------+-------------+-------------+
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|
||734|.92|..5|||734|692|..5|||734|692|..5|||734|692|..5|||734|692|..5|||734|
692|815|||734|692|815|||734|692|815||
||51.|48.|.29|||516|487|.29|||516|487|329|||516|487|329|||516|487|329|||516|
487|329|||516|487|329|||516|487|329||
||289|.1.|7..|||289|.1.|7..|||289|.1.|76.|||289|.1.|764|||289|.1.|764|||289|
31.|764|||289|315|764|||289|315|764||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|
||.25|178|9..|||.25|178|9..|||.25|178|9..|||625|178|9..|||625|178|943|||625|
178|943|||625|178|943|||625|178|943||
||84.|9..|...|||847|9..|...|||847|9..|...|||847|9..|...|||847|9..|...|||847|
9.3|.11|||847|923|511|||847|923|511||
||.91|...|...|||.91|...|..7|||.91|...|..7|||.91|...|..7|||391|...|..7|||391|
5..|.87|||391|526|687|||391|526|687||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|
||452|.6.|.9.|||452|76.|.9.|||452|76.|.9.|||452|76.|.98|||452|761|198|||452|
761|198|||452|761|198|||452|761|198||
||178|2.9|.56|||178|2.9|.56|||178|2.9|.56|||178|239|456|||178|239|456|||178|
239|456|||178|239|456|||178|239|456||
||963|...|.7.|||963|...|.7.|||963|8..|.7.|||963|8..|.7.|||963|8..|.7.|||963|
8..|272|||963|85.|272|||963|854|272||
|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+---+---+|+---+
---+---+|+---+---+---+|+---+---+---+|
+-------------+-------------+-------------+-------------+-------------+-----
--------+-------------+-------------+
Question remains: why did not 'sudoku x' show both solutions, as is stated
in http://www.jsoftware.com/jwiki/Essays/Sudoku?
R.E. Boss
----------------------------------------------------------------------
For information about J forums see http://www.jsoftware.com/forums.htm
