Version sans frame

Quelques pointeurs sur la R.O.

Préambule

Ce site (version avec frames) a pour but de proposer quelques URL concernant le thème trés large de la Recherche Opérationnelle, l'optimisation combinatoire et quelques disciplines associées. Les adresses de site (au moins) partiellement francophones sont marquées par un petit drapeau français (fr).

Compte tenu de l'étendue et de l'aspect multi-disciplinaire de ce domaine, l'ambition même de ce projet ne peut prétendre ni à une couverture complète de la discipline, ni à une justesse des choix effectués sur les liens proposés, ni même à la fiabilité de ces liens !

Cependant, compte tenu d'un besoin local croissant, ce site est appelé à vivre et à se développer dans les mois qui viennent. Il est donc succeptible d'évoluer fortement tant au niveau de son contenu que de son organisation, voire de son objectif même (spécialisation, contributions locales, ...).

Par conséquent, toutes suggestions ou autres remarques sont le bienvenues.

Enfin, urls indiquées étant susceptibles d'être très rapidement périmées, une information de la forme (21/11/2008) indique la date à laquelle la ressource était accessible (et non pas une date de mise à jour du site en question !).

Meta-pointeurs et moteurs

La recherche opérationnelle en générale

Annuaires de conférences

Revues et journaux électroniques

Quelques organismes ou laboratoires de RO

Annuaires de laboratoires

Associations et sociétés savantes

Liste alphabétique

Les théories utiles en Recherche Opérationnelle

Algorithmique en générale

Théorie des graphes

Liens généraux

Outils autour des graphes

Théorie des jeux

Théorie de la complexité

Quelques Méthodes et techniques de RO

Programmation linéaire

Liens généraux

Outils

Programmation linéaire Multiobjectif

Liens généraux

Outils

Relaxation Lagrangienne

Polyédrique

Liens généraux et outils

Points intérieurs

Liens généraux

Outils

Programmation semi-définie

Liens généraux SDP

Outils SDP

Programmation stochastique

Méthode d'énumération (Branch and X)

Liens généraux

Outils

Programmation Par Contraintes (PPC ou CP)

Métapointeurs

Recherche

Outils

Programmation logique

Liens généraux et outils

Algorithmes génétiques

Liens généraux

Outils

Colonies de fourmis

Essaim de particule (PSO=Swarm Particle Optimization)

Liens généraux

Personnes

Quelques classes de problèmes

Problèmes de Satisfaction (SAT...)

Motivation : SAT est le prototype des problèmes NP-complets. Tout problème NP-complet peut se réduire à SAT. Donc il suffit de mettre le "paquet" sur les solveurs SAT pour résoudre tout problème NP-complet !

Liens généraux

Outils

Voyageur de commerce (TSP)

Problèmes de Tournées

Plus court chemin et chemin optimal (SP)

Problèmes de flow

Affectation de Fréquences (FAP)

Problèmes d'affectation généralisées (GAP)

Problèmes d'affectation quadratiques (QAP)

Problèmes de coloration

Problèmes de gestion de générateurs (UCP = Unit Commitment Problem)

Ordonnancement

Problèmes divers

Règle de Golomb

Social Golpher Problem

Langages spécialisés pour la RO

Langage Julia (Langage orienté mathématique et optimisation...)

Julia est un langage récent basé sur LLVM (comme Clang), développé essentiellement par le MIT et orienté scientifique. Julia est inspiré de Matlab, Python, Ruby, ... tout en étant compatible avec la notion de copié-collé. Julia intégre nativement les tableaux multidimensionnels et l'algèbre linéaire et dispose d'une communautée très active autour le l'optimisation et des math appli en général.
Étant donnée l'importance que ce langage est susceptible de représenter dans la communauté RO, je déplace les liens de cette rubrique vers une page dédiée au Langage Julia.

Langage AMPL (A Modeling Language for Mathematical Programming)

AMPL est un langage de modélisation de haut niveau développé au Bell Laboratories. Il permet de modéliser des problèmes linéaires ou non linéaires, continus ou discrets, et de sous traiter le travail de résolution à divers solveurs spécialisés.

Langage Claire

Langage spécialisé en optimisation combinatoire (également utilisé pour les appli web).

Langage CMPL (Coin/Coliop Mathematical Programming Language)

Langage open source de modélisation mathématique moderne (mais jeune !) facilitant l'interaction avec les solvers existants.
Permet l'appel direct de Glpk ou Goruby, CPLEX..., et l'export vers différents formats (mps, xml, ...)

Langage GMPL (General Algebraic Modeling System)

Un concurrent de AMPL.

Langage LSP (LocalSolver Program)

Langage de modélisation mathématique permettant de décrire des problèmes non linéaires en nombre entier (variables de décision booléennes pour l'instant).
Cet outil (gratuit pour l'enseignement/recherche) développé par le laboratoire e-Lab de Bouygues permet de modéliser en LSP et résoudre des problèmes de trés grandes taille. Il s'utilise comme une boite noire et utilise des méthodes de recherche locale.

Langage PROLOG

Langage très apprécié par ceux qui l'aiment...

Langage Xpress-Mosel

Mosel est un autre langage de modélisation de haut niveau pour les problèmes d'optimisation.

Quelques outils de R.O.

En dehors de cette rubrique, vous pouvez également accéder à un certain nombre d'outils depuis les rubriques thématiques précédentes (e.g Graphviz dans la section théorie des graphes, Choco en Programmation Par Contraintes, ...)

Annuaires et solveurs en lignes

Solveurs par ordre alphabétique

Remarque : Les outils ci-dessous proposent au moins un mode de fonctionnement sous forme de commande unix plus ou moins autonome (fonctionnant en boir noire).

Bibliothèque et Frameworks

Remarque : Les solveurs précédents proposent également (en général) leur services sous formes de bibliothèques.

Quelques sociétés commerciales

Benchmarks et données tests

./