Globalne ograniczenia kombinatoryczne (2 czerwca, wykład 13)