Is this a BUG-Lite ?

Advanced methods and approaches for solving Sudoku puzzles

Is this a BUG-Lite ?

I've always assumed a BUG-lite had exactly two solutions, and rarely bothered to see if that was actually the case. Here is one, based on a post by peterj here, that has no solution.

Code: Select all
` .  .  .  | .  .  .  | ab ab .   ab ab .  | .  .  .  | .  .  .   .  .  .  | .  .  .  | .  .  .  ----------+----------+----------  .  ac .  | .  .  .  | ac .  .   .  .  .  | .  .  ac | .  ac .   ac .  .  | .  .  ac | .  .  .  ----------+----------+----------  .  bc .  | .  .  .  | .  bc .   .  .  .  | .  .  .  | .  .  .   bc .  .  | .  .  .  | bc .  .  `

Does anyone think that referring to this pattern as a BUG-Lite is improper?
ronk
2012 Supporter

Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

Re: Is this a BUG-Lite ?

a BUG pattern can have an even number of solutions, that is 0,2,4 and so on

Therefore a BUG-lite can also have an even number of solutions
lksudoku

Posts: 90
Joined: 06 October 2010

Re: Is this a BUG-Lite ?

lksudoku wrote:a BUG pattern can have an even number of solutions, that is 0,2,4 and so on

Therefore a BUG-lite can also have an even number of solutions

In a valid puzzle a BUG (as in BUG+n, all unsolved cells included) always has 0 solutions. As BUG-lite is a lighter version of BUG, a BUG-lite with 0 solutions should of course be accepted.

But in this case the 0 solutions is not caused by the BUG-lite, but by the impossible pattern on candidate c (see below). So essentially, any elimination made using that BUG-lite pattern could have been made as a non-uniqueness elimination using a smaller pattern.

Code: Select all
` .  c  .  | .  .  .  | c  .  .  .  .  .  | .  .  c  | .  c  .  c  .  .  | .  .  c  | .  .  . ----------+----------+-------- .  c  .  | .  .  .  | .  c  .  .  .  .  | .  .  .  | .  .  .  c  .  .  | .  .  .  | c  .  . `

RW
RW
2010 Supporter

Posts: 1010
Joined: 16 March 2006