유일 게임 추측: 계산 복잡도 이론에서 놀라울 정도로 논쟁적인 문제
2025-05-10
2002년 Subhash Khot에 의해 제안된 유일 게임 추측(UGC)은 유일 게임이라고 불리는 특정 유형의 게임의 값을 근사하는 것이 NP-난해하다는 것을 주장합니다. 이 추측은 근사 알고리즘 이론에 큰 영향을 미칩니다. 만약 참이고 P≠NP라면, 많은 중요한 문제들은 정확한 해뿐만 아니라 좋은 다항식 시간 근사 해도 허용하지 않을 것입니다. 학계에서는 그 타당성에 대한 의견이 분분하며, 라벨 커버 문제나 Max2Lin(k) 문제 등 동등한 공식화가 존재합니다. 더 강력한 버전은 반증되었지만, UGC의 탐구는 방대한 수학 연구를 촉진했으며, 2-2 게임 추측의 증명 등 몇 가지 증명으로의 진전이 있었습니다.
개발
NP-난해