next up previous
Next: Complexity Up: Algorithm Analysis Previous: Algorithm Analysis

Theorems and proofs

A proof for the cyclic edge detector algorithm by Tim Dwyer and Kim Marriott can be found in Appendix A.

2006-11-07