Do You Have to Guess in Hitori? What-If Reasoning Explained

Hitori guide ยท 5 min read

Here is a question that trips up a lot of Hitori solvers, especially on the harder grids: when the obvious shading runs out and you find yourself thinking "what if this cell were black?", are you still solving by logic, or have you started guessing? It is a fair worry. That assume-and-check move can feel like a gamble. The good news is that it is not. A properly made Hitori puzzle never requires a guess, and the "what-if" technique that powers its toughest deductions is pure logic in disguise. This guide explains why Hitori is always solvable without guessing, and how what-if reasoning actually works. First, go play a Hitori puzzle and put it to the test.

The short answer: no guessing required

A well-constructed Hitori puzzle is guaranteed to have exactly one solution, and that solution can always be reached by deduction alone. This is a defining property of a fair puzzle, not a happy accident. A grid that could be shaded two different ways, or that genuinely forced a coin-flip, is considered broken, and reputable puzzle makers reject it before it reaches you.

So when you sit down with a Hitori from a good source, you have a quiet promise: every cell is either definitely black or definitely white, and you can work out which by reasoning, without ever gambling.

So what is "what-if" reasoning?

Here is where the confusion comes from. On easy and medium grids, Hitori is solved with direct rules: spot three identical numbers in a line and shade the outer two, mark cells next to a black cell as white, and so on. The next move is always staring you in the face.

On harder grids, the direct moves run out, and you reach for what-if analysis: you pick a promising cell, assume it is black, and follow the consequences through the rules. One of two things happens:

  • The assumption leads to a contradiction (two black cells end up touching, a duplicate survives, or white cells get cut off). That proves the cell cannot be black, so it must be white. You have just deduced its value with certainty.
  • The assumption holds up, and you make progress from there.

The key insight is that the contradiction is what gives you certainty. You are not hoping the cell is black; you are proving it cannot be, by showing that "black" breaks the rules. That is deduction, identical in spirit to the logic behind every other move, just carried a step or two further ahead.

Why what-if is logic, not guessing

The difference between guessing and what-if reasoning is what you do with the result:

  • Guessing means picking a cell, marking it, and hoping you got it right, with no way to know until much later.
  • What-if reasoning means picking a cell, testing a value, and using the outcome to prove the correct value before you commit anything for real.

In other words, what-if is a thought experiment you run in your head (or with light pencil marks), not a commitment you gamble on. When it reveals a contradiction, you have certain knowledge. When it does not, you simply try a different starting point. Nothing is ever left to chance. This is the same disciplined assume-and-check method used in many classic logic puzzles, and it is entirely legitimate.

How to find the next move instead of guessing

If a grid has you stuck and tempted to gamble, work through this before you do:

  • Re-check the direct rules. Have you shaded the middle-and-outer of every triple, and marked every cell adjacent to a black cell as white? These are easy to miss.
  • Look for "a pair plus a third." If two identical numbers sit side by side, any other copy of that number in the same row or column must be shaded.
  • Watch connectivity. If shading a cell would isolate a group of white cells, that cell cannot be black, so it is white. Connectivity often hands you a forced move for free.
  • Then run a what-if. Pick a cell whose state you are unsure of, assume it is black, and chase the consequences. If you hit a contradiction, mark it white with confidence.

Nine times out of ten, one of these breaks the deadlock. For the full toolkit of techniques, our rules and strategy page walks through them with examples.

Trust the logic

Our hardest puzzles lean into this guarantee. The Einstein-level Hitori grids are certified solvable by constraint propagation alone, meaning a complete logical path to the answer exists without any trial-and-error. Finding that path is the challenge, but it is always there.

So the next time the easy shadings run out and you reach for "what if," do it with confidence. You are not guessing; you are deducing one step ahead. Play a Hitori puzzle now, and when you get stuck, remember: the next move is always there to be reasoned out.

Frequently asked questions

Do you have to guess in Hitori?

No. A properly constructed Hitori puzzle has a single solution reachable through logic alone, so there is always a deduction available rather than a need to guess. If you feel stuck, it means you have missed a forced move or need to apply what-if reasoning, not that the puzzle requires guessing.

Is "what-if" reasoning the same as guessing?

No. Guessing means marking a cell and hoping it is right. What-if reasoning means assuming a value, following its consequences, and using a contradiction to prove the correct value before committing anything. The contradiction gives you certainty, which makes it deduction, not a gamble.

Is Hitori always solvable by logic?

Yes. A well-made Hitori is guaranteed to have exactly one solution that can be reached by pure deduction, including what-if analysis on harder grids. Puzzles that could be shaded more than one way, or that force a true guess, are considered broken and are rejected by reputable puzzle makers.

How do you avoid guessing on hard Hitori puzzles?

First exhaust the direct rules (the sandwich pattern, shading neighbours of black cells white, and the pair-plus-a-third rule), then use connectivity, since any shading that would isolate white cells is forbidden and often forces a move. When those run out, use what-if analysis: assume a cell is black and shade it white if that leads to a contradiction.