Preguntas etiquetadas con reference-request

El estudio de la representación sucinta de gráficos fue iniciado por Galperin y Wigderson en un artículo de 1983, donde demuestran que para muchos problemas simples como encontrar un triángulo en un gráfico, la versión sucinta correspondiente en -completa. Papadimitriou y Yanakkakis amplían esta línea de investigación, y demuestran que …

26 cc.complexity-theory  reference-request  complexity-classes 

¿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 

Considere el problema de cobertura de conjunto mínimo con las siguientes restricciones: cada conjunto contiene como máximo kkk elementos y cada elemento del universo se produce en la mayoría de los conjuntos fff . Ejemplo: el caso k = 4k=4k = 4 y F= 2f=2f = 2 es equivalente al …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

¿Es posible traducir una fórmula booleana B en una conjunción equivalente de cláusulas Horn? El artículo de Wikipedia sobre HornSAT parece implicar que lo es, pero no he podido perseguir ninguna referencia. Tenga en cuenta que no me refiero a "en tiempo polinómico", sino más bien "en absoluto".

26 reference-request  lo.logic  sat 

Según D. den Hertog, Enfoque de punto interior para la programación lineal, cuadrática y convexa, 1994 , un programa lineal con variables, n restricciones y precisión L se puede resolver en el tiempo O ( n 3 L ) . ¿Se ha mejorado eso?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Volumen III de Knuth de The Art of Computer Programming (capítulo 5, verso 3.2) incluye la siguiente tabla que enumera el exacto número mínimo de comparaciones requeridas para seleccionar el -ésimo elemento más pequeño de un conjunto sin ordenar de tamaño , para todos . Esta tabla, junto con las …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

El resultado por Robertson y Seymour demuestra un algoritmo para comprobar que es un gráfico fijo G es un menor de H . Tengo dos preguntas y media sobre este tema:O ( n3)O(norte3)O(n^3)solsolGHHH 1) Parece que ha habido mejoras en este algoritmo desde entonces. ¿Cuál es el algoritmo más conocido …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Lo que se sabe sobre la complejidad del siguiente problema: Dado: números racionales .x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n Salida: enteros .y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n Objetivo: minimizar donde∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j),e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Es decir, nos gustaría redondear los …

25 ds.algorithms  reference-request  optimization 

¿Hay alguna referencia que cubra esto?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

A la luz del resultado reciente de Arora, Barak y Steurer, Algoritmos subexponenciales para juegos únicos y problemas relacionados , me interesan los problemas de gráficos que tienen algoritmos de tiempo subexponenciales pero que no se pueden resolver polinomialmente. Un ejemplo famoso es isomorfismo gráfico que tiene algoritmo subexponencial de …

25 cc.complexity-theory  reference-request 

Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal referencia?

25 cc.complexity-theory  reference-request  big-list 

Sé que es indecidible determinar si un conjunto de fichas puede enlosar el plano, como resultado de que Berger usa fichas de Wang . Mi pregunta es si también se sabe que es indecidible determinar si un solo mosaico dado puede enlosar el plano, un mosaico monoédrico . Si esto …

24 reference-request  co.combinatorics  decidability  undecidability 

EDITAR (v2): se agregó una sección al final sobre lo que sé sobre el problema. EDITAR (v3): discusión agregada sobre el grado de umbral al final. Pregunta Esta pregunta es principalmente una solicitud de referencia. No sé mucho sobre el problema. Quiero saber si ha habido trabajo previo sobre este …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su complejidad. El problema es el siguiente. Instancia: un entero , …

24 cc.complexity-theory  ds.algorithms  reference-request 

Dados subconjuntos de .S 1 , ... , S n { 1 , ... , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Compruebe si hay conjuntos con . (Si es así, encuentre un ejemplo, si no, simplemente diga "no")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solución trivial a este problema pasa por todos los pares de conjuntos y …

24 ds.algorithms  reference-request