15
$\begingroup$

The usual rules of sudoku apply: each row and column must have one of each digit; plus, if you divide the whole nine-by-nine grid into nine three-by-three subgrids, then each subgrid has one of each digit. Special for this sudoku, though, some areas are heavily outlined; each of these must contain precisely the digits printed in it, with the same multiplicity.

By request, the blank grid:

Improve this question
$\endgroup$
4
  • $\begingroup$ Check out Penpa (swaroopg92.github.io/penpa-edit). Works perfect for these type of puzzles. $\endgroup$
    – npkllr
    Commented Dec 17, 2020 at 17:40
  • $\begingroup$ Is there a reason why the answer has not been accepted? $\endgroup$
    – ACB
    Commented Jan 12, 2023 at 18:35
  • $\begingroup$ @ACB it leaves us hanging midway. $\endgroup$
    – msh210
    Commented Jan 12, 2023 at 20:08
  • $\begingroup$ Penpa+ link $\endgroup$
    – ACB
    Commented Jan 13, 2023 at 13:32

2 Answers 2

Reset to default
9
$\begingroup$

This is my solution:

solution

My approach was fairly simple:
1. Note down the possible digits for each cell, according to the rules.
2. Solve it like a usual Sudoku.

Here are the basic steps:

Put all the possible digits in the outlined areas according to the question:
enter image description here
Digits that appear multiple times inside one area and therefore must exist at a specific position:
enter image description here
Following the general Sudoku rules (specificly: unique digits in column, row and subgrids):
enter image description here
Some more deduction using the general Sudoku rules:
enter image description here
Continue to solve the Sudoku.

Improve this answer
$\endgroup$
13
  • 2
    $\begingroup$ Could you provide any more detail for your solution path? Even just some key deductions with pictures would be nice. Solutions to [grid-deduction] questions are generally expected to explain their solution path. $\endgroup$
    – bobble
    Commented Dec 17, 2020 at 17:45
  • $\begingroup$ @bobble Yes, I thought about that. But I actually did nothing more than draw a blank Sudoku, put all the possible digits in the outlined areas according to the question, and then solved the puzzle like a normal Sudoku. $\endgroup$
    – npkllr
    Commented Dec 17, 2020 at 17:49
  • $\begingroup$ Would it be possible to show any interesting steps, or even just several picture of intermediate states? $\endgroup$
    – bobble
    Commented Dec 17, 2020 at 17:50
  • 1
    $\begingroup$ @npkllr, yes this is better. Thank you for adding more explanation $\endgroup$
    – bobble
    Commented Dec 17, 2020 at 18:31
  • 1
    $\begingroup$ @JeremyDover I added an answer that describes the constraint programming formulation. $\endgroup$
    – RobPratt
    Commented Dec 17, 2020 at 20:49
1
$\begingroup$

You can solve the problem via constraint programming as follows. For each cell $(i,j)$, let integer decision variable $x_{i,j} \in [1,9]$ be the digit that appears in that cell. The usual sudoku rules yield 27 ALLDIFF constraints, one per row, column, or 3-by-3 box. For example, the ALLDIFF constraint for row 1 is $$\operatorname{ALLDIFF}(x_{1,1}, x_{1,2}, x_{1,3}, x_{1,4}, x_{1,5}, x_{1,6}, x_{1,7}, x_{1,8}, x_{1,9}),$$ the ALLDIFF constraint for column 1 is $$\operatorname{ALLDIFF}(x_{1,1}, x_{2,1}, x_{3,1}, x_{4,1}, x_{5,1}, x_{6,1}, x_{7,1}, x_{8,1}, x_{9,1}),$$ and the ALLDIFF constraint for the top left 3-by-3 box is $$\operatorname{ALLDIFF}(x_{1,1}, x_{1,2}, x_{1,3}, x_{2,1}, x_{2,2}, x_{2,3}, x_{3,1}, x_{3,2}, x_{3,3}).$$ For each of the 18 regions, there is also a global cardinality constraint (GCC). For example, the central plus-shaped region requires $$\operatorname{GCC}(x_{3,5}, x_{4,5}, x_{5,3}, x_{5,4}, x_{5,5}, x_{5,6}, x_{5,7}, x_{6,5}, x_{7,5}; \{(2,1,1), (3,1,1), (4,1,1), (5,1,1), (7,1,1), (8,2,2), (9,2,2)\}).$$ The interpretation is that the seven variables in the first argument must together take the values 2, 3, 4, 5, and 7 once each and the values 8 and 9 twice each.

Improve this answer
$\endgroup$
3
  • $\begingroup$ I don't think a programming answer is helpful when the given puzzle is already shown to be solvable by hand with logic. $\endgroup$
    – Bubbler
    Commented Dec 17, 2020 at 23:48
  • $\begingroup$ Hmm, I thought multiple approaches were encouraged. $\endgroup$
    – RobPratt
    Commented Dec 18, 2020 at 14:20
  • 3
    $\begingroup$ @Bubbler I see your point, but this is not just "I wrote a python script". Rather it is a mathematical formulation that I appreciate learning more about. $\endgroup$
    – Jeremy Dover
    Commented Dec 19, 2020 at 16:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.