Homework # 4
due February 20

Chaotic Iteration

Prove the correctness of chaotic iteration for any monotone $F : L^n \to L^n$ for any complete lattice $L$. See Exercise 1.6 for the inductive proof to make.

Also answer the following question: ``Why would we want to do chaotic iteration? What's the point of this proof?''

Transformation

Do Exercises 1.10 and 1.11.

Submission

As with all homeworks, please turn in your homework on paper at the beginning of lecture.

About this document



John Tang Boyland
2006-02-21