Mientras exploraba diferentes técnicas para probar límites más bajos para algoritmos distribuidos, se me ocurrió que la siguiente variante del teorema de Ramsey podría tener aplicaciones, si resulta ser cierto. Parámetros: se dan , , , y luego se elige para que sea lo suficientemente grande....
DLogTimeDLogTime\mathsf{DLogTime} yNLogTimeNLogTime\mathsf{NLogTime} son dos de las clases de complejidad más pequeñas que tenemos. (Tenga en cuenta que la jerarquía de tiempo logarítmicoLHLH\mathsf{LH} es igual aAC0AC0\mathsf{AC}^0 y estos son los dos primeros niveles deLHLH\mathsf{LH} ). Después...
Aquí está el problema: Tenemos un cuadrado con algunos números de 1..N en algunas celdas. Es necesario para determinar si se puede completar en un cuadrado mágico. Ejemplos: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ ¿Es este problema...
Sea una clase de gráficos con ancho de camarilla acotado. En cada gráfico en G se contraen algunos bordes (por ejemplo, al azar). ¿Ahora el ancho de la camarilla sigue limitado?solsolGsolsolG En caso de que (en general) ya no esté acotado, estaría muy interesado en un
Recientemente, estaba revisando una introducción a los algoritmos holográficos. Encontré algunos objetos combinatorios llamados Pfaffians. No sé mucho sobre eso en este momento y encontré algunos usos sorprendentes a los que se les puede dar. Por ejemplo, llegué a saber que se pueden usar para...
Mientras intentaba resolver un problema, terminé expresando parte de él como el siguiente programa lineal entero. Aquí son todos enteros positivos dados como parte de la entrada. Un subconjunto especificado de las variables se establece en cero, y el resto puede tomar valores integrales positivos:x...
Una observación asociada con la criptografía asimétrica es que algunas funciones son (se cree que son) fáciles de realizar en una dirección pero difíciles de invertir. Además, si existe alguna información de 'trampa' que permite que la operación inversa se calcule rápidamente, entonces el problema...
La teoría del compilador parece ser un tema bastante investigado. ¿Cuáles son algunos problemas abiertos o investigaciones actuales que están ocurriendo en el
La cubierta de vértices se puede reducir fácilmente a conjunto independiente y viceversa. Sin embargo, en el contexto de la complejidad parametrizada, el conjunto independiente es más difícil que Vertex Cover. Existe un kernel con vértices para Vertex Cover, pero Independent Set es W 1...
Encontré que los sistemas de transición etiquetados son un buen modelo para mi aplicación, es decir, hay un documento sobre modelos de casos de uso con LTS. La pregunta es, ¿qué se puede probar fácilmente sobre los LTS? Me gustaría reutilizar las soluciones existentes para ver si son útiles para mi...
Esto está relacionado con la pregunta general de " ¿Cómo arbitro un trabajo? ". Estoy revisando un documento para una conferencia, y este documento debe ser rechazado, porque no es lo suficientemente significativo para su publicación y tiene fallas en algunos de sus detalles técnicos. El documento...
Es bien sabido que existe un algoritmo óptimo para el peor de los casos para calcular el código Huffman en el tiempo . Esto se mejora de dos maneras ortogonales:θ(nlgn)θ(nlgn)\theta(n\lg n) Los códigos libres de prefijos óptimos se pueden calcular más rápido si el conjunto de frecuencias...
Los algoritmos genéticos evolucionan en menos generaciones con una población más grande, pero también tardan más en calcular una generación. ¿Existen algunas pautas para equilibrar esos dos factores, a fin de llegar a una solución viable lo antes posible? Además, ¿es este el mejor lugar para la...
He intentado la siguiente relajación LP de conjunto independiente máximo max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Obtengo 1/21/21/2 por cada variable por cada gráfico cúbico no bipartito que...
Suponiendo que NP! = CoNP, entonces no hay un certificado de tamaño polinómico para el problema de coNP completo. ¿Pero qué pasa con el certificado de tamaño subexponencial? Particularmente para coSAT, ¿hay una prueba de tamaño subexponencial para demostrar que una fórmula no es satisfactoria? Si...
Los parámetros fijos y la aproximación son enfoques totalmente diferentes para resolver problemas difíciles. Tienen motivaciones diferentes. La aproximación busca un resultado más rápido con una solución aproximada. El parámetro fijo busca una solución exacta con complejidad de tiempo en términos...
A lo que me refiero como contar es el problema que consiste en encontrar el número de soluciones para una función. Más precisamente, dada una función F: N→ { 0 , 1 }F:norte→{0 0,1}f:N\to \{0,1\} (no necesariamente caja negra), aproximada # { x ∈ N∣ f( x ) = 1 } = | F-...
Dadas denominaciones de monedas, con c 1 = 1 y c 2 < c 3 < . . < c n son números aleatorios distribuidos uniformemente en el rango [ 2 , N ] . Asintóticamente, ¿para qué fracción de monedas el algoritmo codicioso genera un cambio óptimo usando este conjunto de denominaciones?nortenortenC1=...
Estoy comenzando a investigar la posibilidad de confiar en un solucionador SAT para abordar un problema de optimización que me interesa, y actualmente estoy buscando una encuesta que presente ejemplos de transformaciones "inteligentes" a variantes de SAT (es decir, transformaciones que resultan en...
Cada vez que enseño NP-Completeness, los estudiantes preguntan "¿hay algún problema que se sepa que no pertenece a NP?" ¿Cómo responderías? Por lo general, les doy un problema indecidible como ejemplo, pero esto a menudo no resulta bien: (a) si les doy el problema de detención, piensan que es un...