Bug 421713 - I played the tiny killer and I found that the game has ambiguities
Summary: I played the tiny killer and I found that the game has ambiguities
Status: RESOLVED NOT A BUG
Alias: None
Product: ksudoku
Classification: Applications
Component: general (show other bugs)
Version: unspecified
Platform: Other Linux
: NOR normal
Target Milestone: ---
Assignee: Ian Wadham
URL:
Keywords:
: 421753 (view as bug list)
Depends on:
Blocks:
 
Reported: 2020-05-18 05:09 UTC by Pablo de la Mora
Modified: 2020-05-21 05:16 UTC (History)
3 users (show)

See Also:
Latest Commit:
Version Fixed In:
Sentry Crash Report:


Attachments
I played the tiny killer and I found that the game has ambiguities (1.40 KB, text/plain)
2020-05-18 05:09 UTC, Pablo de la Mora
Details
Invalid moves in Tiny Killer puzzle (1.34 MB, text/plain)
2020-05-19 08:38 UTC, Ian Wadham
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Pablo de la Mora 2020-05-18 05:09:56 UTC
Created attachment 128562 [details]
I played the tiny killer and I found that the game has ambiguities

SUMMARY
I opened a Tiny Killer and I found that it has a situation where there are ambiguities
Below I send the saved game where you can see the problem

STEPS TO REPRODUCE
1. 
2. 
3. 

OBSERVED RESULT


EXPECTED RESULT


SOFTWARE/OS VERSIONS
Windows: 
macOS: 
Linux/KDE Plasma: 
(available in About System)
KDE Plasma Version: 
KDE Frameworks Version: 
Qt Version: 

ADDITIONAL INFORMATION
Comment 1 Ian Wadham 2020-05-18 07:48:33 UTC
I cannot see an ambiguity here. In the second row there has to be a 4 to make the sum of the cage to 7 and the rest follows. Alternatively, in Killer and Tiny Killer Sudokus the 3x3 or 2x2 squares of cells have to contain each digit exactly once, as do thr rows and columns, so the top-left 2x2 square has to contain a 4 and the bottom row has to contain 3 2 4 1 in that order.

The rules of a Tiny Killer are the same as for a Classic 4x4 Sudoku, but in addition each cage must add up to the total shown in its top-left corner.
Comment 2 Pablo de la Mora 2020-05-18 17:17:58 UTC
In the figure that I sent there is an extra "2" in the second line, but when I was playing the second line was
1xx3
and the fourth line was
3yy1 
so a possible solution was;
xx => 42
yy => 24

but also;
xx => 24
yy => 42

This ambiguity is not the first time that happened to me
Comment 3 Ian Wadham 2020-05-19 08:38:23 UTC
Created attachment 128605 [details]
Invalid moves in Tiny Killer puzzle
Comment 4 Ian Wadham 2020-05-19 08:59:36 UTC
In the attachment I added, line 2 as 1243 is invalid because it has two 2's in the top left 2x2 grid and two 4's in the top right 2x2 grid, whereas 1423 in line 2 leaves one occurrence of the four possible digits in each grid. A similar requirement applies to line 4, in which 3241 is the correct and only solution.

This rule is the same as in the Classic Sudoku 4x4 puzzle. My apologies if the 2x2 grids are not shown clearly, but I inherited the existing graphics when I implemented the Killer Sudoku and Tiny Killer puzzle types and their generator. in the Mathdoku (or Kenken TM) puzzles, there are no internal NxN grids and the cages can contain the same digit more than once.
Comment 5 Ian Wadham 2020-05-19 09:06:26 UTC
Hmmm... I see that the KSudoku Handbook is badly in need of an update to document the puzzle types I added and explain the rules of the Killer and Mathdoku types.

Sadly, I no longer have access to the KSudoku repository. Any volunteers to update the Handbook?...
Comment 6 Ian Wadham 2020-05-19 09:19:40 UTC
*** Bug 421753 has been marked as a duplicate of this bug. ***
Comment 7 Albert Astals Cid 2020-05-19 17:46:06 UTC
(In reply to Ian Wadham from comment #5)
> Sadly, I no longer have access to the KSudoku repository. Any volunteers to
> update the Handbook?...

Yuri, do you have time to help Ian improve the documentation of KSudoku?
Comment 8 Yuri Chornoivan 2020-05-19 17:48:27 UTC
(In reply to Albert Astals Cid from comment #7)
> (In reply to Ian Wadham from comment #5)
> > Sadly, I no longer have access to the KSudoku repository. Any volunteers to
> > update the Handbook?...
> 
> Yuri, do you have time to help Ian improve the documentation of KSudoku?

Ok. I'll do it next weekend.
Comment 9 Ian Wadham 2020-05-21 05:16:33 UTC
Thank you very much for stepping up, Yuri. I will try to find some time tomorrow (Friday) to write some paragraphs and send them to you by direct email.