Lesson 15 of 16 · about 15 min
Invariants and impossible puzzles
How do you prove something can never happen, no matter how many moves you try? Find a property that every move preserves. You'll use invariants to show a robot can't reach a square, a chessboard can't be tiled, and a famous movie puzzle can't be solved with the wrong jugs.
🔓 Unlock this lesson
This lesson is part of the DoingCamp Pass. Members get every lesson in every course, with all the interactive visuals, coding exercises and challenges.
In this lesson you'll learn:
- State machine
- Preserved invariant
Free to try in F05 Logic & Proofs:
The first 3 lessons of every course are free, no account needed.