Preguntas etiquetadas con approximation-hardness

La pregunta que se hace es si la siguiente pregunta es decidible: Problema Dado que un entero máquina de Turing prometieron estar en P, ¿el tiempo de ejecución de con respecto a la longitud de entrada ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn Una respuesta estrecha de "sí", …

64 cc.complexity-theory  approximation-hardness 

La codicia, por falta de una palabra mejor, es buena. Uno de los primeros paradigmas algorítmicos enseñados en el curso introductorio de algoritmos es el enfoque codicioso . El enfoque codicioso da como resultado algoritmos simples e intuitivos para muchos problemas en P. Más interesante, para algunos problemas NP-difíciles, el …

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

Una aplicación importante del teorema de PCP es que produce resultados de tipo "dureza de aproximación". En algunos casos relativamente más simples, se puede demostrar tal dureza sin PCP. Sin embargo, ¿existe algún caso en el que el resultado de la dureza de la aproximación se haya probado por primera …

36 cc.complexity-theory  approximation-hardness  pcp 

Dos de los supuestos comunes para probar la dureza de los resultados de aproximación son y Unique Games Conjecture. ¿Hay alguna dureza de los resultados de aproximación suponiendo N P ≠ c o N P ? Estoy buscando el problema A tal que "es difícil aproximar A dentro de un …

32 approximation-hardness  conditional-results 

En esta pregunta, una fórmula 3CNF significa una fórmula CNF donde cada cláusula involucra exactamente tres variables distintas . Para una constante 0 < s <1, Gap-3SAT s es el siguiente problema prometedor: Gap-3SAT s Instancia : fórmula φ A 3CNF. Sí, prometo : φ es satisfactoria. Sin promesa : …

32 cc.complexity-theory  sat  approximation-hardness 

Supongamos que atenuamos el problema de contar las coloraciones adecuadas contando las coloraciones ponderadas de la siguiente manera: cada coloración adecuada obtiene el peso 1 y cada coloración incorrecta obtiene el peso donde es algo constante y es el número de aristas con puntos finales coloreados de la misma manera. …

26 graph-theory  approximation-algorithms  approximation-hardness  counting-complexity  graph-colouring 

¿Conoces alguna wiki actualizada dedicada a problemas de optimización de NP con su mejor resultado de aproximación y dureza? Según los comentarios, parece seguro asumir que no existe dicho recurso (consulte el final de esta pregunta para conocer dos opciones cercanas). - agregado el 8 de febrero. Dado que hay …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Existe una rica literatura y al menos un libro muy bueno que establece la dureza conocida de los resultados de aproximación para problemas NP-duros en el contexto de error multiplicativo (por ejemplo, la aproximación 2 para la cobertura de vértices es óptima suponiendo UGC). Esto también incluye clases de complejidad …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Hay muchos resultados de inaplicabilidad que se basan en la conjetura de los juegos únicos. Por ejemplo, Suponiendo la conjetura de los juegos únicos, es NP-difícil aproximar el problema de corte máximo dentro de un factor R para cualquier constante R > R GW . (Aquí R GW = 0.878 …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

En 1999, Petra Schuurman y Gerhard J. Woeginger publicaron el documento "Algoritmos de aproximación del tiempo polinómico para la programación de máquinas: diez problemas abiertos" . Desde entonces, que yo sepa, no han aparecido revisiones que conciernen a la misma lista de problemas. Por lo tanto, sería genial y útil …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

Supongamos que tenemos un problema parametrizado por un parámetro de valor real p que es "fácil" de resolver cuando y "difícil" cuando para algunos valores , . p = p 1 p 0 p 1p = p0 0p=p0p=p_0p = p1p=p1p=p_1pag0 0p0p_0pag1p1p_1 Un ejemplo es contar configuraciones de giro en gráficos. …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Existe una teoría de aproximación estándar donde la relación de aproximación es supAOPTsupAOPT\sup\frac{A}{OPT} (para problemas conobjetivosMINMINMIN),AAA- el valor devuelto por algún algoritmoAAAyOPTOPTOPT- un valor óptimo. Y otra teoría, la deaproximación diferencialdonde la relación de aproximación esinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT} ,- el peor valor de una solución factible para la instancia dada. Losautoresde esta …

16 ds.algorithms  approximation-algorithms  approximation-hardness 

Antecedentes : En el documento UGC original de Subhash Khot ( PDF ), demuestra la dureza de UG de decidir si una instancia de CSP dada con restricciones toda la forma No todo igual (a, b, c) sobre un alfabeto ternario admite una tarea satisfactoria 1 - de las restricciones …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Supongamos que se nos da un conjunto de n variables booleanas x_1, ..., x_n y un conjunto de funciones m y_1 ... y_m donde cada y_i es el XOR de un subconjunto (dado) de estas variables. El objetivo es calcular el número mínimo de operaciones XOR que necesita realizar para …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

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δ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Estoy particularmente interesado en …

15 approximation-algorithms  approximation-hardness