5
PPAD가 어렵다는 증거?
증거가 없어도 P! = NP라고 믿는 철학적 타당성이 종종있다. 다른 복잡성 클래스는 그렇지 않다면 "놀라운"결과 (다항식 계층 구조의 붕괴와 같은)가있을 수 있기 때문에 구별된다는 증거를 가지고 있습니다. 내 질문은, PPAD 클래스가 다루기 어렵다는 믿음의 근거는 무엇인가? 내쉬 평형을 찾기위한 다항식 시간 알고리즘이 있었다면, 이것은 다른 복잡성 클래스에 대해 아무 의미가 …