てか前スレにあったけどP=NP解けたの?