https://9dok.net/document/y6elwmmg-vl-polynomielle-reduktionen-berechenbarkeit-komplexit-ws-gerhard-woeginger.html