14
$\begingroup$

Heteromino is an area-dividing puzzle with very simple rules. I encountered this puzzle type on puzz.link, and seeing there's none posted here, I decided to give it a try.

Here is an example puzzle with solution:

The rules of Heteromino are as follows:

  1. Divide the white area into L- or I-trominoes.
  2. No two trominoes of identical shape and orientation may share an edge.

Now, solve the following puzzle:

$\endgroup$
3
  • 1
    $\begingroup$ Ooh this puzzle type is kinda memorable for me.. In my previous uni, I tried to prove that this is NP-hard :) $\endgroup$
    – athin
    Oct 20, 2020 at 1:12
  • $\begingroup$ @athin Interesting. Did you complete the proof? $\endgroup$
    – Bubbler
    Oct 20, 2020 at 1:16
  • 1
    $\begingroup$ Fortunately yes, we were planning to rewrite the proof in English (because it was written in Indonesian haha), but until now we haven't continued it.. XD $\endgroup$
    – athin
    Oct 20, 2020 at 1:25

1 Answer 1

12
$\begingroup$

First:

Take a look at the cell in row 2, column 3. It must be part of a region extending left -- where is the third cell in that region? If it goes left, it blocks off 2 cells in the upper left. If it goes down, then there will be two Γ-trominoes adjacent. So it must go up.

enter image description here

Similarly, the group with cell R3C2 now cannot go down or right, so it must go left.

enter image description here

Similar logic, but with a bit of lookahead:

If the group with cell R4C3 goes right, then the bottom will either be two — shapes, or a ⅂ shape that touches the one we already have. So it must go down.

enter image description here

Another bit of lookahead gives us this: If we have this pink-highlighted box, there's a problem in the upper right. (Either two ⅃ shapes touch, or we block off a cell in the right column.)
enter image description here
Extending the top region rightwards is also an issue...
enter image description here

so we have this:
enter image description here
enter image description here

Finishing off the puzzle with some more attacks on carefully-chosen borders:

enter image description here
This is impossible (because it will either make two |-shaped regions, or a 4-long region in the bottom.)
enter image description here
And then the two remaining cells in row 4 must be connected (to not have two |-shaped regions touching), and that finishes off the puzzle!
enter image description here

$\endgroup$
3
  • $\begingroup$ Super fast and nice job, as always :) My logic for the top right region was that rot13(vs E1P4 vf n ubevmbagny V, nyy guerr pubvprf sbe E3P4 yrnq gb pbagenqvpgvbaf). $\endgroup$
    – Bubbler
    Oct 20, 2020 at 1:10
  • $\begingroup$ @Bubbler Makes sense! I figured that out early on (not completely rigorously), before actually starting with the top left. But since it didn't immediately lead anywhere, I wanted to see if I could find a simpler logical path through the puzzle. $\endgroup$
    – Deusovi
    Oct 20, 2020 at 1:18
  • $\begingroup$ Thank, this really helps! $\endgroup$
    – AntsPiano
    Oct 20, 2020 at 2:11

Your Answer

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

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