Hi,
----------------------------- Part 1 ------------------------------
Some of you have asked me to present more formal proofs, which I am
happy to oblige. You can now find some notes on the homepage for the
course, in which two formal proofs are given.
Since one of the presented proofs is a solution to Exercise 3 in
Assignment 1, you are now no longer required to do Exercise
3. Instead, please read the proof carefully and make sure that you
understand it.
----------------------------- Part 2 -------------------------------
Some of you told me that you may have difficulty generating executable
code for a Unix environment. So I propose the following at this
moment.
1. Upload your source code.
2. Upload the answers that you obtain from running your code on
the various inputs I post on-line, which are often very large.
If your code doesn't work, please simply say that it doesn't work.
You can always receive partial credit if it is the case.
3. Academic honesty: if I detect that the answers you give are
not generated from you code, you lose all the credit and you
may subsequently fail the course.
--Hongwei