唯一游戏猜想断言：对于任意给定的参数ε > 0，存在一个唯一游戏实例，使得区分“几乎可满足”（例如1-ε可满足）和“几乎不可满足”（例如ε可满足）是NP困难的。