Wednesday 19 September 2012

Cross Products and Even Crosser Informaticians

Today, the four students, as well as the two tutors, collectively proved a greedy algorithm for a computational geometry problem. We then individually wrote several hundred horrific lines of code to solve the problem, before realising our proof was wrong. It still scored 70% on orac though, so I think of this as being 70% completely and utterly correct. Proof by test data? Such is informatics.

No comments:

Post a Comment