ClassroomThe classroom
Back to the lesson libraryMECHANISM · 14 MIN
M05.4 CONNECT THE MECHANISM

Remove impossible choices before searching further

Colour a map of Australia so no neighbours match. Watch two choices and a chain of forced moves finish the job, and see the same trick schedule your exams.

LESSON OVERVIEW14 min lesson

Lesson overview

Colour a map of Australia so no neighbours match. Watch two choices and a chain of forced moves finish the job, and see the same trick schedule your exams.

What you’ll explore

  • Constraint satisfaction combines variables, domains, and relations; propagation and backtracking reduce search, while SAT and SMT supply specialized logical formulations.
GO TO THE SOURCE

Original explanations, connected to the research.

Artificial Intelligence: A Modern Approach — authors’ materialsConsistency in Networks of Relations (Mackworth, 1977)
Suggest a correction

A precise note can make an explanation better.

Choose the scene and describe what needs attention. Download a feedback file to share through a channel you already use. This page does not send feedback or connect you with a reviewer.

The file includes this note, the scene title, and lesson metadata. Your saved progress and quiz responses are excluded. Download before leaving or reloading to keep your note.