understanding p=np is apparently np-complete, at least for me