Programmation stochastique

Transcription

1 Programmation stochastique (Partie 1) IFT-6512 Hiver 2008

2 Présentation succinte COIN-OR? COmputational INfrastructure for Operations Research. Préalablement, COIN-OR tenait pour Common Optimization INterface for Operations Research. Le projet a été lancé par IBM, et les codes sont fournis en open-source ( Beaucoup de projets sont sous licence CPL (Common Public Licence). Il existe à présent une fondation COIN-OR, indépendante de IBM. Où commencer? En visitant le site

3 De quoi aurons-nous besoin? Le projet COIN-OR regroupe de nombreuses librairies et outils de recherche opérationnelles. Nous ne pourrons pas tous les explorer et encore moins les utiliser dans ce cours! Nous étudierons ici la libraire Smi. Pourquoi? Smi is an open-source interface for modeling stochastic linear programming problems. Currently it supports : a scenario tree structure for multiperiod stochastic data, an implementation of a Stochastic MPS (SMPS) reader, direct interfaces for generating scenario trees from paths and from discrete random variables, generating the deterministic equivalent problem for OSI compatible solvers, and parsing the solutions by stage and scenario. Présupposition : environnement de travail de type Unix, compilateur C/C++ installé.

4 Télécharger SMI La page principale du projet est : Le package SMI est disponible sur un serveur subversion, et peut être téléchargé grâce à la ligne de commande svn co coin-smi_0.9 Cela suppose évidemment que vous disposiez d un client subversion. Alternativement, des versions précédentes sont disponibles à l adresse Une copie locale de la version 0.9 est disponible sur la page du cours : bastin/coin-or/smi/smi.tgz

5 Installation de SMI Sous Windows, il est possible d émuler un environnement Unix avec Cygwin ( La librairie a aussi été testée sous Visual C++. Expérience personnelle de Visual C++ : nulle. Je me concentrerai par conséquent sur l approche Unix. Si SMI a été téléchargé sous forme d archive, commencez par décompresser l archive, par exemple : tar zxvf smi.tgz Placez dans le répertoir créé (coin-smi_0.9), et entrez./configure make make test make install Cette séquence de commandes vous dit-elle quelque chose?

6 Et maintenant...? Découvrons SMI. Ce qui suit est basé sur la présentation Stochastic modeling software in the open-source COIN-OR repository, Alan King (IBM Research), INFORMS, Seattle, Qu est-ce que Coin-SMI? Une interface pour des problèmes dans lesquels apparaissent conjointement de l incertitude et des questions d optimisation. Traite des questions de programmations non triviales : implémente des distributions de probabilité multi-étapes, interagit avec des solveurs,... Beaucoup de modèles *pourraient* être supportés : programmation avec recours, programmation contrainte en chance, contrôle stochastique et programmation dynamique, optimisation robuste, queues,...

7 Possibilités actuelles Encore limité, mais c est un des rares projets actifs actuellement. Approche orientée objet (C++), classe SmiScnModel : programme linéaire stochastique multi-étapes avec recours : lecteur de fichiers SMPS ; méthodes directes d entrée pour des scénarios et des distributions directes. supporte *tous* les solveurs compatibles OSI ; prépare un objet OSI avec le programme linéaire déterministe équivalent ; traverse l arbre de scénarios et retrouve les données de solution étape par étape ; implémentation entièrement native pour le projet COIN. Il devrait être facile d ajouter des variables entières et des objectifs quadratiques.

8 Documentation Pour l heure... assez limitée. Transparents de présentation : coin-or_smi_2007_11_04.pdf Il est possible de générer une documentation des fonction implantées dans Smi et les projets associés en utilisant la commande make doxydoc à partir du répertoire racine de Smi. Cette commande nécessite la présence de l outil doxygen. Le processus de génération de documentation est similaire à javadoc pour Java.

9 Exemples Je n ai pas doxygen! Facile à installer sous les distributions Linux courantes. Une copie de la documentation est disponible sur ma page : bastin/coin-or/smi/doc/html/ Le fichier source Smi/Examples/Stoch/stoch.cpp propose différents exemples d utilisation. SmpsIO(../../Mps/Stochastic/wat 10 C 32 ) ; résout un problème SMPS tiré de Dempster et al. : problème solves ModelScenario(); génération de scénarios pour le problème d allocation de flotte aérienne, Dantzig-Ferguson s. ModelDiscrete(); version en distribution discrète du problème d allocation de flotte aérienne.

10 C++ La majeure partie des outils repris dans le répertoire COIN-OR sont écrits en C++. C++ en deux mots. langage dérivé du C ; le code C peut le plus souvent être directement utilisé avec un compilateur C++ (quelques précautions doivent toutefois être prises) ; langage orienté-objet (comme Java). Un Hello World en C++. #include <iostream> using namespace s td ; i n t main ( ) { cout << Hello World! << endl ; } return 0;

11 Hello World! Syntaxe similaire à Java. Le programme commence par une série de déclarations, puis suit le code principal. Tout programme doit contenir une fonction main, qui est le point d entrée du programme. A la différence de Java, cette fonction n est pas à l intérieur. Java ne travaille qu avec des objets, C++ non. On peut écrire un programme C++ sans objets. iostream est une libraire servant aux entrées-sorties. Le mot-clé #include sert à indiquer que les fonctions utilisées sont décrites dans le fichier iostream.h (.h pour header). using namespace std; sert à indiquer que les entrées-sorties se feront sur le canal standard (i.e. le clavier et l écran).

12 Types de variables prédéfinis void : type vide ; char : caractère ; int : entier ; bool : booléen ; float : réel simple précision ; double : réel double précision ; wchar t : caractère long. Les types entiers (int) peuvent être caractérisés d un des mots clés long ou short. Ces mots clés permettent de modifier la taille du type, c est-à-dire la plage de valeurs qu ils peuvent couvrir. De même, les réels en double précision peuvent être qualifiés du mot clé long, ce qui augmente leur plage de valeurs. Note, sur les architectures habituelles, double et long double ont même place de valeur.

13 Classes #include <iostream> using namespace s td ; class CRectangle { i n t x, y ; public : void s e t v a l u e s ( int, i n t ) ; i n t area ( ) { return ( x y ) ; } } ; void CRectangle : : s e t v a l u e s ( i n t a, i n t b ) { x = a ; y = b ; }

14 Classes (2) i n t main ( ) { CRectangle r e c t ; r e c t. s e t v a l u e s ( 3, 4 ) ; cout << area : << r e c t. area ( ) ; return 0; } Syntaxe. Chaque intruction est terminée par le symbole ; et un bloc d instructions est délimité par une accolade ouvrante ({) et une accolade (}) fermante. Une classe est un objet, qui contiendra des variables et des fonctions, appelées méthodes. Similaire à Java. On construit ici une classe rectangle, qui sera spécifié en indiquant sa largeur et sa longueur, et qui dispose d une méthode permettant d en calculer l aire.

15 On ne partage pas tout! Les éléments (variables et méthodes) peuvent être privés, publics ou protégés : private les membres privés d une classe sont seulement accessible à partir des autres membres de la même classe ou de leurs amis ; protected les membres protégés sont accessibles pour les membre de la même classe et de leurs amis, mais aussi pour les membres des classes dérivées. public les membres publics sont accessible par n importe qui pouvant voir l objet. Dans l exemple, les variables sont privées (comportement par défaut), et on utilise le setter set_values pour les initialiser.

16 Classes : constructeurs et destructeurs On voudrait pouvoir initialiser certains éléments de l instance d une classe lors de sa création. C est possible grâce à la fonction spéciale appelée constructeur, qui est automatiquement appelée quand une nouvelle instance est créée. Cette fonction doit avoir même nom que la classe, et ne peut avoir aucun type de retour, même void. #include <iostream> using namespace s td ; class CRectangle { i n t width, height ; public : CRectangle ( int, i n t ) ; i n t area ( ) { return ( width height ) ; } } ;

17 Constructeurs : exemple CRectangle : : CRectangle ( i n t a, i n t b ) { width = a ; height = b ; } i n t main ( ) { CRectangle r e c t ( 3, 4 ) ; CRectangle r e c t b ( 5, 6 ) ; cout << r e c t area : << r e c t. area ( ) << endl ; cout << r e c t b area : << r e c t b. area ( ) << endl ; return 0; } Dans l exemple, on passe la largeur et la longueur comme arguments lors de la création d une instance.

18 Destructeur Le destructeur remplit la fonctionnalité opposée : il est automatiquement appelé quand un objet est détruit. Le desctructeur doit avoir le même nom que la classe, mais précédé d un signe tilde ( ), et il ne doit retourner aucune valeur. L utilisation de destructeurs est particulièrement adaptée quand un objet affecte de la mémoire dynamique au cours de durée de vie, et qu au moment de sa destruction, nous souhaitons libérer la mémoire qui avait été allouée. Allocation dynamique? Utilisateur de pointeurs. Chaque variable est stockée en mémoire. On peut connaître l adresse mémoire grâce à l opérateur de référence : &.

19 Pointeurs De la même manière qu on peut connaître mémoire associée à une variable, on peut créer une variable dont le contenu est une adresse : pointeur. La déclaration d un pointeur se fait en placant une astérisque entre le type et le nom de variable. Exemple : int a; int *b = &a; Pour connaître le contenu de la mémoire dont l adresse est donnée par le pointeur, on effectuera une opération de déférencement, en plaçant le symbole astérisque devant le nom de variable : a = *b;

20 Allocation mémoire Le mot-clé new permet de requérir de la mémoire dynamique. new sera suivi de l identifiant de type, et éventuellement du nombre d éléments entre crochets ([]) pour allouer un tableur. L appel à new retourne un pointeur au début du bloc mémoire nouvellement alloué. Par exemple, i n t semaine ; semaine = new i n t [ 7 ] ; Le premier élément pointé par semaine peut être accédé soit avec l expression semaine[0] ou l expression *semaine. Le second élément peut être accédé avec semaine[1] ou *(semaine + 1), et ainsi de suite. Contrairement à Java, il n y a pas de garbage collector : la mémoire alloué restera alloué tant qu aucune instruction indiquant qu elle doit être libérée n est rencontrée.

21 Désallocation mémoire En C++, il est à la charge du programmeur de libérer le mémoire allouée dynamiquement pour la rendre à nouveau disponible. Cela se fait avec l instruction delete, dont le format est : delete p o i n t e r ; delete [ ] p o i n t e r ; La première expression devrait être utilisée pour supprimer la mémoire alloué à un seul élément, et la seconde pour la mémoire allouée à un tableau d éléments. Note : en C, on utilise les instructeurs de plus bas niveau malloc et free. Les instructions new et delete permettent cependant de profiter des constructeurs et destructeurs. Revenons aux destructeurs...

22 Destructeur : exemple #include <iostream> using namespace s td ; class CRectangle { i n t width, height ; public : CRectangle ( int, i n t ) ; CRectangle ( ) ; i n t area ( ) { return ( width height ) ; } } ; CRectangle : : CRectangle ( i n t a, i n t b ) { width = new i n t ; height = new i n t ; width = a ; height = b ; }

23 Destructeur : exemple (2) CRectangle : : CRectangle ( ) { delete width ; delete height ; } i n t main ( ) { CRectangle r e c t ( 3, 4 ), r e c t b ( 5, 6 ) ; cout << r e c t area : << r e c t. area ( ) << endl ; cout << r e c t b area : << r e c t b. area ( ) << endl ; return 0; } Plutôt que de déclarer l instance CRectangle de cette manière, on put utiliser un pointeur : CRectangle r e c t = new CRectangle ; [... ] delete r e c t ;

24 Environnements de développement Différents environnements sont disponibles. Solution basique, mais efficace : un éditeur de texte (par exemple emacs ou vim), compilateur gnu g++. Environnement de développement. Un exemple open-source (téléchargeable gratuitement) : Eclipse ( Supporte à la base le Java, mais gère le C/C++ grâce au plugin CDT ( Un tutorial d utilisation d Eclipse CDT : os-eclipse-stlcdt/index.html

25 Pour aller plus loin... Ce cours n étant pas destiné à apprendre un langage de programmation, il n en sera pas dit d avantage sur le C++. Différents tutoriaux existent sur internet, par exemple Vous pouvez aussi consulter les notes et exemples du cours IFT1166 : dift1166/ Un livre de référence (parmi d autres) : Stanley B. Lippman, Josée LaJoie, Barbara E. Moo, C++ Primer, 4th Edition, Addison Wesley, Leitmotiv : Read the Source, Luke. On apprend énormément en lisant du code source. Pour Smi, profitez des exemples repris dans le code distribué!!!

26 SMPS Format permettant de décrire des problèmes stochastiques (linéaires) avec recours. Référence principale : Gassmann et Schweitzer, Proposed Extensions to the SMPS Input Format for Stochastic Linear Programs, Dalhousie School of Business Administration Working Paper WP 96 1, Based on the MPS standard for linear programs, data conventions for the description of multistage stochastic linear programs were described by Birge et al. This paper proposes extensions to the so-called SMPS standard, in order to address shortcomings identified by researchers around the world in several years of working with the standard.

27 Autres références J.R. Birge, M.A.H. Dempster, H.I. Gassmann, E.A. Gunn, A.J. King and S.W. Wallace, A standard input format for multiperiod stochastic linear programs, COAL Newsletter 17, pp. 1-19, H.I. Gassmann and E. Schweitzer, A comprehensive input format for stochastic linear programs, Annals of Operations Research 104, pp , Un goût de bon vieux temps Les outils modernes utiliseront plutôt des langages de modélisation algébrique. Auparavant, les formats étaient beaucoup plus lourds : MPS, SIF. Le format SMPS est une extension du MPS pour la programmation stochastique.

28 Pourquoi utiliser SMPS alors? 1 Collection de problèmes test : 2 Possibilité d utiliser des solveurs connus et fiables, y compris des solveurs commerciaux... sans délier sa bourse! Comment? Soumettre ses problèmes à NEOS! Pour les problèmes en SMPS : NEOS dispose d un large éventail de logiciels d optimisation, et peut être utilisé dans d autres contextes. 3 Les solutions comme AMPL sont souvent payantes, avec des licences parfois très coûteuses.