Preguntas etiquetadas con approximation-hardness

Muchos aquí probablemente estén al tanto de los límites inferiores súper lineales recientes de Alon para redes en un entorno geométrico natural [PDF] . Me gustaría saber qué implica, en todo caso, un límite inferior acerca de la aproximación de los problemas asociados de Set Cover / Hitting Set. ϵϵ\epsilon …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Estoy estudiando la Conjetura de juegos únicos y la famosa reducción a Max-Cut de Khot et al. Desde su artículo y en otras partes de Internet, la mayoría de los autores usan (lo que para mí es) una equivalencia implícita entre la reducción MAX-CUT y la construcción de pruebas particulares …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

Considere el problema clásico # P-complete # 3SAT, es decir, contar el número de valoraciones para hacer que un 3CNF con nnn variables sea satisfactoria. Estoy interesado en la aproximabilidad aditiva . Claramente, hay un algoritmo trivial para lograr2n−12n−12^{n-1}error 2 n - 1 , pero sik&lt;2n−1k&lt;2n−1k<2^{n-1} , ¿es posible tener …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

En el problema de la camarilla plantada, uno debe recuperar una kkk camarilla plantada en un gráfico aleatorio Erdos-Renyi ( n , p )G(n,p)sol(norte,pags)G(n,p) . Esto se ha visto principalmente para p=12pags=12p=\frac{1}{2} , en cuyo caso se sabe que puede resolverse en tiempo polinómico sik&gt;n−−√k&gt;nortek > \sqrt{n} y conjeturado duro …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Dada una …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

En el problema de Max-Cut , se busca un subconjunto S de vértices de un gráfico simple no dirigido dado de modo que el número de aristas entre S y el complemento de S sea lo más grande posible. Max-Cut es APX-complete en gráficos de grado acotado [PY91], y de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Estoy tratando de mostrar que un cierto problema no es posible por una reducción de la cobertura establecida. Mi reducción transforma una instancia con conjuntos de tierra de conjuntos de tamaño nnn y mmm en una instancia de mi problema donde un determinado parámetro rrr es de tamaño O(n+m)O(n+m)O(n+m) . …

9 cc.complexity-theory  approximation-hardness  set-cover 

Me pregunto si el siguiente problema tiene un nombre o algún resultado relacionado con él. Sea un gráfico ponderado donde denota el peso del borde entre y , y para todos , . El problema es encontrar un subconjunto de vértices que maximice la suma de los pesos de los …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Suponga que para un problema de minimización dado con solo soluciones enteras, es difícil decidir si la solución óptima es 5 o 6. Es decir, un algoritmo de tiempo polinomial con una relación de aproximación mejor que 6/5 implicaría .nortePAGSnortePAGSNPPAGS= NPAGSPAGS=nortePAGSP=NP 1) ¿Esto implica que el problema es -duro también?A …

8 cc.complexity-theory  np-hardness  approximation-hardness  apx 

Por "bueno", quiero decir que el algoritmo proporciona un límite relativamente estrecho o tiene un tiempo de ejecución relativamente rápido. Cualquier referencia es bienvenida.

8 ds.algorithms  np-hardness  approximation-algorithms  approximation-hardness  subset-sum 

Esta es una pregunta algo subjetiva. Estoy interesado en estudiar la literatura sobre resultados de corte de flujo de productos múltiples, especialmente los resultados 'positivos' que muestran que el flujo es una buena aproximación al corte (digamos, dentro de un factor que es constante o polilogarítmico en el número de …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow 

El problema de optimización de CSP es resistente a la aproximación si es difícil de superar el factor de aproximación de una asignación aleatoria. Por ejemplo, MAX 3-LIN es resistente a la aproximación ya que una asignación aleatoria satisface fracción de las ecuaciones lineales, pero lograr un factor de aproximación …

8 cc.complexity-theory  approximation-hardness  max-cut 

Tengo algunas preguntas sobre la conjetura de Quantum PCP: ¿Cuál es la declaración de la conjetura de PCP cuántica? ¿Qué implicaciones tendría el teorema de PCP Quantum para la simulación de hamiltonianos? ¿Se cree que la adopción de la prueba de Irit Dinur del teorema clásico de PCP puede conducir …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

Tratar de encontrar la solución óptima para WEIGHTED-MAX-3SAT, la versión ponderada del problema de optimización 3-SAT, es NP-hard. De hecho, incluso aproximar la versión no ponderada de MAX-SAT arbitrariamente es probablemente NP-duro por el teorema de PCP. Un algoritmo canónico para aproximar WEIGHTED-MAX-3SAT es MAX-WalkSAT. Al mirar alrededor, encontré información …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness