Problem Set 7 - Revised

A revised version of Problem Set 7 is now posted. The change is that an additional constrait was added to the state machine transitions (G):

This constraint is needed since without it, a member of A might give up a better match for a worse one!

(Thanks especially to Luke Botti for noticing this problem.)