Invariants, Monovariants & Proof Sketches

Loop invariants, exchange arguments, induction, monovariants, and finding counterexamples.

0 / 2 solved

Question Tags Difficulty Success

1. The Exponent Zero Case

loop-invariantspostconditions +2

Medium —

2. True But Not Enough

loop-invariantsbinary-search +2

Hard —

Learning Resources

CMU 15-122, Contracts, invariants and reasoning about code

CMU 15-122, Binary Search proof with loop invariants

Jeff Erickson, Greedy Algorithms chapter (exchange arguments)

Up next

2 of 2 questions here are still unsolved.

Next module Choosing The Data Structure