Was zeichnet ein Entscheidungsproblem als ganzzahliges Optimierungsmodell aus?