The figure below shows a portion of the CSP representation for this problem, showing three variables representing three of our intersections, and constraints relating to those intersections. C1 is the constraint that says intersection 1 must have a stop sign, and C2 and C3 state that consecutive intersections cannot both have stop signs or both be uncontrolle