cs2102
Discrete Mathematics
This is a preserved file from cs2102 Fall 2016. An updated version may exist at https://uvacs2102.github.io/

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):

∀ b ∈ B . (ai, b) ∉ pairings

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.)