Algorithms and Data CS 4800
Karl Lieberherr
Due: Thursday, April 18, 2011
Still doing the Scientific Community Game to work productively
with your partner with claims related to Network Flow.
We turn exercise 7.12 (Chapter 7) into a claim:
I claim that I have a polynomial-time algorithm to solve 7.12.
Please take turns: if Bob proposes first the claim for problem 7.12
then Alice first proposes the other claim.
The refutation protocol is about finding a bug in the algorithm by giving it
an input where it produces the wrong result or by showing that it runs too slowly.
What to turn in:
A solution to 7.12.