Is uniqueness broken?

Ask your support questions for SudoCue here
Post Reply
rep'nA
Hooked
Hooked
Posts: 49
Joined: Fri Jan 19, 2007 11:37 am
Location: Union City, California

Is uniqueness broken?

Post by rep'nA »

I was working the puzzle:

Code: Select all

2 . .|. . 7|1 3 .
. 5 .|. . .|. 7 6
8 . .|. . .|5 . 4
-----+-----+-----
1 . .|9 . .|. . 3
. 2 5|7 . .|. . .
. . .|. 2 4|. . .
-----+-----+-----
. . .|. 7 .|. . .
9 . .|. 5 .|. 8 .
. 7 .|. . 2|4 . 5
which after singles and locked candidates becomes:

Code: Select all

.---------------------.---------------------.---------------------.
| 2      69*    69*   | 5      4      7     | 1      3      8     |
| 4      5      13    | 138    138    9     | 2      7      6     |
| 8      13     7     | 2      136    136   | 5      9      4     |
:---------------------+---------------------+---------------------:
| 1      468    468   | 9      68     5     | 7      2      3     |
| 36     2      5     | 7      1368   1368  | 68     4      9     |
| 7      3689*  3689* | 368    2      4     | 68     5      1     |
:---------------------+---------------------+---------------------:
| 5      13468  13468 | 13468  7      1368  | 9      16     2     |
| 9      146    2     | 146    5      16    | 3      8      7     |
| 36     7      1368  | 1368   9      2     | 4      16     5     |
'---------------------'---------------------'---------------------'
where a unique pair in r16c23<69> should produce r6c23<>6, but the latest version of SudoCue is not catching it, even with unique pair being listed first in the solving order.
"Obviousness is always the enemy to correctness."-Bertrand Russell
rep'nA
Hooked
Hooked
Posts: 49
Joined: Fri Jan 19, 2007 11:37 am
Location: Union City, California

Post by rep'nA »

The new version (3.20 beta) still isn't catching this.
"Obviousness is always the enemy to correctness."-Bertrand Russell
Ruud
Site Owner
Site Owner
Posts: 601
Joined: Fri Dec 30, 2005 10:21 pm

Post by Ruud »

Not too much free time, lately, but I will try to fix this soon.

thanks for the update,
Ruud
Post Reply