唯一游戏猜想
理论计算机科学中关于约束满足问题近似困难性的核心猜想，是PCP定理的加强形式，若成立将为大量问题确定最优近似算法的精确边界
时间轴 (近 90 天)
AI系统最近给出了唯一游戏猜想（Unique Games Conjecture）的肯定证明。
OpenAI发布了唯一游戏猜想的证明，宣布该猜想为真。
唯一游戏猜想是理论计算机科学中悬而未决数十年的核心问题。
如果唯一游戏猜想成立，它将为一大部分约束满足问题提供最优近似算法的精确边界。
唯一游戏猜想是PCP定理的一种加强形式，涉及一种特殊类型的标签覆盖实例。
唯一游戏猜想断言：对于任意给定的参数ε > 0，存在一个唯一游戏实例，使得区分“几乎可满足”（例如1-ε可满足）和“几乎不可满足”（例如ε可满足）是NP困难的。
MIT的Dor Minzer和Irit Dinur等人证明了二对一游戏定理（two-to-one games theorem），这是唯一游戏猜想的一个较弱版本。
Subhash Khot是唯一游戏猜想的提出者。
全部知识事实 (8)
Subhash Khot是唯一游戏猜想的提出者。
50%待验证唯一游戏猜想断言：对于任意给定的参数ε > 0，存在一个唯一游戏实例，使得区分“几乎可满足”（例如1-ε可满足）和“几乎不可满足”（例如ε可满足）是NP困难的。
50%待验证MIT的Dor Minzer和Irit Dinur等人证明了二对一游戏定理（two-to-one games theorem），这是唯一游戏猜想的一个较弱版本。
50%待验证唯一游戏猜想是理论计算机科学中悬而未决数十年的核心问题。
50%待验证如果唯一游戏猜想成立，它将为一大部分约束满足问题提供最优近似算法的精确边界。
50%待验证唯一游戏猜想是PCP定理的一种加强形式，涉及一种特殊类型的标签覆盖实例。
50%待验证OpenAI发布了唯一游戏猜想的证明，宣布该猜想为真。
50%待验证AI系统最近给出了唯一游戏猜想（Unique Games Conjecture）的肯定证明。
50%