借 FTLian 的论文聊 P/NP(其实只是想搞个事)