Me pregunto si hay alguna justificación para creer que o para creer que ?N L ≠ LnorteL = LNL=LNL=LnorteL ≠ LNL≠LNL\neq L Se sabe que . La literatura sobre derandomization de es bastante convincente de que . ¿Alguien sabe acerca de algunos artículos o ideas convincentes que ? R L R L = L N L ≠...
Estoy considerando clases de gráficos que pueden caracterizarse por subgrafos prohibidos. Si una clase de gráfico tiene un conjunto finito de subgrafos prohibidos, entonces hay un algoritmo de reconocimiento de tiempo polinómico trivial (uno puede usar la fuerza bruta). Pero una familia infinita...
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
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...
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...
Esta pregunta es un seguimiento de la pregunta sobre los algoritmos de ADN formulada por Aadita Mehra . En los comentarios allí, Joe Fitzsimmons dijo, en parte: [E] l radio del sistema debe escalar proporcionalmente a la masa para evitar esto. El poder computacional se escala a lo sumo...
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,...
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 La complejidad computacional de la óptica lineal ( ECCC TR10-170 ), Scott Aaronson y Alex Arkhipov argumentan que si las computadoras cuánticas pueden ser simuladas eficientemente por las computadoras clásicas, entonces la jerarquía polinómica se colapsa al tercer nivel. El problema motivador es...
En un juego de defensa de la torre, tienes una grilla NxM con un inicio, un final y una serie de paredes. Los enemigos toman el camino más corto de principio a fin sin atravesar ninguna pared (generalmente no están limitados a la cuadrícula, pero por simplicidad, digamos que lo están. En...
Para verificar mi comprensión, me gustaría compartir algunas ideas sobre los requisitos de energía de la computación. Este es un seguimiento de mi pregunta anterior y podría estar relacionado con la pregunta de Vinay sobre las leyes de conservación . Se me ocurrió que, desde un punto de vista...
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 ... es la...
Estoy buscando una referencia para el siguiente resultado: Agregar dos enteros en la representación factorizada es tan difícil como factorizar dos enteros en la representación binaria habitual. (Estoy bastante seguro de que está ahí afuera porque esto es algo que me había preguntado en algún...
Estaba leyendo " ¿Es P versus NP formalmente independiente? ", Pero me desconcertó. Se cree ampliamente en la teoría de la complejidad que . Mi pregunta es sobre qué pasa si esto no es demostrable (digamos en ). (Supongamos que solo descubrimos que es independiente de pero no hay más información...
¿Hay un ejemplo de un problema natural que está en BPP pero que no se sabe que está en RP o
(Von Neumann dio un algoritmo que simula que una moneda justa tiene acceso a monedas sesgadas idénticas. El algoritmo potencialmente requiere un número infinito de monedas (aunque en expectativa, muchas son suficientes). Esta pregunta se refiere al caso cuando el número de lanzamientos de monedas...
Preámbulo Goldwasser, Micali y Rackoff y Babai introdujeron sistemas de prueba interactivos y protocolos Arthur-Merlin en 1985. Al principio, se pensó que el primero es más poderoso que el segundo, pero Goldwasser y Sipser demostraron que tienen el mismo poder ( con respecto al reconocimiento del...
Motivado por la respuesta de Shor relacionada con diferentes nociones de integridad de NP, estoy buscando un problema que es NP completo bajo las reducciones de P pero no se sabe que es NP completo bajo las reducciones de Logspace (preferiblemente durante mucho tiempo). Además, ¿es más difícil...
Inspirado por la pregunta de factoraje conocido como P-hard , me pregunto cuál es el estado actual de conocimiento similar sobre la dureza del isomorfismo gráfico. Estoy seguro de que actualmente no se sabe si GI está en P, pero: ¿Cuál es la clase más grande actualmente conocida que GI es más...
Digamos que tenemos un problema de cálculo, por ejemplo, 3-SAT, que tiene un conjunto de instancias de problemas (posibles entradas) . Normalmente en el análisis de algoritmos o teoría de la complejidad computacional, tenemos algunos conjuntos de todas las entradas de longitud , y una función que...