English

Platon Sudoku · Sudoku Study

The uniqueness premise · Core Concepts

Uniqueness reasoning assumes the puzzle has one complete solution. The puzzle source must guarantee that premise.

This course is adapted from Platon Sudoku App. Read the complete example here, then continue learning and practising in the app.

View on Google Play

Definition

Uniqueness reasoning assumes the puzzle has one complete solution. The puzzle source must guarantee that premise.

How to find it

Before using a uniqueness technique, confirm the puzzle is promised to have one solution.

Common mistake

A local candidate sketch cannot prove uniqueness of the entire puzzle.

Worked example

Teaching board · local candidate diagram

Observe candidates

Uniqueness reasoning assumes the puzzle has one complete solution. The puzzle source must guarantee that premise.

The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.
The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.
Verify the condition

Before using a uniqueness technique, confirm the puzzle is promised to have one solution.

The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.
The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.
Draw the conclusion

A local diagram cannot prove uniqueness; the puzzle source must guarantee it.

The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.
The four marked cells show a local pattern; the puzzle source must guarantee uniqueness, which this diagram cannot prove.

Recognition practice

Teaching board · local candidate diagram

Recognition practice 1

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 2

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Recognition practice 3

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 4

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Recognition practice 5

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 6

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Recognition practice 7

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 8

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Recognition practice 9

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 10

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Recognition practice 11

The puzzle guarantees one solution. May uniqueness be used as a premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

Yes

Recognition practice 12

No uniqueness guarantee is given. Can this local sketch establish the premise?

Teaching board · local candidate diagram
Teaching board · local candidate diagram
Draw the conclusion

No

Practice

This course is adapted from Platon Sudoku App. Read the complete example here, then continue learning and practising in the app.

View on Google Play