https://9dok.net/document/qvlmngp0-die-klasse-np-und-die-polynomielle-reduktion.html