https://asplos.dev/wordpress/2019/12/13/%e7%ae%97%e6%b3%95-np-npc-np-hard/