Estoy diseñando un lenguaje de programación funcional simple mecanografiado como una experiencia de aprendizaje. Parece que el sistema de tipos que he implementado hasta ahora podría (con un poco de trabajo extra) incorporar tipos de intersección y unión, por ejemplo, podría tener: <Union...
He estado trabajando para introducir algunos resultados de la complejidad computacional en la biología teórica, especialmente la evolución y la ecología , con el objetivo de ser interesante / útil para los biólogos. Una de las mayores dificultades que he enfrentado es justificar la utilidad del...
todo el mundo sabe que existen muchos problemas de decisión que son NP-hard en gráficos generales, pero estoy interesado en problemas que son incluso NP-hard cuando el gráfico subyacente es un camino. Entonces, ¿me pueden ayudar a resolver esos problemas? Ya he encontrado una pregunta relacionada...
Muchos problemas de gráficos algorítmicos se pueden resolver en tiempo polinómico tanto en gráficos no ponderados como ponderados. Algunos ejemplos son la ruta más corta, el árbol de expansión mínimo, la ruta más larga (en gráficos acíclicos dirigidos), flujo máximo, corte mínimo, coincidencia...
Esta es una especie de pregunta abierta, por lo que me disculpo de antemano. ¿Hay ejemplos de afirmaciones que (aparentemente) no tienen nada que ver con la complejidad o las máquinas de Turing, pero la respuesta implicaría ?P≠NPP≠NP\mathbf{P}\neq
Siguiendo con una pregunta anterior , ¿Cuáles son los mejores límites inferiores del espacio actual para SAT? Con un límite inferior de espacio, me refiero al número de celdas de cintas de trabajo utilizadas por una máquina de Turing que utiliza un alfabeto binario de cintas de trabajo. Un...
En el artículo "LA COMPLEJIDAD DE LOS PROBLEMAS DE SATISFIABILIDAD" de Thomas J. Schaefer, el autor ha mencionado que This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses,...
He leído que inicialmente Church propuso el cálculo como parte de su artículo Postulados de lógica (que es una lectura densa). Pero Kleene demostró que su "sistema" era inconsistente, después de lo cual Church extrajo cosas relevantes para su trabajo sobre "computabilidad efectiva" y abandonó su...
Para los algoritmos aleatorios AA\mathcal{A} toman valores reales, el "truco mediano" es una forma simple de reducir la probabilidad de falla a cualquier umbral δ>0δ>0\delta > 0 , a costa de solo un multiplicativo t=O(log1δ)t=O(log1δ)t=O(\log\frac{1}{\delta})sobrecarga. A saber, si...
Estaba leyendo el artículo de Andrej Bauer, Primeros pasos en la teoría sintética de la computabilidad . En la conclusión, señala que Nuestra axiomatización tiene su límite: no puede probar ningún resultado en la teoría de computabilidad que no se relativice con los cálculos de oráculo. Esto es...
En este hilo , la prueba de intentada por Norbet Blum se refuta sucintamente al señalar que la función de Tardos es un contraejemplo del Teorema 6.P≠NPP≠NPP \neq NP Teorema 6 : Sea cualquier función booleana monótona. Suponga que hay un aproximador CNF-DNF A que se puede usar para probar un límite...
Deje que las variables sean . La distancia entre dos variables se define como. La distancia entre dos literales es la distancia entre las dos variables correspondientes. d ( x a , x b ) = | a - b |x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) =...
¿Existe una buena encuesta que compare diferentes extractores, concentradores y superconcentradores y exponga los mejores métodos en términos de compensación entre aleatoriedad, tiempo y espacio?
Una prueba de separación de clase de complejidad utiliza la uniformidad de las clases de complejidad esencialmente si la prueba no prueba el resultado para una versión no uniforme, por ejemplo, las pruebas basadas en la diagonalización (como los teoremas de jerarquía de tiempo y espacio) hacen un...
Sabemos mucho sobre las limitaciones de los circuitos de profundidad constante (tamaño polinómico). Dado que las fórmulas (de tamaño polinómico) de profundidad constante son un modelo de cálculo aún más restringido, todos los problemas que se sabe que no están en AC 0 tampoco son computables por...
¿Qué diferencias interesantes hay entre la teoría y la práctica de la seguridad y la criptografía? Por supuesto, lo más interesante serán ejemplos que sugieran nuevas vías para la investigación teórica basada en la experiencia práctica :). Las respuestas pueden incluir (pero no están limitadas...
Si es una función convexa, la desigualdad de Jensen establece que , y mutatis mutandis cuando es cóncava. Claramente, en el peor de los casos, no puede el límite superior en términos de para una convexa , pero ¿hay un límite que vaya en esta dirección si es convexo pero "no demasiado convexo"?...
Ya publiqué esta pregunta hace un tiempo en MathOverflow , pero que yo sepa, todavía está abierta, así que la vuelvo a publicar aquí con la esperanza de que alguien haya oído hablar de ella. Planteamiento del problema Supongamos que , y son tres particiones en partes no vacías (denotadas por 's,...
¿Alguien podría señalar uno o más sitios web donde sea posible descargar una implementación funcional de un solucionador #SAT? Estoy interesado en aquellos que devuelven el recuento exacto de la solución, no una
¿Es BQP igual a BPP con acceso a un oráculo de subgrupos ocultos