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