l



Refresh to update time/temperature in Philadelphia, click for forecast:

Click for Philadelphia, Pennsylvania Forecast

General -- New this week -- Syllabus -- Textbook -- Class Notes -- Homework -- Grading-- Exam-- Handouts -- Projects -- Links -- Historical perspectives OPIM-916



Department of OPIM

OPIM-916: Advanced Integer Programming

Spring 2009, Wednesdays 4:30-7:30 PM, 1203, SHDH
Professor Monique Guignard-Spielberg



  HOME






New this week: (27 April 2009)

  back to the top

New this week: (20 April 2009)

    We will continue our study of Dantzig and Wolfe decomposition.
    We will then look at Gomory cuts, and modeling of SPLP, CPLP and lotsizing.


  back to the top

New this week: (13 April 2009)

    Suggested readings
    1. (an interesting use of IP!):
    look at the following webpage and the associated paper.
    Notice: this could also serve as a project topic.

    2. useful advice (even for the non-military!)
    look at the following paper.
    3. Finally this is a 1973 paper by Chvatal republished in 2006, dealing with the "Gomory-Chvatal" algorithm.

    Course material.
    Monday's class.
    We first study a real application to tile manufacturing that uses Lagrangean relaxation and makes use of the integer linearization property, even though there is more than one 0-1 variable in each equation. You can find information in the TOP paper, on p. 163-166.
    We will study surrogate duality.
    Suggested reading (an alternate method when the subgradient algorithm does not work well): the paper by Barahona and Anbil describes the volume algorithm.

    Wednesday's class.
    We will look at column generation. Files to download: file 1 and
    file 2.
    Later on, we will look at branch-and-cut and probing.

  back to the top

New this week: (7 April 2009)

    We will go back over valid inequalities, in particular covers, extended covers and lifted covers, and facets.
    We will then start looking at surrogate constraints.


  back to the top

New this week: (30 March 2009)

    Classnotes.
    (1) Benders partitioning by Erwin Kalvelagen.


    (2) Chvatal-Gomory approach to valid inequalities.

    Readings.
    Geoffrion's paper on Lagrangean relaxation.
    on Balas .
    on Gomory .


    Possible projects.
    (1) chapter 5 of the thesis of Absi, in French, with a description in English.

    (2) survey of noncommercial MIP software.

    (3) Johnson, L., M. Kostreva, U. Suhl, (1985), "Solving 0-1 Integer Programming Problems Arising from Large Scale Planning Models", Operations Research 33, 803-819.

    (4) Fischetti, M., A. Lodi (2003), "Local Branching", Math. Pr. 98, pp. 23-47.

    If you like the topic, please read the section under study, and send me a short proposal for research based on the paper.




    Homework 3:
    1. Write a program to check total unimodularity of an arbitrary (mxn) matrix A in the programming language of your choice. Apply it to the two examples treated in class.
    2. Explain why it is legitimate to add that the sum over i of the u(i) must remain less than or equal to M in Benders partitioning method.
    3. In the textbook "Integer Programming" by Garfinkel and Nemhauser, do problem 24 on p. 151. If you do not have access to the texbook,
    p.210 # 22, and p.207 #2 are necessary for having the whole contents of HW 3.


  back to the top

New this week: (23 March 2009)

    We will start studying Benders partitioning, as discussed in Garfinkel and Nemhauser.

  back to the top

New this week: (17 March 2009)

    We will cover the total unimodularity of constraint matrices as presented in Garfinkel and Nemhauser.

  back to the top

New this week: (2 March 2009)

    Homework:
    1. show that the subdifferential of f at x, f convex, is convex.
    2. show that the subdifferential of f at x, f convex, is closed.
    3. show that b-Ax(k) is a subgradient of z(lambda) for lambda=lambda(k).

  back to the top

New this week: (15 January 2009)

    Review of primal and dual simplex methods, with emphasis on re-optimization after the addition of violated cuts. (January 22, 28) Reading



You may be interested in the following site that
  • provides useful Operations Research Links,
  • suggests books on OR, and
  • provides OR-Objects, i.e., a collection of 500 Java classes for developing Operations research, Scientific and Engineering applications. It contains data structures and algorithms for developing problem specific solutions as well as implementations of classical algorithms.


      back to the top

      HOME




    General Information

      Course Description



      Many optimization models include either integer or 0-1 decision variables. The integrality requirements make the problems much harder to solve than the corresponding continuous optimization problems. The course will provide students with a variety of analytical and algorithmic tools for approaching such hard problems. Emphasis will be on modeling, as well as on approximate (heuristic), and exact (iterative and enumerative) methods.



      Prof. Monique Guignard-Spielberg
      Office: 569 JMHH
      Phone: 215-898-8235
      Email: guignard_monique at yahoo.fr
      URL: http://opim.wharton.upenn.edu/~guignard
      Office Hours: By appointment

    back to the top


    Textbook



      The textbook used is “Integer Programming”, by L. Wolsey, Wiley, 1998.

      Errata in the text

       

      Additional reading material will be distributed during the semester.

    back to the top

      HOME





    Course Syllabus

      List of topics to be covered:

       

      Course overview. Examples of problems with large integrality gaps, and with feasible rounded solutions yielding large relative gaps (----X----)

       

      Review of LP duality, and of the primal and dual simplex methods, with emphasis on re-optimization after the addition of violated cuts. The dual simplex method for LPs with upper bounds. Reading another reading (please don't hesitate to click on "short description"! (----X----)

       

      Branch-and-bound and enumeration. Driebeck penalties. (-----X------)

       

      0-1 knapsack problems. Their LP solutions. BB. Cover inequalities.(-------X------)

       

      For this section, download the following tutorial. Primal relaxation and Lagrangean relaxation, geometric interpretation, integrality property. Integer linearization property, application to the capacitated p-median problem. Analysis of Lagrangean relaxation schemes and quality of bounds from the viewpoint of the geometric interpretation. Application to the GAP and review of all possible constraint dualizations. Integer linearization property for the capacitated facility location problem when the demand constraint is dualized. The bi-knapsack problem. Construction of the Lagrangean function for the total Lagrangean relaxation. Integrality property. Properties of the Lagrangean function. Examples. Contours, subgradient method. Convex nondifferentiable functions and subgradients. (-------X------)

       

      Dantzig-and-Wolfe decomposition algorithm, solution of the Lagrangean dual by column generation: example of the multi-item capacitated lotsizing problem and the GAP. Extensions of Lagrangean relaxation: Lagrangean decomposition and substitutions. Examples. (------X------)

       

      Valid inequalities. Chvatal-Gomory procedure. (-----X-----)

       

      Linear programming relaxation and Gomory cuts for pure and mixed-integer problems. (----/---)

       

      Lifting, covers, lifted covers. (----X----)

       

      Modeling integer programming problems: choice of decision variables and of constraints, simple strengthening techniques. Examples: SPLP, CPLP, lotsizing, with and without disaggregation. Integrality gaps. Model tightening (see paper ). (throughout the semester)

       

      Variable fixing, cliques and implication tables, probing. see paper (--------------)

       

      Total unimodularity. Relationship with integer feasible solutions for integer programming problems. Special cases of network flow problems. (----X----)

       

      Benders partitioning for mixed-integer problems. Examples. Initialization. Gams coverage of Benders.   Benders inequalities of types I and II, obtained from simplex tableau and their use outside of the partitioning algorithm.  Special examples with and without dual extreme rays. (----X----).

       

      Relaxations. Surrogate relaxation and surrogate duals (----X----).

       

      Applications: airline crew scheduling, lotsizing, facility location, production scheduling... (throughout the semester).

      ~~~~~~~~~

       

    • For fun, play with this knapsack tutorial (Feb. --)

    • New paper


    back to the top

      HOME




    Class Notes


    • More will come later.
    back to the top


    Grading Policy

    • Homeworks: 1/3
    • Projects: 1/3
    • Final Exam (take-home): 1/3
    back to the top


    Homework

    • All homeworks must be turned in at the beginning of class on the days they are due.
    • Late homeworks will not be accepted!
    • Computer software (LINDO, EXCEL, GAMS, etc.) can only be used to solve problems that ask you to do so. All other problems have to be solved by hand.


    • Homework #1, due -----.
      Homework #2, due -----.
      Homework #3, due -----.
      Homework #4, due -----.
      Homework #5, due -----.
    back to the top


    Term Projects

  • A term paper related to some IP topic. A few papers have been selected and are available here. Keep checking as additional papers may be added in the coming weks.
    You may also look at the following link.

  • back to the top


    Exam

    • Final Exam: Take-home, during the final exam period.


    back to the top


    Handouts

    • Handout 1: Course syllabus & assignments, this file (posted January 15)


    back to the top


    Interesting Links about Operations Research/Management Science



    back to the top


    Historical perspectives

      Ralph Gomory was one of the first to generate and use cutting planes to solve MIP problems. You can read this paper to gain some insight into his research.

      Peter Hammer, one of the most important contributors to integer programming for several decades, died in a car accident in late December 2006. To lear more about him and his contributions, you can go to this address.



    back to the top


      HOME



    OPIM 916
    Last Updated:

     

    detect 4 you are coming from

    Weather?