Aproximación en tiempo subexponental

15

Hay estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo polinómico y algoritmos exactos en tiempo exponencial. ¿Existen estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo subexponencial de forma donde δ 2( 0 , 1 ) ?2nδ2δ2(0,1)

Estoy particularmente interesado en lo que se sabe acerca de los problemas aproximados de tiempo difícil a polinómico, como el número de independencia y el número de camarilla en tiempo subexponencial. Tenga en cuenta que ETH solo prohíbe el cálculo exacto en dicho período de tiempo. Digamos que el número de Independencia es en un gráfico con conteo de vértices | V | = 2 s ( n ) n para algunos 0 < r ( n ) < s ( n ) . Es un 2 ( rα(G)=2r(n)n|V|=2s(n)n0<r(n)<s(n) Esquema de aproximación del factor δ 1 posible para el número de Independencia en el tiempo 2 | V | δ 2 = 2 2 δ 2 s ( n ) n donde0< δ 1 <1y0< δ 2 <1son algunos reales positivos fijos?2(r(n)n)δ12|V|δ2=22δ2s(n)n0<δ1<10<δ2<1

Es decir, por cada ¿hay un δ 2( 0 , 1 ) tal que α ( G ) pueda aproximarse dentro de 2 log δ 1 2 ( α ( G ) ) = 2 ( r ( n ) n ) δ 1 factor en el tiempo 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 ....
fuente
¿realmente quiso pedir tiempo de ejecución sublineal en el número independiente?
Sasho Nikolov el
No, el tiempo de ejecución es sub-exponencial. Totalmente exponencial sería . Aquí el tiempo de ejecución es de forma 2 | V | δ 1 y aquí α ( 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 ....
Debería ser en el comentario anterior y tenemos α ( G ) < | V | < 2 | V | δ 2 < 2 | V | . δ2α(G)<|V|<2|V|δ2<2|V|
T ....
Creo que tuve errores tipográficos antes.
T ....
¿Está claro ahora?
T ....

Respuestas:

10

Un artículo que da respuesta a esta pregunta es Chalermsook, Laekhanukit y Nanongkai (2013) .

También hay trabajos relacionados en el contexto de la Tratabilidad de Parámetros Fijos, como Hajiaghayi, Khandekar y Kortsarz (2013) y Chitnis, Hajiaghayi, Kortsarz (2013) . Estos resultados de dureza se prueban bajo varios supuestos, como ETH o la existencia de PCP muy fuertes.

Igor Shinkar
fuente
1
arxiv.org/pdf/1308.2617v2.pdf dice "Para cualquier mayor que alguna constante, cualquier algoritmo de aproximación r para el problema de conjunto máximo independiente debe ejecutarse en al menos 2 n 1 - ϵ / r 1 + ϵ tiempo. Esto casi coincide con el límite superior de 2 n / r ". Entonces, la relación de aproximación r = 2 ( s ( n ) n ) δ 1 se puede lograr en 2 2 r ( n ) n -rr2n1ϵ/r1+ϵ2n/rr=2(s(n)n)δ1tiempo paraδ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))

RB
fuente