什么是UG硬度?根据独特的游戏猜想,它与NP硬度有何不同?


22

依赖于独特的游戏猜想,有许多无法逼近的结果。例如,

假设唯一的博弈猜想,对于任何常数R > R GW,要在系数R内近似最大割问题是NP难的。

(这里R GW = 0.878…是Goemans-Williamson算法的近似比。)

但是,有些人更喜欢将术语“ UG-hard ”用于:

对于任何常数R > R GW,在系数R内近似最大切削问题都是UG的难题。

后者只是前者的简写,还是它们表示不同的说法?


+1非常好。感谢Tsuyoshi阐明了复杂性理论中的这一重要概念。
Mohammad Al-Turkistany 2012年

Answers:


15

该答案的早期版本最初由NicosM 发布,作为对“ 独特游戏的后果是NPI问题 ”的答案。因为事实证明它没有回答他想问的问题,所以我将其移到了这个问题上。

简短的回答:它们表示不同的陈述。后者暗示前者,但前者未必暗示后者。

长答案:回想一下,独特的游戏问题是以下承诺问题。

独特的游戏问题参数ķ ∈ℕ和εδ > 0(1- ε > δ
实例:两个玩家的一个轮独特的游戏ģ与标签尺寸ķ
是-承诺G的值至少为1- ε
无承诺G最多具有δ值。

独特的游戏猜想指出:

独特的游戏猜想。 对于所有常数εδ,都存在一个常数k,使得具有参数kεδ的唯一博弈问题是NP完全的。

考虑以下形式的结果:

(1)假设唯一的游戏猜想,问题X是NP-难的。

X的一个示例是在某个恒定因子R > R GW内逼近最大切割的问题。)

形式(1)的大多数(如果不是全部)结果实际上证明了以下事实:

(2)存在常数εδ,使得在每一恒定ķ,独特的游戏问题参数ķεδ是还原成X

容易验证(2)暗示(1)。但是,(2)的含义要大于(1):例如,假设有一天我们可以证明独特游戏猜想的一种变体,其中“ NP-complete”被“ GI- hard” 代替。然后,(2)暗示即X也GI-硬。(1)并不暗示这一点。这就是为什么有些人认为陈述(1)并不是陈述定理的最佳方式:(1)比实际证明的弱,而差异可能很重要。

尽管(2)是对所证明事实的更准确陈述,但显然是很详尽的。这就是为什么人们想出一个简写的原因:“问题X是UG-hard”是(2)的简写。


8
这似乎类似于以下两个语句:“(1)假设P!= NP,X没有多项式时间算法”,而“(2)X是NP难的”。(2)隐含(1),但(1)不隐含(2)。实际上,我们通常会证明(2),尽管我们经常说(1)来说明该证明对不熟悉NP硬度的人的重要性。
罗宾·科塔里

1
@TsuyoshiIto,您可以考虑接受自己的答案:)。实际上受到鼓励,这对于以后的Google员工来说是一个很好的参考。
Suresh Venkat 2012年

@Suresh:谢谢。我可能会,但是系统要求我在发布问题后等待48个小时才能接受自己的答案。
伊藤刚(Tsuyoshi Ito)

@TsuyoshiIto:啊,我没有意识到。听起来不错。
Suresh Venkat 2012年

@TsuyoshiIto:好明确的答案!抱歉,我没有按照您的要求回答其他问题:我忙于聚会,有些懒惰,有些根本不认为修订后的问题是一个问题。
Sasho Nikolov
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.