This is an entry for Fortnightly Topic Challenge #44: Introduce a new grid deduction genre to the community

This is a Tatamibari puzzle, where you divide the grid into rectangles and squares.

Rules taken from Wikipedia:

  • Every partition must contain exactly one symbol in it.
  • A + symbol must be contained in a square.
  • A | symbol must be contained in a rectangle with a greater height than width.
  • A - symbol must be contained in a rectangle with a greater width than height.
  • Four pieces may never share the same corner.

An example puzzle and its solution:

example puzzle

example solution

Now, solve this puzzle:

the real puzzle - see CSV file below

Here is the puzzle in a playable form. The link leads to a puzz.link editor (which has a timer, if you care about that).

First answer with a full logical solution path gets the checkmark.

CSV version:


The basic deductions:

enter image description here

Now, we ask:

Which room touches the upper left corner? It turns out only one of the clues can reach there -- the clue in row 3, column 5.
enter image description here

And a similar question is helpful again:

Which room goes in row 4, column 1? Only one clue works there. And what about row 1, column 7? The clue just underneath it must be the one to use that cell -- which requires us to cram the rooms in the top section together.

enter image description here

A similar process lets us fill up the left column:

R9C1 can only be reached by the clue below it, which fixes that as a 2×3 rectangle. Then R8C1 must be part of the square above it, and the left column is complete.

At the same time, we can use reachability on a bunch of cells in the bottom row, and fill up the bottom as well.
enter image description here

And similar arguments work to finish off the puzzle. The solution is:

enter image description here

  • 1
    $\begingroup$ What tool/website do you use to solve these puzzles? $\endgroup$ – daw Nov 30 '20 at 6:04
  • 2
    $\begingroup$ @daw I use puzz.link! It's a very nice website that has interfaces for both constructing and solving puzzles. There's a link to the puzz.link interface in the original question. $\endgroup$ – Deusovi Nov 30 '20 at 8:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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