SAT-Kodierung: Anzahl-Constraints

count≥k(p1,…, pn) = mathend000# wenigstens k mathend000# der n mathend000# Variablen sind wahr.

(Übung: definiere count=k, count≤k mathend000#)

Anwendung: größte unabh. Menge von Springern?



2014-03-31