Optimisation combinatoire

Dans sa forme la plus générale, un problème d'optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) consiste à trouver dans un ensemble discret un parmi les meilleurs sous-ensembles (ou solutions) réalisables, la notion de meilleure solution étant définie par une fonction objectif. Formellement, étant donnés :

• un ensemble discret ${\displaystyle N}$ fini;
• une fonction d'ensemble ${\displaystyle f:2^{N}\rightarrow \mathbb {R} }$, dite fonction objectif ;
• et un ensemble ${\displaystyle {\mathcal {R}}}$ de sous-ensembles de ${\displaystyle N}$, dont les éléments sont appelés les solutions réalisables,

un problème d'optimisation combinatoire consiste à déterminer

${\displaystyle \max _{S\subseteq N}\{f(S):\,S\in {\mathcal {R}}\}.}$

L'ensemble des solutions réalisables ne saurait être décrit par une liste exhaustive car la difficulté réside ici précisément dans le fait que le nombre des solutions réalisables rend son énumération impossible, ou bien qu'il est NP-complet de dire s'il en existe ou non. La description de ${\displaystyle {\mathcal {R}}}$ est donc implicite, il s'agit en général de la liste, relativement courte, des propriétés des solutions réalisables.

La plupart du temps, on est dans les cas particuliers suivants :

• ${\displaystyle N=\{1,2,\ldots ,n\}}$ et ${\displaystyle {\mathcal {R}}=X\cap \mathbb {Z} ^{n}}$ où ${\displaystyle X\subset \mathbb {R} ^{n}}$ et la cardinalité de ${\displaystyle {\mathcal {R}}}$ est exponentielle en ${\displaystyle n}$ ;
• ${\displaystyle {\mathcal {R}}=conv({\mathcal {R}})\cap \mathbb {Z} ^{n}}$ donc les propriétés de ${\displaystyle {\mathcal {R}}}$ se traduisent en contraintes linéaires, c'est-à-dire que ${\displaystyle X}$ et un polyèdre de ${\displaystyle \mathbb {R} ^{n}}$ ;
• ${\displaystyle f(S)=\sum _{s\in S}f(s)}$.

Trouver une solution optimale dans un ensemble discret et fini est un problème facile en théorie : il suffit d'essayer toutes les solutions, et de comparer leurs qualités pour voir la meilleure. Cependant, en pratique, l'énumération de toutes les solutions peut prendre trop de temps ; or, le temps de recherche de la solution optimale est un facteur très important et c'est à cause de lui que les problèmes d'optimisation combinatoire sont réputés si difficiles. La théorie de la complexité donne des outils pour mesurer ce temps de recherche. De plus, comme l'ensemble des solutions réalisables est défini de manière implicite, il est aussi parfois très difficile de trouver ne serait-ce qu'une solution réalisable.

Quelques problèmes d'optimisation combinatoire peuvent être résolus (de manière exacte) en temps polynomial par exemple par un algorithme glouton, un algorithme de programmation dynamique[1] ou en montrant que le problème peut être formulé comme un problème d'optimisation linéaire en variables réelles.

Dans la plupart des cas, le problème est NP-difficile et, pour le résoudre, il faut faire appel à des algorithmes de branch and bound, à l'optimisation linéaire en nombres entiers ou encore à la programmation par contraintes.

En pratique, la complexité physiquement acceptable n'est souvent que polynomiale. On se contente alors d'avoir une solution approchée au mieux, obtenue par une heuristique ou une métaheuristique.

Pour le problème du VRP envisagé à large échelle, Richard Karp zone les villes, résout le problème zone par zone, puis assemble au mieux les parcours locaux.

Pour un problème d'optimisation d'affectation d'équipages, l'optimisation linéaire en variables réelles dégrossit le problème : on considère comme définitives les valeurs des variables ainsi collées aux extrêmes de leur domaine, et on n'applique les méthodes d'optimisation combinatoire que sur le problème résiduel.

Pour certains problèmes, on peut prouver une garantie de performance, c'est-à-dire que pour une méthode donnée l'écart entre la solution obtenue et la solution optimale est borné. Dans ces conditions, à domaine égal, un algorithme est préférable à un autre si, à garantie égale ou supérieure, il est moins complexe.

• Portail des mathématiques
• Portail de l'informatique théorique