https://azpdf.net/document/yr3d1317-numerous-problems-proven-np-complete.html