Warning

# 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).