Le probleme de la minimisation d'une fonction pseudo-booleenne quadratique sous une contrainte lineaire est np-difficile. Par consequent, l'obtention de bornes inferieures est importante. Nous avons etudie differentes methodes pour calculer des bornes inferieures de la solution optimale et nous montrons que le calcul de ces bornes revient a la resolution de programmes lineaires continus. La principale originalite de nos travaux, est qu'ils generalisent les bornes proposees pour le probleme de la minimisation d'une fonction pseudo-booleenne quadratique sans contraintes. Nous avons ensuite applique le calcul des bornes proposees a des problemes particuliers ; la bipartition minimale d'un graphe, l'ensemble stable de cardinal maximal d'un graphe et le sac a dos quadratique. Pour chaque probleme nous avons mis en evidence des proprietes interessantes qui permettent de simplifier le calcul des bornes et des coupes qui permettent d'ameliorer la qualite des bornes proposees. En outre, pour reduire le temps de resolution des programmes lineaires continus consideres, nous avons elabore une methode de coupes qui permet de resoudre des programmes lineaires continus de maniere approchee. Enfin, pour chaque probleme particulier, nous avons integre notre methode de coupes dans un algorithme de resolution exacte (branch and cut). Nous nous sommes egalement interesse a un probleme d'optimisation lie a l'architecture des futurs reseaux numeriques urbains. Le probleme est de determiner une topologie en anneau de cout minimal qui respecte un certain nombre de contraintes. Nous avons modelise ce probleme a l'aide de la programmation mathematique et montre qu'une methode de resolution fondee sur la programmation lineaire en nombres entiers et les methodes de coupes permet de traiter des problemes reels avec un temps de calcul raisonnable.
Le probleme de la minimisation d'une fonction pseudo-booleenne quadratique sous une contrainte lineaire est np-difficile. Par consequent, l'obtention de bornes inferieures est importante. Nous avons etudie differentes methodes pour calculer des bornes inferieures de la solution optimale et nous montrons que le calcul de ces bornes revient a la resolution de programmes lineaires continus. La principale originalite de nos travaux, est qu'ils generalisent les bornes proposees pour le probleme de la minimisation d'une fonction pseudo-booleenne quadratique sans contraintes. Nous avons ensuite applique le calcul des bornes proposees a des problemes particuliers ; la bipartition minimale d'un graphe, l'ensemble stable de cardinal maximal d'un graphe et le sac a dos quadratique. Pour chaque probleme nous avons mis en evidence des proprietes interessantes qui permettent de simplifier le calcul des bornes et des coupes qui permettent d'ameliorer la qualite des bornes proposees. En outre, pour reduire le temps de resolution des programmes lineaires continus consideres, nous avons elabore une methode de coupes qui permet de resoudre des programmes lineaires continus de maniere approchee. Enfin, pour chaque probleme particulier, nous avons integre notre methode de coupes dans un algorithme de resolution exacte (branch and cut). Nous nous sommes egalement interesse a un probleme d'optimisation lie a l'architecture des futurs reseaux numeriques urbains. Le probleme est de determiner une topologie en anneau de cout minimal qui respecte un certain nombre de contraintes. Nous avons modelise ce probleme a l'aide de la programmation mathematique et montre qu'une methode de resolution fondee sur la programmation lineaire en nombres entiers et les methodes de coupes permet de traiter des problemes reels avec un temps de calcul raisonnable.
Cette these traite du probleme de la minimisation d'une fonction pseudo-booleenne quadratique (f. P. B. Q. ) sous des contraintes lineaires et de son application au probleme de placement de taches sur les systemes distribues ainsi qu'au probleme de partition de graphes. Nous proposons le calcul de plusieurs bornes inferieures. Dans le cas de contraintes lineaires de transport, nous proposons une reduction de la fonction objectif et le calcul d'une borne inferieure par implications logiques. Nous utilisons cette borne inferieure pour la resolution d'un probleme de placement de taches avec contraintes de ressources. Nous resolvons des problemes de l'ordre de 20 taches et 3 processeurs. Dans le cas de contraintes lineaires quelconques, nous calculons une borne inferieure par une decomposition optimale, sous certaines hypotheses, de la fonction objectif. Nous appliquons le calcul de cette borne au probleme de placement de taches sans contraintes de ressources. Une etude experimentale montre la bonne qualite de cette borne: nous obtenons des ecarts relatifs, avec la valeur exacte du probleme, inferieurs a 2% pour des problemes comportant 60 taches et 15 processeurs. Nous proposons aussi le calcul d'une borne inferieure pour un probleme de partition de graphes. Cette borne est obtenue par un algorithme de coupes polyedriques. Une etude experimentale montre la bonne qualite de cette borne pour certaines classes de problemes. Dans le cadre de la minimisation d'une f. P. B. Q. Sous une contrainte lineaire, nous proposons le calcul d'une borne inferieure par un programme lineaire continu. Nous prouvons que cette borne est la meilleure valeur que l'on puisse obtenir sous certaines hypotheses. Ce resultat se situe dans le prolongement des travaux de Hammer, Hansen et Simeone, dans le cas sans contraintes, sur le toit dual. Nous terminons par une etude theorique comparative de ces differentes bornes
Un probleme quadratique en variables binaires est un probleme d'optimisation en variables binaires consistant a minimiser une fonction objectif quadratique sous des contraintes lineaires. Dans cas general, c'est un probleme dificile a resoudre de maniere exacte (NP- difficile), trouvant de nombreuses applications pratiques. La resolution exacte du probleme passe par determination de bornes inferieures qu'il convient d'integrer dans des schemas de separation et evaluation progressive (ou Branch-and-Bound). Plusieurs techniques, allant de programmation semi-definie positive a l'optimisation globale, sont utilisees pour determiner ces bornes. Nous nous sommes particulierement interesses aux methodes lagrangiennes et aux techniques de linearisation. Nous avons traite dans cette these deux instances particulieres du probleme : la bipolarisation de graphes avec contrainte de cardinalite et le probleme quadratique en variables binaires sans contrainte. Pour bipartition de graphes, nous avons propose une demarche hybride melant relaxation lagrangienne et linearisation de probleme. Les tests numeriques, issus de l'algorithme resultant, ont montre des ameliorations significatives par rapport a certaines techniques existantes. Pour probleme quadratique en variables binaires sans contrainte, des etudes sur les techniques de linearisation ont ete effectuees. Elles consistent a remplacer fonction objectif quadratique par une forme lineaire, grâce a l'ajout de variables permettant de remplacer les parties quadratiques de fonction. L'ajout de ces variables entrainent [sic] aussi l'ajout de contraintes visant a s'assurer de validite du remplacement. Apres etude et tests des linearisations existantes, nous unifions ces techniques dans un schema general de linearisation. De nouveaux modeles ont, grâce a ce schema , vu jour et ameliorent significativement les resultats numeriques des formulations lineaires precedentes
Dans ce travail de these, nous nous sommes interesses a la resolution exacte de problemes d'optimisation en variables 0-1 (notes (Q01)), comportant une fonction objectif quadratique soumise a des contraintes lineaires. Les problemes de bipartition de graphe, d'affectation quadratique, du sac-a-dos quadratique en sont des exemples tres connus et amplement etudies dans la litterature de l'optimisation combinatoire. On les rencontre egalement, de facon plus concrete, dans les domaines scientifiques, economiques et industriels tels que le choix d'investissements, la gestion de portefeuilles, la conception de reseaux, le transport, etc. Malgre des travaux pionniers datant de plus de vingt ans, les problemes non lineaires en variables bivalentes demeurent en general mal resolus. Parvenir a resoudre les programmes (Q01) de grande taille represente donc un enjeu tres important. Le but de cette these est de proposer des methodes originales et efficaces de resolution exacte des programmes (Q01). Plus precisement, notre approche prinicpale consiste en une reformulation quadratique convexe du probleme initial dans le but d'utiliser les methodes generales de resolution des programmes quadratiques convexes en variables entieres. Cette approche peut etre comparee, dans son esprit, a la reformulation de problemes non lineaires en variables 0-1 par des problemes lineaires en variables mixtes, technique etudiee depuis longtemps et connue sous le nom de linearisation. Une partie de notre travail est consacree a la presentation d'une nouvelle reformulation lineaire des programmes d'optimisation quadratique en 0-1. Dans les deux cas, les problemes reformules peuvent etre resolus par des solveurs standards de programmes en variables mixtes. Nous presentons egalement de nombreuses experimentations de notre reformulation quadratique convexe concernant trois problemes non convexes classiques de l'optimisation combinatoire (le probleme de bipartition, du sous-graphe le plus dense et un probleme de minimisation d'echange d'outils). Les experimentations montrent l'interet de l'approche : dans la plupart des cas, sur les instances etudiees, la methode proposee est nettement plus efficace que les methodes connues a ce jour. Des resultats experimentaux sont egalement presentes, concernant trois problemes convexes (le probleme de plus court chemin probabiliste, un probleme d'investissements, un probleme d'ordonnancement). Notre approche peut egalement se reveler, dans certains cas, tres interessante.
La programmation non lineaire mixte peut modeliser un grand nombre de problemes
reels. Cependant, ces problemes peuvent contenir de nombreuses variables ou contraintes,
il convient donc de proposer des methodes de decomposition afin de les resoudre efficacement.
Parmi ces techniques on peut citer la generation de colonnes et notamment
la decomposition de Dantzig-Wolfe. Il s’agit d’une reformulation du probleme original,
qui permet de generer une sequence de sous-problemes plus simples, appeles maitre et
pricing, pour obtenir la valeur optimale. Developpee d’abord pour les problemes lineaires,
la decomposition de Dantzig-Wolfe peut etre generalisee a des problemes convexes: dans
ce contexte, elle est notamment connue sous le nom de decomposition simpliciale.
Cette these presente des algorithmes de decomposition pour des problemes quadratiques.
La premiere partie de ce manuscrit est dediee aux problemes quadratiques convexes,
continus et mixtes binaires. Dans la deuxieme partie, des algorithmes pour resoudre des
problemes binaires avec contraintes quadratiques sont presentes.
La premiere partie est consacree a la resolution de problemes convexes, quadratiques et
continus. Un algorithme base sur la decomposition simpliciale est propose: des nouveaux
elements sont ajoutes a la fois au probleme maitre et au pricing; nous avons teste notre
algorithme sur une grande quantite d’instances avec une structure determinee, et nos
resultats montrent que l’algorithme que nous proposons est tres efficace par rapport a
Cplex, un solveur generique pour ces problemes. Ce premier travail a ete soumis a un
journal pour publication. Ensuite, nous etendons cet algorithme aux problemes convexes
mixtes binaires. Nous incorporons la methode pour le cas continu dans un algorithme de
branch and bound qui nous permet d’exploiter des proprietes de notre formulation. Dans
ce contexte aussi, des resultats numeriques sont fournis: ils montrent que, dans certains
cas, les performances de notre algorithme sont efficaces par rapport a Cplex. Ce travail
est en preparation pour soumission a un journal.
La deuxieme partie de cette these est dediee a l’etude d’algorithmes pour des problemes
quadratiques avec contraintes quadratiques. On se concentre sur les problemes binaires,
dont la relaxation continue peut etre non convexe. Nous considerons en premier lieu la
formulation etendue avec une matrice qui represente les produits des variables. Nous
proposons ensuite un algorithme base sur la decomposition de Dantzig-Wolfe pour obtenir
une relaxation dans le Boolean Quadric Polytope (BQP). Ce polytope est connu aussi
comme Correlation polytope et il est strictement contenu dans le cone des matrices
completement positives et des matrices semidefinies positives. Notre algorithme permet de resoudre cette relaxation, les bornes obtenues sont plus fortes que les bornes SDP et, dans
certains cas, les temps de calcul sont comparables ou meilleurs que ceux de BiqCrunch, un
solveur ad-hoc. On montre aussi que la relaxation BQP est une reformulation du probleme
binaire original, en exploitant un resultat sur les matrices completement positives, pour
les problemes a contraintes lineaires en egalite.
Ensuite, nous considerons des problemes ou les matrices sont decomposables par blocs.
Une relaxation basee sur les blocs est proposee et nous prouvons que cette relaxation est
valide pour la relaxation BQP. De plus, prouver l’equivalence entre les deux relaxations
est un probleme de completion BQP. La relaxation decomposee par blocs est BQPcompletable
dans certains cas, mais n’est pas possible dans d’autres cas. A partir de
resultats experimentaux, nous conjecturons que la classe de problemes qui sont BQPcompletables
est la classe de problemes dont le graphe de specification des matrices est
chordal. Des resultats computationnels montrent que la formulation par blocs, dans
certaines instances ou elle est equivalente a la relaxation originale, peut etre beaucoup plus efficace. Ce travail est en preparation pour soumission a un journal.
La programmation non linéaire mixte peut modéliser un grand nombre de problèmes réels. Cependant, ces problèmes peuvent contenir de nombreuses variables ou contraintes, il convient donc de proposer des méthodes de décomposition afin de les résoudre efficacement. Parmi ces techniques on peut citer la génération de colonnes et notamment la décomposition de Dantzig-Wolfe. Il s’agit d’une reformulation du problème original, qui permet de générer une séquence de sous-problèmes plus simples, appelés maître etpricing, pour obtenir la valeur optimale. Développée d’abord pour les problèmes linéaires, la décomposition de Dantzig-Wolfe peut être généralisée à des problèmes convexes: dans ce contexte, elle est notamment connue sous le nom de décomposition simpliciale. Cette thèse présente des algorithmes de décomposition pour des problèmes quadratiques. La première partie de ce manuscrit est dédiée aux problèmes quadratiques convexes, continus et mixtes binaires. Dans la deuxième partie, des algorithmes pour résoudre des problèmes binaires avec contraintes quadratiques sont présentés. La première partie est consacrée à la résolution de problèmes convexes, quadratiques et continus. Un algorithme basé sur la décomposition simpliciale est proposé: des nouveaux éléments sont ajoutés à la fois au problème maître et au pricing; nous avons testé notre algorithme sur une grande quantité d’instances avec une structure déterminée, et nos résultats montrent que l’algorithme que nous proposons est très efficace par rapport à Cplex, un solveur générique pour ces problèmes. Ce premier travail a été soumis à un journal pour publication. Ensuite, nous étendons cet algorithme aux problèmes convexes mixtes binaires. Nous incorporons la méthode pour le cas continu dans un algorithme de branch and bound qui nous permet d’exploiter des propriétés de notre formulation. Dans ce contexte aussi, des résultats numériques sont fournis: ils montrent que, dans certains cas, les performances de notre algorithme sont efficaces par rapport à Cplex. Ce travail est en préparation pour soumission à un journal. La deuxième partie de cette thèse est dédiée à l’étude d’algorithmes pour des problèmes quadratiques avec contraintes quadratiques. On se concentre sur les problèmes binaires, dont la relaxation continue peut être non convexe. Nous considérons en premier lieu la formulation étendue avec une matrice qui représente les produits des variables. Nous proposons ensuite un algorithme basé sur la décomposition de Dantzig-Wolfe pour obtenir une relaxation dans le Boolean Quadric Polytope (BQP). Ce polytope est connu aussi comme Correlation polytope et il est strictement contenu dans le cône des matrices complètement positives et des matrices semi définies positives. Notre algorithme permet de résoudre cette relaxation, les bornes obtenues sont plus fortes que les bornes SDP et, dans certains cas, les temps de calcul sont comparables ou meilleurs que ceux de BiqCrunch, unsolveur ad-hoc. On montre aussi que la relaxation BQP est une reformulation du problème binaire original, en exploitant un résultat sur les matrices complètement positives, pour les problèmes à contraintes linéaires en égalité. Ensuite, nous considérons des problèmes où les matrices sont décomposables par blocs. On montre aussi que la relaxation BQP est une reformulation du problème binaire original, en exploitant un résultat sur les matrices complètement positives, pour les problèmes à contraintes linéaires en égalité. Ensuite, nous considérons des problèmes où les matrices sont décomposables par blocs. Une relaxation basée sur les blocs est proposée et nous prouvons que cette relaxation est valide pour la relaxation BQP. De plus, prouver l’équivalence entre les deux relaxations est un problème de complétion BQP. La relaxation décomposée par blocs est BQP complétable dans certains cas, mais n’est pas possible dans d’autres cas [....].
Notre travail s'inscrit dans le cadre des etudes consacrees a la programmation mathematique en nombres entiers. Plus precisement, il concerne la resolution exacte du probleme de satisfaction de contraintes non lineaires en variables 0-1. La methode que nous proposons pour resoudre le probleme de satisfaction de contraintes non lineaires a variables bivalentes, se place dans le meme ordre d'idee que la methode fast proposee par Bennaceur et plateau dans le cas lineaire. Elle s'appuie sur la resolution d'une suite de problemes d'optimisation non lineaires en variables 0-1. Pour resoudre chacun d'eux nous proposons de privilegier les methodes approchees utilisant les concepts fondamentaux: heuristiques, dualite, reduction et recherche arborescente. L'etude plus specifique de la programmation quadratique en nombres entiers, a permis de valider la methode en menant des experiences numeriques dans le cadre de la satisfaction de contraintes quadratiques en variables 0-1