¿Hay una secuencia de gráficos no dirigidos , donde cada C n tiene exactamente n vértices y el problema{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Dado y un gráfico G , ¿es C n un subgrafo inducido de G ?nnnGGGCnCnC_nGGG se sabe que está en la clase ? (Por ejemplo, cuando C n = K n , este...
La famosa conjetura del isomorfismo de Berman y Hartmanis dice que todos los lenguajes completos son polinomiales en tiempo isomorfo (p-isomorfo) entre sí. El significado clave de la conjetura es que implica . Fue publicado en 1977, y una evidencia de apoyo fue que todos los completos de conocidos...
El problema de detención para las máquinas de Turing es quizás el conjunto canónico indecidible. Sin embargo, demostramos que hay un algoritmo que decide casi todas las instancias del mismo. Por lo tanto, el problema de detención se encuentra entre la creciente colección de quienes exhiben el...
Estoy interesado en el siguiente problema: Dada una matriz , ¿hay un gráfico no dirigido en n vértices cuya matriz de adyacencia al cuadrado es esa matriz?n×nn×nn\times nnnn ¿Se conoce la complejidad computacional de este problema? Observaciones: Por supuesto, esto también puede expresarse como...
En la descripción oficial del problema de Clay para P versus NP se afirma que se seguiría mostrando que "cada lenguaje en E [la clase de idiomas reconocibles en tiempo exponencial con una máquina de Turing determinista] puede ser calculado por una familia de circuitos booleanos < B n > tal...
Estoy interesado en aprender conexiones entre el "caos" o, más ampliamente, los sistemas dinámicos y la pregunta Aquí hay un ejemplo del tipo de literatura que estoy buscando:PAG= NPAGPAG=nortePAGP{=}NP Ercsey-Ravasz, Mária y Zoltán Toroczkai. "La dureza de la optimización como caos transitorio...
¿Hay algún problema completo de NP sin un subconjunto infinito de instancias tal manera que la membresía en se pueda decidir en tiempo polinómico, y para todos , se pueda resolver en tiempo polinómico? (Suponiendo )Φ x ∈ Φ x P ≠ N PΦΦ\PhiΦΦ\Phix ∈ Φx∈Φx \in \PhiXxxPAG≠ NPAGP≠NPP \neq...
¿Existe algún proyecto en curso para verificar formalmente los teoremas y las pruebas de la teoría de la complejidad utilizando un asistente de pruebas como Coq? ¿Hay límites para hacer
Suponga que se le da un gráfico H, simple, conectado y no dirigido. El problema del corte sin H se define de la siguiente manera: Dado un gráfico simple, no dirigido G, ¿hay un corte (partición de vértices en dos conjuntos no vacíos, L, R) de tal manera que los gráficos inducidos por los...
Por lo general, los algoritmos eficientes tienen un tiempo de ejecución polinómico y un espacio de solución exponencialmente grande. Esto significa que el problema debe ser fácil en dos sentidos: primero, el problema puede resolverse en un número polinómico de pasos y, en segundo lugar, el espacio...
Es bien sabido que el conjunto de lenguajes que tienen sistemas de prueba interactivos de dos probadores, en los que el verificador se ejecuta en tiempo polinómico (MIP), es NEXP. ¿Pero hay límites conocidos en el poder de tales pruebas interactivas cuando los probadores tienen un poder...
En el "último párrafo" de la "primera página" del siguiente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Si NP tiene circuitos de tamaño polinómico, entonces MA = AM", Ciencias de la computación teóricas, 1995. Encontré una afirmación algo contraintuitiva:...
Encontré el libro Pairwise Independence and Derandomization sobre el tema, pero está más orientado a la investigación que al tutorial. Soy nuevo en el tema de "Desrandomización" y, como tal, quería saber de qué referencia comenzar. Prefiero uno que discuta literatura e historia, así como los...
Deje 0≤p≤10≤p≤10\le p\le 1 y considere el problema de decisión CLIQUE p de entrada: número entero s , gráfico G con t vértices y bordes Pregunta: no contiene un clique sobre al menos vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Una instancia de CLIQUE contiene una...
Se dice que una distribución ϵ -engaña una función f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Y se dice que engaña a una clase de funciones si engaña a todas las funciones de esa clase. Se sabe que la varepsilon espacios -biased engañar a la clase de las paridades sobre subconjuntos....
Según tengo entendido, todos saben que las reglas de pivote deterministas para algoritmos simplex tienen entradas específicas en las que el algoritmo requiere tiempo exponencial (o al menos no polinomial) para encontrar el óptimo. Llamemos a estas instancias 'patológicas' ya que generalmente (es...
Es fácil ver que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( P ). Muchos algoritmos de espacio de registro conocidos (por ejemplo: conectividad st no dirigida, isomorfismo de gráfico plano) se ejecutan en O (...
Estoy tratando de averiguar si hay resultados generales o ejemplos sobre la completitud NP del problema de encontrar una segunda solución a un problema NP-completo. Más precisamente, estoy interesado en cualquier problema de la siguiente forma: Dada una solución a una instancia I de un problema...
He estado tratando de leer " Diseño de Algoritmo Funcional de Perlas " y, posteriormente, " El Álgebra de la Programación ", y existe una correspondencia obvia entre los tipos de datos definidos recursivamente (y polinomialmente) y los objetos combinatorios, que tienen la misma definición recursiva...
Como es bien sabido, PARITY no se puede hacer en circuitos de profundidad constante de tamaño polivinílico, y de hecho, los circuitos const-dept requieren un número EXP de compuertas. ¿Qué pasa con los circuitos QUANTUM? a) ¿Se puede hacer PARITY con un circuito cuántico que tiene una profundidad...