理由はnp困難のページを参照のこと)