P≠NP予想：クラスPとクラスNPが等しくなる例は存在しない