Programmation intégrale : le théorème de Doignon

Cette séance de cours traite du théorème de Doignon en programmation entière, qui stipule qu'un ensemble est minimalement irréalisable si la suppression de toute contrainte le rend possible. Le théorème, introduit par Doignon en 1973, est expliqué avec une notation mathématique et une preuve. La séance de cours couvre également le concept de coque convexe et les conditions pour qu'un ensemble soit considéré comme irréalisable.