Validierung

Die Eingabegrössen werden auf Korrektheit geprüft:

• Sind die Menge U und die Attributliste nicht leer
• Sind B und K positive ganze Zahlen
• Sind alle s(u) und v(u) positive ganze Zahlen