solved in polynomial time if and only if it can be solved in strongly
polynomial time.
For this we have to learn about lattices and basis reduction.
The lectures last approx. 1.30h. After the lecture, we have pizza and
discuss assigned exercises.