https://9dok.net/document/z3d3050d-exercises-lecture-complexity-theory-sheet-roland-meyer-delivery.html