Labs

The goal of the labs is to exercise the topics presented on lectures.

On some labs you will receive homework assignment, which are implementation of an algorithm or a method solving some interesting combinatorial optimization problem. In all cases, the solutions to homework assignments are submitted to Brute where they are automatically checked and evaluated. Late upload will be penalized by -1 point for each week after deadline. Completing all homeworks successfully (i.e., the output is classified as correct according to Brute) is a mandatory requirement for the assessment. Moreover, we encourage you to solve the homeworks since in the practical test you will use algorithms implemented for the homeworks.

Plan of the Labs

Week No.	Title	Notes	Materials
1	Introduction, Gurobi installation, LP basics		Gurobi installation guide (pdf) Gurobi examples (zip) LP basics (Wolfram notebook)
2	SAT, LP modeling		k-coloring via SAT (pdf), k-coloring via SAT (jupyter), LP basics (pdf), LP basics (jupyter)
3	ILP 1		Catering: Handout, Jupyter, Video, Solution (jupyter), Solution (video) Settle up: Handout, Jupyter, Video, Solution (jupyter), Solution (video) Notes and issues with big M
4	ILP 2		Peaking power plants: Handout (pdf), Handout (jupyter), Video, Solution (jupyter), Solution (video)
5	ILP 3	HW1	HW1: Assignment, Video, Public instances (zip), Lazy constraints: Handout (pdf), Video, Circle approximation (Wolfram notebook), Circle approximation (python)
6	Interesting ILP applications		Game of Fivers: Game, Video, Handout (pdf), Handout (jupyter) Rubik's cube: Video, Handout (pdf), Handout (jupyter) Verification of DNNs: Video, Handout (pdf), Handout (jupyter)
7	Consultations		Optional materials on SPT: Handout (pdf), czech_republic.txt, image_approximation_skeleton.zip, Content-aware image resizing
8	Max-Flow	HW2	Max-Flow: Handout (pdf), Lab materials (video) HW2: Assignment (pdf), Initial feasible flow for FF (video), Public instances (zip)
9	Min-cost flow		Min-cost flow: Handout (pdf) Image reconstruction: Handout (pdf), Handout (jupyter)
10	Consultation		Optional materials: Dynamic programming (pdf), Nonograms (pdf), Nonograms (zip)
11	Scheduling - Bratley's algorithm	HW3	Bratley and HW3: Assignment (pdf), Lab materials and HW3 (video), Public instances (zip), Scheduling ZOO
12	Modeling master class		Advanced modeling: Handout (pdf), Handout (jupyter), CP overview: Presentation (pdf)
13	Consultation		Game of Life: Handout (pdf), Handout (jupyter) Tents in the forest: Handout (pdf), Handout (jupyter), Video, Solution (jupyter), Solution (video)
14	Reserve, ungraded assessments, SP presentations

Classroom computers

OS: Debian Linux 64b, select Ubuntu during booting

Login: uses credentials from Department of Computers. If you haven't use them before, setup them at https://www.felk.cvut.cz/labpass/

Development environments: CLion (C++), IntelliJ (Java), PyCharm (Python), GVim, Netbeans are installed. CLion, IntelliJ and PyCharm are installed in /opt and their license have to be activated via creating JetBrains account with faculty email.

VPN: Gurobi (Academic) licence can be obtained for free, but only from the university network; to access it remotely, you can use VPN - for more info see FEL VPN (CZ)/ FEE VPN (EN).

Table of Contents

Labs

Plan of the Labs

Classroom computers