COMP 566   Autumn 2007       Course Announcements

Please check this page once a week.          New items at the top of the page.  

course home page              lecture summaries         project/presentation information


As usual we wrap up with a feedback session at Thomson House, after the last class on Tues Dec 4.
We'll leave from McConnell ground floor lobby at about 4pm, or you can just join us there.
(Undergrads and other non-members can be signed in.)
Beer and chips are on the house.


Second test will be Thurs November 22 in class, covering material up to and including Nov 8 lecture and all assignments.

Assignment 4 is posted, due tuesday Nov 20 in class.
Typo correction: In 1(a) ...dual variables y give a cutting plane if y^T A is an integer vector.


Assignment 3 is posted, due thursday Nov 1 in class.

Assignment 2 is posted. Solutions will be posted here.

Assignment 1 is posted (typo in Fukudas example corrected Sept 14).

Teaching Assistant: Conor Meagher
http://www.cs.mcgill.ca/~cmeagh1/
Office: MC232
email: cmeagh1 at cs.mcgill.ca
By appointment


Course software

Getting a computer account: go to one of the Gentoo/linux machines in the Trottier building 3rd floor:  http://socsinfo.cs.mcgill.ca/wiki/Labs

Use login name: newuser    password: newuser

In the course we make use of the packages maple, lp_solve, cplex and lrs. All are installed on Gentoo/linux
machines in Trottier:     labi-j.cs.mcgill.ca,         i=2,6,7 and 1<=j<=20     
You can connect remotely by ssh:   eg:    ssh lab6-4.cs.mcgill.ca

If you do not find the software,  try typing: %source /usr/socs/Cshrc
You will need to set the path for some of the software.

cplex     path: /usr/local/bin/cplex-10 


Instructions for cplex can be found here.

maple        path: /usr/local/bin/maple
A maple session that shows how to solve systems of equations is here.

lp_solve         path: /usr/bin/lp_solve
This program can be used to solve linear or integer linear programs.
Usage: lp_solve -S4 < input_file       (-S4 option gives dual variables)
Some examples input and output files are here.
The man page is here.

The full package is available for download from the lp_solve  home page.

A nice help page with DOS executable is available at:
http://www.statslab.cam.ac.uk/~rrw1/opt/lp_solve/

lrs         path: /usr/bin/glrs    (glrs uses a faster arithmetic package than lrs, otherwise the same)
This program computes all of the extreme points (and extreme rays if any) of the
feasible region of an LP. Home page is: http://cgm.cs.mcgill.ca/~avis/C/lrs.html


Zimpl    free modelling tool for LPs and ILPs (constraint
generator to lp or mps formats).
http://www.zib.de/koch/zimpl/
It is easy to learn and use. On page 16 of the documentation
(http://www.zib.de/koch/zimpl/download/zimpl.pdf) you will find Chvatal's
diet problem as an example.

Coin-Or   Computational Infrastructure for Operations Research
http://www.coin-or.org/
-->"an open-source community for operations research software in order
to speed development and deployment of models, algorithms, and cutting-edge
computational research." It has some neat cut generators for solving ILPs.


Symphony    Open source Mixed ILP solver that implements branch and cut
http://www.branchandcut.org/SYMPHONY/
-->it s very customizable and is part of COIN-OR. If you tweak things
right, you will solve tough ILPs faster than CPLEX can. You can even
implement your own cuts.



  SOCS computer labs wiki is at http://socsinfo.cs.mcgill.ca/wiki/Main_Page




 Some pointers for those looking for projects:

http://www.optimization-online.org/

Informs Search of Annual Comprehensive Index Bibliographic Database
http://www.worms.ms.unimelb.edu.au/
 

ORMS today
http://www.lionhrtpub.com/ORMS.shtml

Prof. Goffin's home page

Journals to check:
Mathematical Programming, Operations Research, Networks,
INFORS, Interfaces, Management Science