Computational Intractability              Course Announcements

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

course home page         reports and grading     lecture summaries


2013.5.9   Please note email address for the TA:     Atsuki Nagao        a-nagao  at kuis.kyoto-u.ac.jp

Course software.        

lrs
This program computes all vertices of a polyhedron, given its facets, or all facets given its vertices.
See the User's guide for instructions.

1. If you use linux, follow instructions in the user's guide, or try the binaries in

http://cgm.cs.mcgill.ca/~avis/C/lrslib/binaries/linux

2. If you use Windows, there are some binaries in

http://cgm.cs.mcgill.ca/~avis/C/lrslib/binaries/windows

Read the directions here: http://cgm.cs.mcgill.ca/~avis/C/lrslib/binaries/windows/readme

lp_solve      
This free 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. Note all examples are in "lp-format", which I recommend.
The latest reference manual is here.

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

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