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 ().
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
- http://forum.openopt.org (19/12/2008) OpenOpt : nouveau forum d'optimisation numérique
- news:sci.op-research Le forum de R.O
- news:comp.constraints Le forum sur la Programmation par Contrainte
- news:comp.theory
- news:comp.ai.genetic
- developpez.net/algo (21/11/2008) forum francophone chez developpez.net dont une FAQ d'algorithmique
- CiteSeer : Scientific Literature Digital Library Excellent moteur biblio !
- optimization-online.org (21/11/2008) Excellente source d'articles pdf en ligne (moteur)
- sciencedirect: European Journal Of Operational Research (moteur et pdf)
- The Collection of Computer Science Bibliographies (moteur)
- www.informs.org/Resources (02/12/05) Portail RO chez Informs
- Mathforum: section Operations Research (18/06/2012) Bon portail (avec moteur) sur les mathématique, dont une section sur la RO.
La recherche opérationnelle en générale
- wikipedia.fr: Recherche opérationnelle
- wikipedia.fr: Optimisation Mathématique
- wikipedia: Combinatorial optimization (11/09/2006)
- Le Livre blanc de la RO (19/06/2012..18/09/2017) : Excellent ouvrage collectif par la ROADEF
- CaseInE : plateforme d'apprentissage en génie industriel, informatique et mathématiques (30/01/2018) : nombreux documents pédagogiques sur la RO, complexité, graphes, ....
- Decision Tree for Optimization Software (11/09/2006..14/06/2012) : excellente sources d'informations par by Hans Mittelmann
- Tutorial OR-Notes de J E Beasley (11/09/2006) : une personnalité en R.O.
- Global optimisation par Arnold Neumaier (11/09/2006) : Bonnes sources d'informations également, mais plus mois maintenu ?
- Science4all/Optimization (06/02/2014) : La science expliquer simplement, rubrique optimisation
Annuaires de conférences
- ROADEF/Conférences (27/05/2008)
- EUROS/Conferences (07/06/2012)
- INFORMS/Conferences (07/06/2012)
Revues et journaux électroniques
- Open Journal Systems from public Knowledge Project (18/09/2006..19/06/2012) Une liste de journaux gratuits en ligne
- 4OR: A Quarterly Journal of Operations Research (18/09/2006..19/06/2012) Springer Berlin / Heidelberg
- RAIRO - Operations Research (18/09/2006..19/06/2012) An international journal on operations research
- Constraint (13/09/2006..19/06/2012)
- DMTCS: Discrete Mathematics and Theoretical Computer Science (18/09/2006..19/06/2012) Open Journal Systems : journal gratuit hébergé par le LORIA (INRIA/Lorraine)
- FODM: Fuzzy Optimization and Decision Making (13/09/2006..19/06/2012)
- JCO: Journal of Combinatorial Optimization (18/09/2006..19/06/2012)
- JGO: Journal of Global Optimization (18/09/2006..19/06/2012)
- JMMA: Journal of Mathematical Modelling and Algorithms (18/09/2006..19/06/2012) Springer Netherlands (Computer Science and Mathematics and Statistics)
- MJOR: Mexican Journal of Operations Research (19/06/2012)
- OE: Optimization and Engineering (18/09/2006..19/06/2012)
- PJSOR: Pakistan Journal of Statistics and Operation Research (19/06/2012)
- DO: Discrete Optimization (18/09/2006..19/06/2012) The Journal of Combinatorial Operations Research
- SIOPT: SIAM Journal on Optimization (18/09/2006..19/06/2012)
Quelques organismes ou laboratoires de RO
Annuaires de laboratoires
- dmoz.org quelques organisation de R.O (11/09/2006)
- dmoz.org Centres de recherche en Mathématiques (11/09/2006)
- informs:Research_Groups (11/09/2006) Métapointeur + moteur trés complet en bas de page !
Associations et sociétés savantes
-
ROADEF : Société française de RO
(http://www.roadef.org)
(11/09/2006)
Le point d'entrée pour toute infos sur la R.O. en France (contacts avec le milieu de la recherche et de l'enseignement, ...) - EURO : Association of European Operational Research Societies (11/09/2006)
- GdR pour la Recherche Opérationnelle (CNRS) (07/06/2012)
Liste alphabétique
- CAMS : Centre d'Analyse et de Mathématique Sociales (11/09/2006) UMR 8557
-
CEDRIC (Equipe O.C.) au CNAM
(http://cedric.cnam.fr/oc)
(06/07/2007)
Différents domaines traités, dont la programmation mathématique (linéaire ou non), graphes, tomographie, ... -
CEREMADE : Centre De Recherche en Mathématiques de la Décision
(11/09/2006)
Paris-Dauphine - UMR 7534 - DIMACS : Center for Discrete Mathematics and Theoretical Computer Science (11/09/2006)
-
GERAD Groupe d'études et de recherche en analyse des décisions
(http://www.gerad.ca/fr/index.php)
Canada - interuniversitaire -
G-SCOP (Grenoble) : Sciences pour la Conception et l'Optimisation de la Production
(http://www.g-scop.inpg.fr/)
(07/06/2012)
Avec en particulier : - LAMSADE (11/09/2006) Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la Décision UMR 7024 - Paris-Dauphine
-
LIA Laboratoire d'Informatique d'Avignon
(http://lia.univ-avignon.fr/thematiques)
(07/06/2012)
Avec en particulier les équipes : - Problème de voyageurs de commerce et de tournées
- Problème de Transports À la Demande
- Méthode de génération de colonnes
- Méthode Hybrides
- Problèmes d'affectations de fréquences
- LIAFA : Laboratoire d'Informatique Algorithmique : Fondements et Applications (07/06/2012) Groupe Optimisation
- LIMOS : Laboratoire d'informatique de Modélisation et d'Optimisation des Systèmes (UMR 6158) (27/01/2009)
- LMAH : Laboratoire de Mathématiques Appliquées du Havre (07/06/2012)
- MPI/AG1 : Max-Planck-Institut / Algorithms and Complexity Group (12/10/2006)
- LAMIH/DIM (Valencienne) : Groupe orienté Interface Homme-machine. (07/06/2012) Voir équipe Décision-Interaction-Mobilité
- ROSE (EPFL) : Chaire de Recherche Opérationnelle Sud Est (13/09/2006)
- SysDef : Système d'aide à la décision et à la formation (11/09/2006)
- DESIRE : DÉcision, Systèmes Intelligents et Recherche opérationnelle (14/11/2008)
- ZIB : Zentrum für Informationstechnik Berlin (12/10/2006)
Les théories utiles en Recherche Opérationnelle
Algorithmique en générale
-
The Stony Brook Algorithm Repository
(http://www.cs.sunysb.edu/~algorith)
(19/11/2008)
Nombreux algorithmes référencés et/ou décrits (c'est une bonne pub pour son bouquin !). -
Skiena's Algorithms Lectures
(http://www.cs.sunysb.edu/~algorith/video-lectures)
(19/11/2008)
Les cours (video/audio et slides) de Steven Skiena - Voir aussi dans cette page : LIAFA
Théorie des graphes
Liens généraux
-
Graphes
(http://perso.orange.fr/jean-paul.davalan/liens/liens_graph.html)
(19/09/2006)
Page ludique de Jean-Paul Davalan (voir sa rubrique jeux mathématiques). -
Laboratoire Leibniz, Equipe Graphes
(http://www-leibniz.imag.fr/GRAPH/francais/themes.html)
(19/11/2008)
-
Graph Theory - Algorithms - Complexity
(http://home.arcor.de/Emden-Weinert/graphs.html)
(08/06/2012)
Nombreux pointeurs sur les graphes par sous thèmes. -
graphdrawing.org
(http://www.graphdrawing.org)
(10/11/2008)
Théorie et outils concernant de dessin de graphes (dont le format GraphML avec références de livres sur ce sujet). -
Apprendre en ligne : théorie des graphes
(http://www.apprendre-en-ligne.net/graphes/)
(06/12/2008)
Présentation très pédagogique de niveau lycée par Didier Müller.
Outils autour des graphes
-
Graphviz
(http://www.graphviz.org)
(08/06/2012)
Voir dans la rubrique outil plus bas
Logiciel permettant d'afficher automatiquement un graphe à partir de formats de description textuels simples. - dotguide.pdf (08/06/2012) Manuel (pdf) du format '.dot'
- Ruby-graphviz (08/06/2012) une interface Ruby pour Graphvis bien faite de Grégoire Lejeune. Cette interface commence à intégrer quelques algos de base sur la structure de données Graph
- Automatiser la création de graphiques avec Graphviz (xx/08/2005) excellent totorial français illustrant la création de graphes manuellement avec Graphviz. Version locale ENSTA
- jGraphViz (30/01/2009) une interface de Graphviz pour Java
- Ajax/Graphviz (16/04/2008) page web permettant de construire à la volée l'image gif d'un graphe à partir d'un text au format dot (Appuyer sur Return pour recalculer le graphe EXCELLENT)
-
Leonhard
(08/06/2012)
Une application Mac (en Macruby) pour construire dynamiquement des
graphes grâce à Graphiz
Voir la démo Youtube de Leonhard
Question : quel était le prénom d'Euler ? -
Grph: The high performance graph library for Java
(http://grph.inria.fr/)
(24/09/2013 - 11/09/2017)
Bibliothèque récente, orienté efficacité (CNRS/INRIA équipe Mascote). -
Biggrph: Scientific distributed graph computing made easy
(http://www.i3s.unice.fr/~hogie/software/index.php?name=bigGrph)
(16/01/2017 - 11/09/2017)
Projet CNRS/Univ-Nice/Inria pour exécution d'algorithmes distribués sur très grands graphes. -
iGraph
(http://igraph.org/c/)
(08/06/2012, 10/10/2014)
Une librairie de graph en C avec interface pour les langage R et Ruby -
jGrapht
(http://www.jgrapht.org)
(08/06/2012)
Une librairie de graphe en Java (jGraft) avec interface graphique (jGraph) -
JUNG : Java Universal Network/Graph
(http://jung.sourceforge.net)
(24/10/2009..15/06/2012)
Jung est un framework JAVA sous licence BSD permettant de manipuler, analyser et visionner des graphes. JUNG est basé sur (et inclue) les bibliothèques java -
LEMON: Library of Efficient Models and Optimization in Networks (https://lemon.cs.elte.hu/) (11/11/2009)
Bibliothèque C++ de graphes simple à compiler, et couplable avec un solveur linéaire tel que Glpk. Cette biblothèque fair désormais partie du projet COIN-OR -
Mascopt: Mascotte Optimization
(http://www-sop.inria.fr/mascotte/mascopt)
(24/12/2007)
Bibliothèque de graphes en java (ce projet semble figé) ?. -
OGDF - Open Graph Drawing Framework
(http://www.ogdf.net)
(13/07/2011)
Bibliothèque C++ multiplatforme pour le dessins de graphe. Elle est autonome sauf pour certains algo. nécessitant un solveur PL externe. -
Pigale : Public Implementation of a Graph Algorithm Library
and Editor
(http://pigale.sourceforge.net)
(10/09/2008)
Editeur de graphe (C++ et QT4), et bibliothèque d'algotithmes plutot orientée pour le dessin de graphes (binaires pour osx et windows). -
RGL
(http://rgl.rubyforge.org/rgl)
(29/05/2008)
Ruby Graph Librairy : inspiré du design de la BGL (Boost Graph Library) -
WebGraph
(http://webgraph.dsi.unimi.it)
(01/02/2008)
Un framework java pour étudier les (gigantesques !) graphes Web -
Zest : The Eclipse Visualization Toolkit
(http://www.eclipse.org/gef/zest)
(19/03/2012)
Bibliothèque Java basée sur SWT/Draw2D permettant de construire et d'afficher des graphes
Théorie des jeux
-
Wikipedia/fr : Théorie des jeux
(http://fr.wikipedia.org/wiki/Théorie_des_jeux)
(12/06/2012)
-
Wikipedia/en: Game Theory
(http://en.wikipedia.org/wiki/Game_theory)
(12/06/2012)
-
Wikipedia/fr : Algorithme minimax
(http://fr.wikipedia.org/wiki/Algorithme_minimax)
(13/06/2012)
-
Wikipedia/fr : Élagage alpha-beta
(http://fr.wikipedia.org/wiki/Élagage_alpha-beta)
(13/06/2012)
-
Introduction à la Théorie des Jeux
(http://www.cril.univ-artois.fr/~konieczny/enseignement/TheorieDesJeux.pdf)
(12/06/2012)
Transparent de Sébastien Konieczny (University d'Artois - Lens)
Théorie de la complexité
- Wikipedia/fr : Théorie de la complexité des algorithmes (14/06/2012)
- Wikipedia/fr : Machine de Turing (14/06/2012)
- Wikipedia/fr : Complexité paramétrée (12/03/2019)
- Wikipedia/en : Computational complexity theory (TTB) (14/06/2012)
- Wikipedia/en : Turing machine (TTB) (14/06/2012)
- Parameterized Complexity (12/03/2019) Le site de référence sur la complexité paramétré
-
A compendium of NP optimization problems
(http://www.csc.kth.se/~viggo/problemlist)
(..14/06/2012)
EXCELLENT recueil de problèmes NP-complets. Copie local ENSTA 28/08/2005 -
The Complexity Zoo
(http://qwiki.stanford.edu/index.php/Complexity_Zoo)
(18/09/2006..14/06/2012)
Définition de 495 classes de complexité. Voir aussi le Glossaire -
Complexité des problèmes d'ordonnancement
(http://www.informatik.uni-osnabrueck.de/knust/class)
(18/09/2006..14/06/2012)
Très détaillé pour ces problèmes. -
NP-Completeness Columns
(http://public.research.att.com/~dsj/columns)
(..14/06/2012)
Voir la dernière référence (pdf de 2007) en bas de la page.
Quelques Méthodes et techniques de RO
Programmation linéaire
Liens généraux
- Wikipedia : Programmation Linéaire (21/11/2008)
- Wikipedia : Linear Programming (21/11/2008)
- Wikipedia : Simplex Algorithm (21/11/2008)
Outils
-
Voir quelques outils open source de programmation
linéaire dans cette page et en particulier
COIN, Lp_solve, GLPK, Symphony, QSopt-Exact (calcul rationnel exact) - Description dy format MPS (11/06/2012)
Programmation linéaire Multiobjectif
Liens généraux
-
Optimisation combinatoire multi-objectif : des méthodes aux problèmes.
(https://tel.archives-ouvertes.fr/tel-01104895/document)
(21/11/2008)
Thèse de Nicolas Jozefowiez (pour un panorama)
Outils
-
vOptSolver: solver of Multiobjective linear optimization problems
(https://github.com/vOptSolver/vOptSolver)
(21/09/2017)
vOptSolver est le résultat d'un projet franco-allemand de recherche sur la résolution exacte de problème multiobjectif.
C'est un package ecrit en Julia (il est temps de vous y mettre). Voir la publication dans ce dépos git
Relaxation Lagrangienne
-
Optimisation convexe et décomposition de Dantzig-Wolfe
(http://www.math.u-bordeaux.fr/MAB/ODW)
(13/09/2006)
Equipe à Lemaréchal/Vanderbeck/Vial ; dont un cours post-DEA en ligne de Claude Lemaréchal -
Etat de l'art par Monique Guignard (81 pages - dec 2003)
(http://opim.wharton.upenn.edu/~guignard/papers/top11201.pdf)
(19/11/2008)
Version locale ENSTA : Monique.Guignard-top11201.pdf -
RR-5453 - Comparison of Bundle and Classical Column Generation
(http://hal.inria.fr/inria-00070554)
(13/09/2006)
Rapport INRIA par Briant, O. - Lemaréchal, C. - Meurdesoif, Ph. - Michel, S. - Perrot, N. - Vanderbeck, F
Polyédrique
Liens généraux et outils
-
JuliaPolyhedra: Polyhedral Computation in Julia
(https://juliapolyhedra.github.io/)
(14/10/2021)
Regroupement d'outils en Julia pour la manipulation de polyhèdre. -
Polylib - A library of polyhedral functions
(http://icps.u-strasbg.fr/PolyLib)
(21/11/2008)
Bibliothèque de manipulation de polyhèdres, facile à compiler, sans des miriades de dépendance : à creuser...
Voir en particulier de github de Vincent Loechner -
PORTA : POlyhedron Representation Transformation Algorithm
(http://typo.zib.de/opt-long_projects/Software/Porta)
(11/06/2012..14/10/2021)
Exécutable (plus maintenu ?) permettant d'afficher toutes les facettes d'un polyhèdre
- Binding pour Julia (facile à installer) XPORTA.jl user_guide -
Polymake
(http://polymake.org)
(11/06/2012..14/10/2021)
Bibliothèque de manipulation et d'affichage polyhédrale (+/- usine à gaz, mais à tester)
Polymake est un outil pour étudier la géométrie et la combinatoire des polytopes et polyhèdres convexes... Scriptable en PERL et en Julia.
- forum.polymake.org
- Binding Julia Polymake.jl
Points intérieurs
Liens généraux
-
Interieur Point Method Online
(http://www-unix.mcs.anl.gov/otc/InteriorPoint)
(21/11/2008)
Ancienne archive, plus maintenue.
Outils
-
Page de Jacek Gondzio
(http://www.maths.ed.ac.uk/~gondzio)
(21/11/2008)
Travaille sur des problèmes non linéaires de grande taille, et en particulier sur : -
HOPDM: Higher Order Primal-Dual Method
(http://www.maths.ed.ac.uk/~gondzio/software/hopdm.html)
(21/11/2008)
Exécutable et librairie pour résoudre des Pogrammes linéaires ou convexe de grande taille (librairie fortran et C) -
LIPSOL (Linear-programming Interior Point SOLvers)
(http://www.caam.rice.edu/~zhang/lipsol)
(21/11/2008)
Extension à Matlab par Yin Zhang http://www.caam.rice.edu/~zhang/. Il en existe une extension pour Scilab (de 2006) -
Tulip.jl: Interior-point solver in pure Julia
(https://github.com/ds4dm/Tulip.jl)
(01/03/2020)
Package Julia (utilisable avec JuMP) compétitif avec les solveurs linéaires mais encore jeune.- Article du GERAD de 2019 : an interior-point solver with abstract linear algebra
- Test perso en nombre de résolutions itérées d'un PL par seconde (sommes de fonctions convexes linéaires par morceaux) : Gorubi ou CPLEX effectuent environ 30 à 50% de résolutions de plus que Tulip (de l'ordre de 15 call/sec sur 1 minute). Mais attention, ce n'est pas forcément la solution entière du problème qui est obtenue (car points intérieures),
- todo: retester Tulip sur un gros problème PL plutôt que sur une itération de petits problèmes.
Programmation semi-définie
Liens généraux SDP
-
Semidefinite Programming
(http://www-user.tu-chemnitz.de/~helmberg/semidef.html)
(14/09/2006)
Avec nombreux pointeurs sur le sujet par Christoph Helmberg
Outils SDP
-
BiqCrunch
(https://biqcrunch.lipn.univ-paris13.fr)
(20/09/2012..01/03/2020)
Un solveur pour les problèmes quadratiques binaires avec branch and bound intégré
-
SDP Software
(http://www-user.tu-chemnitz.de/~helmberg/sdp_software.html)
(21/11/2008)
Une liste de logiciels dédiés au problèmes SDP -
SDPLIB
(http://euler.nmt.edu/~brian/sdplib)
(11/06/2012)
Une collection d'instances de problèmes SDP au format SDPA (creux) -
SDP_S
(http://semidef.free.fr/SDPS/SDP_S.html)
(11/06/2012)
Un Outil de Frédéric Roupin pour formuler et résoudre des relaxations Semidéfinies pour les problèmes Quadratiques à Variables Bivalentes. -
CSDP, A C Library for Semidefinite Programming
(https://projects.coin-or.org/Csdp)
(14/09/2006)
Ce logiciel est intégré à l'environnement COIN.
- PCSDP (11/06/2012) : une version parallèle (mémoire partagée) de CSDP
- RCSDP (11/06/2012) : une interface à CSDP pour le langage R
-
DSDP : Software for Semidefinite Programming
(http://www-unix.mcs.anl.gov/DSDP)
(14/09/2006)
Voici une page de tests -
PENON : PENalty method for NONlinear and sdp
(http://www2.am.uni-erlangen.de/~kocvara/pennon/)
(11/06/2012)
Autre logiciel SDP commercialisé par Penopt (qui fourmit d'autre solveurs Non Linéaires)
Programmation stochastique
-
Stochastic Programming Community Home Page
(http://www.stoprog.org)
(16/01/2007..11/06/2012)
Ce site crée une popup de publicité (victime d'sune attaque web ?) -
COIN-OR Stochastic Modeling Interface
(https://projects.coin-or.org/Smi)
(16/01/2007)
Méthode d'énumération (Branch and X)
Liens généraux
- Wikipedia/fr: Séparation et evaluation (18/06/2012)
- Wikipedia/en: Branch and Bound (20/11/2008)
- Wikipedia/fr: Algorithme Minimax (18/06/2012) Énumération pour plusieurs joueurs
- Wikipedia/fr: Élagage alpha-beta (18/06/2012) Énumération pour plusieurs joueurs avec évaluation
Outils
-
ABACUS - A Branch-And-CUt System
(http://www.informatik.uni-koeln.de/abacus)
(13/09/2006..14/06/2012)
Une librairie C++ pour utiliser faire du Branch and Xsxx avec des solvers existants (au formay OSI)
Programmation Par Contraintes (PPC ou CP)
Métapointeurs
- Wikipedia/fr: Programmation par contraintes (20/11/2008)
- Wikipedia/en: Constraint logic programming (20/11/2008)
Recherche
-
AFPC
(http://www.afpc-asso.org)
(19/11/2008)
Association francaise pour la programmation par contraintes - Association for Constraint Programming (08/06/2012..25/09/2015)
-
CSPlib: a problem library for constraints
(http://www.csplib.org)
(19/11/2008)
Très bonne sources d'informations (solvers, benchmarks, ...) -
GCCat: Global Constraint Catalog
(http://sofdem.github.io/gccat/)
(25/09/2015)
-
La page de Roman Bartak
(http://kti.mff.cuni.cz/~bartak)
(19/11/2008)
Dont le site constraints avec un excellent cours en ligne -
Constraint Programming and Optimization Laboratory
(http://cswww.essex.ac.uk/CSP)
(13/09/2006)
(Univ. of Essex) -
Projet CONTRAINTES à l'INRIA
(http://contraintes.inria.fr/)
(11/06/2012)
(Equipe à François Fages)
Outils
-
Choco Solver
(http://choco-solver.org)
(28/11/2002 .. 18/01/2015)
Un solver gratuit pour programmation par contrainte 100% java. La version majeur 3.x est une refonte (incompatible) des versions précédentes (avec contraintes de graphes, nouvelles APIs, mais nécessite Java 8) -
GeCode : generic constraint development environment
(http://www.gecode.org/)
(20/11/2008)
Très bonne bibliothèque de programmation par contrainte en C++.- Gecode/R une interface pour Ruby (plus ou moins maintenu)
-
Google Optimization Tools
(https://developers.google.com/optimization/)
(05/01/2011..25/09/2015)
Les outil de RO utilisés en interne par Google : en particulier le solver PPC "Google Solver" -
JaCop
(http://jacop.osolpro.com/)
(12/01/2014)
solveur de Programmation par Contraintes en java avec de nombreuses contraintes globales (dont contrainte de flot), un binding pour AMPL, ...) -
Minion
(http://minion.sourceforge.net/)
(20/11/2008)
Une librairie C pour la PPC, limitée en nombre de contraintes intégrées, mais qui se veut plus rapide que les solveurs commerciaux !
(même la couleur du site est agressive, c'est dire !) -
MiniZinc
(http://www.minizinc.org)
(29/10/2015)
Un langage de modélisation par contraintes. De nombre solveur PPC accepte ce langage en entrée, et un challenge annuel permet à chacun d'ex de se mesurer sur un jeu d'instance modélisées em MinZinc.
Programmation logique
Liens généraux et outils
- Wikipedia : Programmation Logique (11/06/2012)
- Wikipedia: logic programming (20/11/2008)
- Association for Logic Programming (11/06/2012)
Algorithmes génétiques
Liens généraux
-
Wikipédia/Algorithme évolutionniste
(http://fr.wikipedia.org/wiki/Algorithme_évolutionniste)
(12/06/2012)
-
Wikipédia/Algorithme Génétique
(http://fr.wikipedia.org/wiki/Algorithme_génétique)
(12/06/2012)
-
Wikipédia/Genetic Algorithms
(http://en.wikipedia.org/wiki/Genetic_algorithm)
(12/06/2012)
-
Genetic Algorithms
(http://www.obitko.com/tutorials/genetic-algorithms)
(12/06/2012)
-
AAAI.org/Genetic Programming
(http://aaai.org/AITopics/GeneticAlgorithms)
(12/06/2012)
Learning by Evolving a Good Predictor or an Entire Program
AAAI = Association for the Advancement of Artificial Intelligence -
genetic-programming.com
(http://www.genetic-programming.com)
(12/06/2012)
Outils
-
EASEA: EAsy Specification of Evolutionary Algorithms
(http://easea.unistra.fr)
(11/06/2015)
Plateforme et langage dédié. Développé à l'université de Strasbourg -
Jgap : Java Gentic Algorithms Package
(http://jgap.sourceforge.net)
(12/06/2012)
Colonies de fourmis
-
Wikipedia/Algorithme de colonnies de fourmis
(http://fr.wikipedia.org/wiki/Algorithme_de_colonies_de_fourmis)
(12/06/2012)
Bon conçu, dense, et avec les bonnes références ! -
Ant Colony Optimization Home Page
(http://iridia.ulb.ac.be/~mdorigo/ACO)
(14/09/2006)
Très bon site -
Page de Marco Dorigo
(http://iridia.ulb.ac.be/~mdorigo)
(14/09/2006)
Auteur des colonies de fourmis
Essaim de particule (PSO=Swarm Particle Optimization)
Liens généraux
-
Wikipedia/en: Particle Swarm Optimization
(http://en.wikipedia.org/wiki/Particle_Swarm_Optimization)
(12/06/2012)
-
Wikipedia/fr : Optimisation par essaims particulaires
(http://fr.wikipedia.org/wiki/Optimisation_par_essaims_particulaires)
(12/06/2012)
-
Particle Swarm Central
(http://www.particleswarm.info)
(24/04/2007..12/06/2012)
Le site de référence. -
XPS - eXtended Particle Swarms Project
(http://xps-swarm.essex.ac.uk)
(25/04/2007..12/06/2012)
Le site semble en veilleuse !
Personnes
-
Page de Maurice Clerk
(http://clerc.maurice.free.fr/pso)
(24/04/2007..12/06/2012)
Le pionnier français sur le sujet. Le site contient pas mal de liens récents (doc ou logiciels)
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
- SAT live (08/06/2012) Tout sur le problème de STAtisfiabilité !
-
The SAT Association
(11/06/2012)
Objectif : promouvoir la recherche autour des problèmes apparentés à SAT.
(DPLL, CDCL, SLS, GB, SMT, BDD, AIG, MAX-SAT, Equiv Check, Model Check, more ...)
Outils
-
SAT4J : A satisfiability library for Java
(http://www.sat4j.org/)
(20/11/2008)
Voyageur de commerce (TSP)
-
Traveling Salesman Problems
(http://www.tsp.gatech.edu)
(14/09/2006..12/06/2012)
La page de référence par les maitres du domaine.
Voyez en particulier concorde le solveur open source de référence (record du monde) pour la résolution exacte du voyageur de commerce et ses variantes (code figé depuis 2003). -
LKH : effective implementation of the Lin-Kernighan heuristic for solving the TSP
(http://www.akira.ruc.dk/~keld/research/LKH)
(25/11/2009..12/06/2012)
Implémente la meilleure heuristique connue pour le TSP. Compile facilement mais pas pratique d'utilisation car pas de lecture d'options : il faut écrire un fichier de paramètre.
Ceci dit le résultat est impressionnant ! -
TSPLIB
(http://www.iwr.uni-heidelberg.de/groups/comopt/software/TSPLIB95)
(14/09/2006..12/06/2012)
La bibliothèque de référence pour le problème TSP et ses variantes -
8th DIMACS Implementation Challenge :
The Traveling Salesman Problem
(http://www.research.att.com/~dsj/chtsp)
(14/09/2006..12/06/2012)
-
Traveler (de Kent Paul Dolan)
(http://www.well.com/user/xanthian/java/TravellerDoc.html)
(14/09/2006..12/06/2012)
Avec programme java dont une solution à base d'algo génétiques -
Exact Java Traveling Salesman Problem (TSP)
(http://www.waalewijn.com/tspx.html)
(02/10/2010)
Applet java efficace (testé pour une instance aléatoire de 100 et 150 villes) -
Fast JAVA Traveling Salesman Problem (TSP)
(http://www.waalewijn.com/tspfast.html)
(02/10/2010)
Rapide mais solution applochée
Problèmes de Tournées
-
Challenge Traveling Tournament Instances (TTP)
(http://mat.gsia.cmu.edu/TOURN)
(14/09/2006..13/06/2012)
Petit problème très simple à poser mais très difficile à résoudre ! -
Une applet pour résoudre le TTP
(http://www.waalewijn.com/ttp.html)
(13/06/2012)
Pour les petites instances seulement ! -
Pickup-and-Delivery Site
(http://webpages.ull.es/users/hhperez/PDsite)
(14/09/2006..13/06/2012)
Sites avec instances pour les problèmes de tournois avec dépos/retrait
Plus court chemin et chemin optimal (SP)
-
Wikipedia/fr : Recherche de chemins
(http://fr.wikipedia.org/wiki/Recherche_de_chemin)
(13/06/2012)
- Wikipedia/fr : Problèmes de cheminement (13/06/2012) Rien à voir avec la page précédente !
-
Wikipedia/en : Shortest path problem
(http://en.wikipedia.org/wiki/Shortest_path_problem)
(13/06/2012)
-
Petit historique du calcul d'itinéraire
(http://blog.tristramg.eu/petit-historique-du-calcul-ditineraire.html)
(11/12/2015)
-
9th DIMACS Implementation Challenge :
The Shortest Paths Problem
(http://www.dis.uniroma1.it/~challenge9)
(14/09/2006)
-
Page de Andrew V. Goldberg : liste de logiciels
(http://www.avglab.com/andrew/soft.html)
(14/09/2006)
Implémentations d'algo de plus courts chemins (entre autre) Voir également ses transparents -
K-th Shortest Path Problem
(http://www.mat.uc.pt/~eqvm/OPP/KSPP/KSPP.html)
(14/09/2006)
Une bonne formulation du problème et de ses variantes
Problèmes de flow
-
Wikipedia/fr : Problème de flot maximum
(http://fr.wikipedia.org/wiki/Problème_de_flot_maximum)
(13/06/2012)
-
Wikipedia/en : Minimum cost flow problem
(http://en.wikipedia.org/wiki/Minimum_cost_flow_problem)
(13/06/2012)
-
CATS Maximum Flow Page
(http://www.avglab.com/andrew/CATS/maxflow.htm)
(14/09/2006..13/06/2012)
Test et algorithmes sur les problèmes de flots -
Minimum Cost Flow Problem Instances Generated by NETGEN
(http://ftp.zib.de/pub/mp-testdata/mincost/netg)
(16/02/2010..13/06/2012)
Générateurs et instances de problèmes de flot à coût min.
Affectation de Fréquences (FAP)
-
Wikipedia/en : Frequency allocation
(http://en.wikipedia.org/wiki/Frequency_allocation)
(13/06/2012)
-
Challenge ROADEF'2001
(http://uma.ensta-paris.fr/conf/roadef-2001-challenge)
Problème d'Affectation de Fréquence avec Polarisation proposé en chalenge par le CELAR -
FAP web - A website about Frequency Assignment Problems
(http://fap.zib.de)
(14/09/2006)
Problèmes d'affectation généralisées (GAP)
-
Wikipedia/en : Assignment problem
(http://en.wikipedia.org/wiki/Assignment_problem)
(13/06/2012)
-
Wikipedia/en : Generalized assignment problem
(http://en.wikipedia.org/wiki/Generalized_assignment_problem)
(13/06/2012)
-
Generalised assignment problem instances
(http://people.brunel.ac.uk/~mastjjb/jeb/orlib/gapinfo.html)
(13/06/2012)
-
Instances complémentaires pour le GAP
(http://www.al.cm.is.nagoya-u.ac.jp/~yagiura/gap/)
(14/09/2006)
Problèmes d'affectation quadratiques (QAP)
-
Wikipedia/en : Quadratic assignment problem
(http://en.wikipedia.org/wiki/Quadratic_assignment_problem)
(13/06/2012)
-
Quadratic Assignment Problem
(http://www.cs.berkeley.edu/~ejr/GSI/cs267-s04/homework-0/results/sonesh/)
(13/06/2012)
Un bon résumé -
The Quadratic Assignment Problem
(http://www.opt.math.tu-graz.ac.at/~cela/papers/qap_bericht.pdf)
(13/06/2012)
Un état de l'art sur le sujet -
QAPLIB - A Quadratic Assignment Problem Library
(http://www.opt.math.tu-graz.ac.at/qaplib)
(14/09/2006)
La librairie de référence pour les instances de ce type de problèmes
Problèmes de coloration
-
Wikipedia/fr : Coloration de graphe
(http://fr.wikipedia.org/wiki/Coloration_de_graphe)
(13/06/2012)
-
Wikipedia/fr : Coloration des arêtes d'un graphe
(http://fr.wikipedia.org/wiki/Coloration_des_arêtes_d'un_graphe)
(Wikipedia/fr : Coloration de graphe)
-
Wikipedia/en : Graph coloring
(http://en.wikipedia.org/wiki/Graph_coloring)
(13/06/2012)
-
Graph Coloring Page by Joseph Culberson
(http://webdocs.cs.ualberta.ca/~joe/Coloring)
(14/09/2006..13/06/2012)
Un bon point de départ sur ce sujet. -
COLOR02/03/04: Graph Coloring and its Generalizations
(http://mat.gsia.cmu.edu/COLOR02)
(13/06/2012)
Ce site archive les données du challenge de Constraint Programming 2002 sur le problèmes de coloration avec instances, validateurs et résultats. -
Graph Coloring Problems (de IMADA - Danemark)
(http://www.imada.sdu.dk/Research/Graphcol)
(19/09/2006..13/06/2012)
Voir en particulier les nombreux sous-problèmes
Problèmes de gestion de générateurs (UCP = Unit Commitment Problem)
-
Wikipedia/en : Power system simulation
(http://en.wikipedia.org/wiki/Power_system_simulation)
(13/06/20121)
-
Unit Commitment's Archive
(http://gear.kku.ac.th/~thana/unitcom.html)
(14/09/2006..13/06/2012)
lien mort : pas de remplacent trouvé
(C'était) le seul lien générique que j'ai trouvé sur UCP. -
Relaxation Lagrangienne et filtrage par coûts réduits appliqués à
la production d'électricité
(http://uma.ensta.fr/labo/publication.php?id=3)
(14/09/2006)
Couplage d'une relaxation lagrangienne avec la programmation par contraintes... J'aime bien ce rapport de janv. 2005 (;-)
Transparents antérieurs au rapport : roadef2003_ucp
Ordonnancement
-
GOThA (Groupe de recherche en Ordonnancement Théorique et Appliqué)
(http://www-desir.lip6.fr/~pascualf/gotha)
(14/09/2006..14/06/2012)
Sous groupe du GDR-RO dédié aux problèmes d'ordonnancement. Trés intéressant avec de bons liens. -
Gestion de projet à contraintes de ressources
(http://ocea.li.univ-tours.fr/eocea/rcpsp)
(14/09/2006..14/06/2012)
Site du sous-groupe du GOThA dédié au problème RCPSP. -
The scheduling zoo
(http://www-desir.lip6.fr/~durrc/query/)
(12/01/2014)
Page interactive pour s'y retrouver dans la notation des problèmes d'ordonnancement, dans leur complexité et la bibliographie. -
The PSPLIB : Project Scheduling Problem LIBrary
(http://129.187.106.231/psplib)
(14/09/2006..14/06/2012)
Une description des problèmes de type RCPSP (Resource-Constrainded Project Scheduling Problem) et dérivés, avec quelques instances de référence à télécharger. -
Project Generator ProGen/max and PSP/max-library
(http://www.wior.uni-karlsruhe.de/LS_Neumann/Forschung/ProGenMax)
(14/09/2006..14/06/2012)
Un ensemble d'instances (avec le générateur) pour les problèmes de type RCPSP. -
Scheduling instances
(http://mistic.heig-vd.ch/taillard/problemes.dir/ordonnancement.dir/ordonnancement.html)
(14/09/2006..14/06/2012)
Sur la page de Eric Taillard (Flow shop, Job shop, Open shop).
Problèmes divers
Règle de Golomb
-
Wikipedia/fr : Règle de Golomb
(http://fr.wikipedia.org/wiki/Règle_de_Golomb)
(..14/06/2012)
-
Wikipedia/en : Golomb ruler
(http://en.wikipedia.org/wiki/Golomb_ruler)
(..14/06/2012)
-
projet OGR : Optimal Golomb Rule
(http://www.distributed.net/ogr/index.php.fr)
(..14/06/2012)
-
Golomb rulers (IBM)
(http://researchweb.watson.ibm.com/people/s/shearer/grule.html)
(..14/06/2012)
Social Golpher Problem
-
Social Golfer Problem
(http://www.maa.org/editorial/mathgames/mathgames_08_14_07.html)
(18/06/2012)
Un problème d'organisation de groupe sociaux apprécié en Programmation Par Contraintes. -
The PusslOR
(http://puzzlor.com)
(17/10/2014)
Une collection de jeu à résoudre (problème de RO, puzzles, ...)
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.-
Wikipedia/en : AMPL
(http://en.wikipedia.org/wiki/AMPL)
(14/06/2012)
-
AMPL: A Modeling Language for Mathematical Programming
(http://www.ampl.com)
(..14/06/2012)
La page du livre de référence avec sa FAQ. -
Algebraic Modeling Languages
(http://www.mat.univie.ac.at/~oleg/AML.html)
(..14/06/2012)
Voir les liens relatif au langage AMPL -
Forum Google psur AMPL
(http://groups.google.com/group/ampl/topics)
(14/06/2012)
Langage Claire
Langage spécialisé en optimisation combinatoire (également utilisé pour les appli web).-
Claire: a language for optimization
(http://www.claire-language.com)
(18/09/2006..)
La société (à Bordeaux) créée pour assurer un support commercial de Claire.
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, ...)
-
CMPL: Coin/Coliop Mathematical Programming Language
(http://cmpl.th-wildau.de)
(08/02/2012)
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, l'export vers différents format (mps, xml, ...)
Voir la documentation CMPL.pdf -
Exemple et test en ligne de CMPL
(http://cmpl.th-wildau.de/cmpl-net.php)
(14/06/2012)
Langage GMPL (General Algebraic Modeling System)
Un concurrent de AMPL.-
Wikipedia/en : GMPL
(http://en.wikipedia.org/wiki/General_Algebraic_Modeling_System)
(14/06/2012)
-
The GAMS Home Page
(http://www.gams.com)
(14/06/2012)
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.
-
LocalSolver
(http://www.localsolver.com)
(14/06/2012)
Langage PROLOG
Langage très apprécié par ceux qui l'aiment...-
Wikipedia/fr : Prolog
(http://fr.wikipedia.org/wiki/Prolog)
(14/06/2012)
-
Les meilleurs cours sur Prolog) de developpez.com)
(http://prolog.developpez.com/cours)
(14/06/2012)
-
Prolog Resources and Introduction
(http://wiht.link/prolog_resources)
(15/04/2016)
-
SWI-Prolog's home
(http://www.swi-prolog.org)
(12/05/2011)
-
Yet Another Prolog
(http://www.dcc.fc.up.pt/~vsc/Yap)
(14/06/2012)
Langage Xpress-Mosel
Mosel est un autre langage de modélisation de haut niveau pour les problèmes d'optimisation.-
FICO® Xpress Optimization Suite
(http://www.fico.com/en/Products/DMTools/Pages/FICO-Xpress-Optimization-Suite.aspx)
(13/09/2006..14/06/2012)
-
Embedding Optimization Algorithms with Mosel
(http://www.fico.com/en/FIResourcesLibrary/Xpress_embed.pdf)
(14/06/2012)
Une doc pdf de 2007
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
-
COIN-OR related resources
(http://www.coin-or.org/resources.html)
(13/09/2006..14/06/2012)
Une liste d'outils open-source logiciels pour la Recherche Opérationnelle. -
NEOS: Server for optimisation
(http://www.neos-server.org/neos)
(07/06/2012..14/06/2012)
Propose des outils R.O utilisables en ligne via des formats de modélisation standard.
Conçu pour permettre la comparaison de différents solveurs (de problème d'optimisation), ce serveur (web) permet de tester différents outils existants sur vos propres instances de problème avec un certains choix dans les formats acceptés. -
Optimization Software
(http://www-fp.mcs.anl.gov/otc/Guide/SoftwareGuide)
(13/09/2006..14/06/2012)
Une liste de (nombreux, mais plus à jour) logiciels dédiés à l'optimisation. -
YALMIP wiki : solvers
(http://users.isy.liu.se/johanl/yalmip/pmwiki.php?n=Solvers.Solvers)
(15/06/2012)
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).-
COIN-OR
(http://www.coin-or.org)
(14/09/2006..14/06/2012)
COmputational INfrastructure for Operations Research Projet Open source, ambitieux, d'origine IBM (C++)
Projet très important avec de nombreux solveurs et bibliothèques spécialisés (souvent détaillés séparément dans cette page). -
GLPK (GNU Linear Programming Kit)
(http://www.gnu.org/software/glpk)
(14/09/2006..15/06/2012)
La bibliothèque Glpk écrite en C est livrée avec un solveur autonome (glpsol) est capable de traiter des problèmes linéaires (continus ou en nombre entier) par des méthodes de simplexe ou de Points Intérieur.
Ces problèmes peuvent être modélisés dans différents langages, dont l'excellent GMPL (clone de AMPL ci-dessus). - GLPK Wiki book (15/06/2012)
- Archives de la liste de mailing dédiée à GLPK (mail-archive) (15/06/2012) Sebastian Pokutta's Blog about GLPK
- Archives de la liste de mailing dédiée à GLPK (mail-archive) (15/06/2012)
- Port de glpk en Javascript avec demos par Henri Gourvest (Metz ;-) (18/11/2014)
- Autre port partiel de glpk en Javascript (18/11/2014)
-
LocalSolver
(http://www.localsolver.com)
(24/02/2011)
Un solver très efficace à base de recherche locale utilisable en boite noire grace à un excellent langage LSP de description du problème à résoudre (utilisable un peu comme AMPL avec un solver PLNE). -
LP_Solve
(http://lpsolve.sourceforge.net/5.5)
(13/09/2006..15/06/2012)
Solver Linéaire MIP sous Licence LGPL - Distribution de Lp_solve
- Forum yahoo pour Lp_solve (vraiment pas terrible !!)
-
QSopt-Exact Home Page
(http://www.dii.uchile.cl/~daespino/ESolver_doc/main.html)
(13/11/2007..15/06/2012)
Solveur linéaire avec calculs exacts (car rationnels), basé sur la bibliothèque GMP (Gnu Multi Precision)
Une description comptète de ce solveur fait l'objet de la Thèse de Daniel Espinoza -
ROSE : Reformulation-Optimization Software Engine
(http://www.lix.polytechnique.fr/sysmo/rose/)
(07/06/2012)
Développé aux LIX (Polytechnique) essentiellement par David Savourey mais intégré au projet COIN-OR).
C'est à la fois un langage et un solveur pouvant être utilisé en sortie de AMPL... ...à détailler...
Voir aussi le langage CMPL ci-dessus, également intégré au projet COIN-OR. -
SCILAB
(http://www.scilab.org)
(11/09/2006..)
L'environnement de calcul scientifique open-source de référence (fork historique de scilab). -
SYMPHONY : Framework et outil autonome pour faire du Branch and X.
(http://www.coin-or.org/projects/SYMPHONY.xml)
(07/06/2012)
Bien que Symphony soit une partie intégrante du projet COIN-OR, il mérite une place à part de par son aspect outil autonome. Il peut être vu comme un concurrent direct de GLPK.
Voir la liste en vrac des fichiers du projet
Bibliothèque et Frameworks
Remarque : Les solveurs précédents proposent également (en général) leur services sous formes de bibliothèques.-
GSL : Gnu Scientific Library
(http://www.gnu.org/software/gsl)
(13/09/2006..15/06/2012)
La Gnu Scientific Library est une librairie scientifique d'usage général écrite en C -
NLopt a free/open-source library for nonlinear optimization
(http://ab-initio.mit.edu/wiki/index.php/NLopt)
(18/06/2012)
Fournit une interface commune pour différentes bibliotèques d'optimisations non linéaire, et accessible depuis différents langages. -
Paradiseo
(http://paradiseo.gforge.inria.fr)
(14/03/2008..15/06/2012)
Un Framework C++ multiplatforme pour la conception flexible de méthaheuristiques (supportant MPI, GPU, ...). -
SCIP: Solving Constraint Integer Programs
(http://scip.zib.de)
(11/09/2006..)
Un des frameworks non commeriaux les plus efficaces multi-paradigme (Branch Cut and Price, PPC, SAT). -
swIMP: SWIG-based Interface for Mathematical Programming
(http://swimp.sourceforge.net/)
(07/06/2012)
Pas très actif, mais original. Devrait faciliter la création d'interface entre différents solveurs C ou C++ et d'autres langages.
Seule l'interface pour java est actuellement proposée
Quelques sociétés commerciales
-
ARTELYS
(http://www.artelys.com)
(29/11/2011..18/06/2012)
Société spécialisée en optimisation - formation (anciens élèves Ensta :-). Par ailleurs, Artelys propose les outils d'optimisation liés à Xpress (maintenant appelés FICO Xpress Optimization Suite) - FICO Xpress Optimization Suite (18/06/2012) Gamme d'outils de modélisation et d'optimisation numérique ;
- Artelys Kalis (18/06/2012) un environnement (librairie C++ ou java) de Programmation hybride par Contraintes et Mathématique ;
- KNITRO (18/06/2012) Un solveur non linéaire pour des problèmes de très grande taille (développé par Ziena).
-
Bouygues/eLab
(http://e-lab.bouygues.com)
(27/04/2012..18/06/2012)
Propose du service/conseil en Recherche Opérationnelle,
Développe l'outil LocalSolver. -
Dynadec
(http://www.dynadec.com)
(01/02/2009..18/06/2012)
Dynatec propose COMET, un framework multiplatforme associant la programmation par contraintes, la programmation mathématique et la recherche locale contrainte (une version d'évaluation et universitaire est disponible). -
EURODECISION
(http://www.eurodecision.com)
(18/09/2006..18/06/2012)
Réalise des applications d'aide à la décision par intégration de technologies d'optimisation et de simulation. Les principaux domaines d'application sont : la logistique, les ressources humaines, la production, le transport, les achats, les télécommunications. -
GUROBI
(http://gurobi.com)
(01/12/2009..18/06/2012)
Société récente (2008) créée suite au rachat de ILOG par IBM qui propose (au printemps 2009...) des outils d'optimisation linéaires, quadratiques et en nombre entier (y compris pour MacOSX Snow Leopard 64 bit). Version gratuite pour l'éducation/recherche. -
IBM/ILOG
(http://www-01.ibm.com/software/fr/websphere/optimisation)
(25/03/2010..18/06/2012)
Propose des outils de référence (tant au niveau de la qualité que du prix !) dans le domaine de l'optimisation comme ILOG/Cplex pour la programmation linéaire et quadratique et ILOG/CP Optimizer pour la Programmation par contraintes.
Les versions complètes sont gratuites pour l'éducation et la recherche universitaire. -
INRO
(http://www.inro.ca/fr/produits)
(18/09/2006)
L'INRO est spécialisée dans les logiciels de planification des transports : EMME, Dynameq et STAN.
Benchmarks et données tests
-
OR-Library de J.E. Beasley
(http://people.brunel.ac.uk/~mastjjb/jeb/info.html)
(18/09/2006..18/06/2012)
TTB : Une collection de tests maintenue par John E Beasley pour toute sorte de problemes de RO ! -
MP-TESTDATA
(http://elib.zib.de/pub/Packages/mp-testdata)
(..18/06/2012)
Une collection de tests pour math et RO -
princeton testProblems
(http://titan.princeton.edu/TestProblems)
(15/06/2007..18/06/2012)
Plusieurs catégories d'instances de problèmes d'optimisation au format GAMS -
Benchmarks for Optimization Software
(http://plato.asu.edu/bench.html)
(11/09/2006..18/06/2012)
Des instances et des benchmarks maintenus par Hans Mittelmann pour les différentes branches de la R.O.
Comparaison possible des performance de nombreux solveur linéaires, non linéaires parallèles, ...
./