https://9dok.net/document/zkw1d094-computational-complexity-a-modern-approach.html