次指数时间的近似值


15

对多项式时间中NP完全问题的近似算法和指数时间中的精确算法进行了研究。有没有关于形式的子指数时间近似算法NP完全问题研究2nδ2,其中?δ2∈(0,1)

我对难于多项式时间的近似问题(例如次指数时间内的独立数和集团数)的已知情况特别感兴趣?注意,ETH仅禁止在这样的时间范围内进行精确计算。假设在某个顶点数为对于一些独立数是。对于时间是否可能有因子近似方案其中和是一些固定的正实数?α(G)=2r(n)n|V|=2s(n)n0<r(n)<s(n)2(r(n)n)δ12|V|δ2=22δ2s(n)n0<δ1<10<δ2<1

也就是说,每个都有一个这样可以在δ1∈(0,1)δ2∈(0,1)α(G)因子在时间 2 | V | δ 2 = 2 2 δ 2小号(Ñ )ñ?2log2δ1⁡(α(G))=2(r(n)n)δ12|V|δ2=22δ2s(n)n


您实际上是要问独立数字中的亚线性运行时间吗?
— Sasho Nikolov

不,运行时间是指数级的。完全指数为。在这里,运行时间的格式为2 | V | δ 1和这里α (G ^ )= 2 - [R (Ñ )ñ = | V | r (n )2|V|2|V|δ1。α(G)=2r(n)n=|V|r(n)s(n)<|V|=2s(n)n
— T ....

它应该是在以前的评论,我们有α (摹)< | V | < 2 | V | δ 2 < 2 | V | 。δ2α(G)<|V|<2|V|δ2<2|V|
— T ....

我想我以前有错别字。
— T ....

现在清除了吗?
— T ....

Answers:


10

Chalermsook,Laekhanukit,&Nanongkai(2013)就是一个可以回答这个问题的论文。

在固定参数可操作性方面也有相关工作,例如 Hajiaghayi,Khandekar和Kortsarz(2013)和Chitnis,Hajiaghayi,Kortsarz(2013)。这些硬度结果在各种假设(例如ETH或存在非常强的PCP)下得到了证明。


1
arxiv.org/pdf/1308.2617v2.pdf说“对于任何比一些常数大,任何ř近似算法用于最大独立集问题必须至少在运行2 Ñ 1 - ε / [R 1 + ε。时间这几乎匹配2 n / r “ 的上限。所以近似比[R = 2 (小号(Ñ )ñ )δ 1可以在实现2 2 - [R (Ñ )ñ -rr2n1−ϵ/r1+ϵ2n/rr=2(s(n)n)δ1时间对于某些δ2>1- (小号(Ñ))δ1ñδ1-122[R(ñ)ñ-(s(ñ)ñ)δ1个=221个-(s(ñ)ñ)δ1个[R(ñ)ñ[R(ñ)ñ=22δ2[R(ñ)ñ?δ2>1个-(s(ñ))δ1个ñδ1个-1个[R(ñ)
— Ť....

3

您有许多(固定参数逼近)算法,对于这些算法,亚线性参数会转换为输入长度内的次指数时间。FP一种

例如,对于某些k = n c(其中c < 1),近似长度为的简单路径的数目将使您的运行时间为:ķķ=ñCC<1个

Ø((2Ë)ñC⋅2pØ升ÿ升ØG(ñ))

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.