Approximation en temps sous-exponentiel

15

Il existe des études sur les algorithmes d'approximation pour les problèmes NP complets en temps polynomial et les algorithmes exacts en temps exponentiel. Existe-t-il des études sur les algorithmes d'approximation des problèmes NP complets en temps sous-exponentiel de forme δ 2( 0 , 1 ) ?2nδ2δ2(0,1)

Je suis particulièrement intéressé par ce que l'on sait des problèmes approximatifs de temps difficile à polynomial tels que le nombre d'indépendance et le nombre de clique en temps sous-exponentiel Notez que ETH interdit uniquement le calcul exact dans un tel laps de temps. Disons que le nombre d'indépendance est sur un graphique avec le nombre de sommets | V | = 2 s ( n ) n pour quelque 0 < r ( n ) < s ( n ) . Est un 2 ( rα(G)=2r(n)n|V|=2s(n)n0<r(n)<s(n) Schéma d'approximation des facteurs δ 1 possible pour le nombre d'indépendance dans le temps 2 | V | δ 2 = 2 2 δ 2 s ( n ) n0< δ 1 <1et0< δ 2 <1sont des réels positifs fixes?2(r(n)n)δ12|V|δ2=22δ2s(n)n0<δ1<10<δ2<1

Cela est pour chaque est - il un δ 2( 0 , 1 ) de telle sorte que α ( G ) peut être approchée à l'intérieur de 2 log δ 1 2 ( α ( G ) ) = 2 ( r ( n ) n ) δ 1 facteur dans le temps 2 | V | δ 2 = 2δ1(0,1)δ2(0,1)α(G)2log2δ1(α(G))=2(r(n)n)δ1 ?2|V|δ2=22δ2s(n)n

T ....
la source
vouliez-vous réellement demander un temps d'exécution sublinéaire dans le nombre indépendant?
Sasho Nikolov
Non, le temps d'exécution est sous-exponentiel. Entièrement exponentielle serait . Ici le temps de course est de forme 2 | V | δ 1 et ici α ( G ) = 2 r ( n ) n = | V | r ( n )2|V|2|V|δ1. α(G)=2r(n)n=|V|r(n)s(n)<|V|=2s(n)n
T ....
Il devrait être dans le commentaire précédent et nous avons α ( G ) < | V | < 2 | V | δ 2 < 2 | V | . δ2α(G)<|V|<2|V|δ2<2|V|
T ....
Je pense que j'avais des fautes de frappe avant.
T ....
Est-ce clair maintenant?
T ....

Réponses:

10

Chalermsook, Laekhanukit et Nanongkai (2013) sont un article qui donne une réponse à cette question .

Il existe également des travaux connexes dans le contexte de la tractabilité à paramètres fixes tels que Hajiaghayi, Khandekar et Kortsarz (2013) et Chitnis, Hajiaghayi, Kortsarz (2013) . Ces résultats de dureté sont prouvés sous diverses hypothèses telles que l'ETH ou l'existence de PCP très forts.

Igor Shinkar
la source
1
arxiv.org/pdf/1308.2617v2.pdf dit "Pour tout supérieur à une constante, tout algorithme d'approximation r pour le problème d'ensemble indépendant maximum doit s'exécuter dans au moins 2 n 1 - ϵ / r 1 + ϵ temps. correspond à la limite supérieure de 2 n / r ". Donc, le rapport d'approximation r = 2 ( s ( n ) n ) δ 1 peut être atteint dans 2 2 r ( n ) n -rr2n1ϵ/r1+ϵ2n/rr=2(s(n)n)δ1temps pour certainsδ2>1-(s(n))δ1nδ1-122r(n)n(s(n)n)δ1=221(s(n)n)δ1r(n)nr(n)n=22δ2r(n)nδ2>1(s(n))δ1nδ11r(n)
3

FPA

kk=ncc<1

O((2e)nc2polylog(n)).

R B
la source