Chapitre 14 — La programmation en nombres entiers

Calculatrice interactive — Recherche opérationnelle

Séparation et évaluation (deux variables)

$\max\;c_1x+c_2y$ sous deux contraintes $a x+by\leq c$, $x,y\geq0$ entiers.

Sac à dos 0/1 (portefeuille de projets)

Une ligne par projet : Nom,VAN,Coût.

Rappels : la relaxation continue borne toujours l'optimum entier ($Z^*_{\text{entier}}\leq Z^*_{\text{continu}}$ en maximisation) ; on sépare sur une variable fractionnaire $v$ en créant les sous-problèmes $\leq\lfloor v\rfloor$ et $\geq\lceil v\rceil$, sans jamais perdre de point entier ; on élague une branche dont la borne ne dépasse pas la meilleure solution entière déjà connue. Le sac à dos $0/1$ à peu d'objets s'énumère directement (toutes les combinaisons), sans qu'il soit nécessaire de séparer.