https://9dok.net/document/zwvm298l-vl-p-np-berechenbarkeit-komplexit-ws-gerhard-woeginger.html