Allen Guan
says to
YSITD
NP是problem的分類（好像吧