https://www.win.tue.nl/~gwoegi/P-versus-NP.htm