普通に考えて、NP問題だろう