onderdeel van de ➝mathematische programmering waarbij geëist wordt dat de variabelen uitsluitend discrete waarden mogen aannemen. Veelal betreft het problemen waarin dat gehele getallen moeten zijn, b.v. aantallen mensen, voertuigen, goederen.
Een bijzonder geval zijn de zgn. 0-1 problemen, waarbij de variabelen hetzij 0, hetzij 1 moeten zijn. Veel praktische problemen kunnen in deze vorm gebracht worden. B.v. een aannemer moet een keuze doen uit n verschillende werken. Hij heeft m produktiemiddelen (kapitaal, machines, werklui, enz.) in beperkte mate beschikbaar, stel een hoeveelheid bi; van produktiemiddel i. Werk j vereist van produktiemiddel i een hoeveelheid aij. Men voert nu een hulpvariabele xj, in waarvoor geldt: xj = 0 als werk j niet gekozen wordt en anders xj = 1. Als bij werk j de winst pj is, dan moet men om een maximale winst te bereiken het volgende probleem oplossen: onder de voorwaarden dat het verbruik van de produktiemiddelen niet groter mag zijn dan de beschikbare hoeveelheid, in formule: ∑_(j=1)^n ai j xj ≦ bi moet het maximum gevonden worden van de vorm: ∑_(j=1)^n pj xj Voor het oplossen van dit soort problemen bestaan twee methoden: 1. door het geleidelijk toevoegen van extra beperkingen wordt het maximum na een eindig aantal stappen bereikt;
2. een aftelmethode waarbij het maximum gevonden wordt door het na elkaar proberen van mogelijke oplossingen. Veel grote problemen zijn nog niet oplosbaar.
