UniversityComputingLoop invariants and termination10–15 min
Invariant Hunter
Choose the loop invariant and the variant that prove classic loops correct and terminating: summation, binary search and the insertion-sort inner loop.
Notice, currentExplain, nextApply, next
0 points
The experiment opens when it comes into view.
Theory and model assumptions
Choose the loop invariant and the variant that prove classic loops correct and terminating: summation, binary search and the insertion-sort inner loop.
Teacher guidance
University, Algorithms
Expected time: 10–15 minutes.