几乎总是几乎正确


11

我正在寻找一个与APX有关的复杂性类,而BPP与P有关。我已经在这里提出了同样的问题,但也许TCS将是一个更有成果的答案。

该问题的原因是,在实际问题中,人们经常需要以足够高的置信度(因此BPP)找到近似答案(因此APX),这将使有边界概率逼近算法的问题类别可能成为有用的可计算模型。实践。

此类的一个可能的候选者将是:那些带有有限概率子例程的近似解的问题;但是,我不确定这种类是否适合该类概率可计算的近似值。一种PXPP

BPP和APX都已被广泛研究。是还是这种情况,或者哪个类是捕获上述问题的最佳选择?一种PXPP


BPP和P是决策问题类。也许您应该先询问与BPP相对应的函数/搜索类,然后再进行近似计算,我认为如果我们具有函数/搜索类,则对其近似版本的定义应该不会很困难。
卡夫(Kaveh)2014年

1
我认为您正在寻找的是PAC(大概近似正确)学习的优化版本。PAC学习的理论专门针对(随机性,而且很可能具有正确性)描述数据的学习功能,就像在机器学习中一样,您正在询问优化问题。尽管如此,也许PAC学习文献还是一个开始寻找的好地方……
Joshua Grochow 2014年

3
您所描述的不是oracle表示法,而是更接近BP运算符。BP运算符是在决策问题的复杂性类别上定义的。将定义扩展到承诺问题并以这种方式定义复杂性类的承诺问题版本应该很容易。为优化问题定义版本可能会比较棘手。
2014年

Answers:


1

对于任何给定的目标函数,让BotL(最佳列表)为一种算法,该算法评估一组输入上的目标函数,并从该列表中返回一个具有最大输出(这些输入中的最大输出)的输入,并带有联系任意打破。 由于APX仅包含
可以在确定的多项式时间内计算目标函数的问题 ,因此BotL可以在多项式时间内确定性实现。此外,BotL返回的值
至少与评估BotL的任何输入一样好。特别是,
如果该列表中的任何输入足够好,那么BotL的输出就足够好。
因此,在基本算法的足够多的独立执行的输出上运行BotL可以将成功概率从1 / poly放大为1-(1 /(2 ^ poly))。

作为上一段的结果,精确的
置信度基本上不影响所得的类。
(这种情况与RP非常相似。)

尽管
本文提到的研讨会上可能有关于它的讨论,但我在复杂性动物园中找不到任何有关 它的信息。


1
OP要求提供具有随机常数因数近似算法的问题类别的名称。您是在说(我认为)可以提高此类算法的成功率。我看不到如何回答这个问题?
Sasho Nikolov 2014年

我在OP中看不到这个问题。 迈克尔在问这门课是否被“广泛研究了”。 诚然,我对此没有太多话要说,但是我确实(至少试图)解决了关于此类课程的误解。

在这个问题上没有这种误解。
Sasho Nikolov 2014年

对。 误解在于“此类可能的候选人可能是……概率可计算的近似值”。段落,在帖子中,但不是问题。

1
经过澄清,我仍然认为您的答案不是要纠正OP中的误解,而只是给出有关随机近似的任意事实。
Sasho Nikolov 2014年
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.