Esta pregunta trata sobre la lógica proposicional y todos los casos de "resolución" deben leerse como "resolución proposicional". Esta pregunta es algo extremadamente básico, pero me ha estado molestando por un tiempo. Veo personas afirmar que la resolución proposicional está completa, pero...
Se sabe que minimizar el tamaño de una expresión regular es completo para PSPACE, incluso si tenemos un DFA como la especificación del lenguaje . ¿Cuáles son los resultados si el idioma es finito? Uno puede considerar este problema en dos modelos: La entrada es todas las cadenas en el idioma,...
Esperaba que alguien pudiera explicarme por qué exactamente el problema del producto del subconjunto es fuertemente NP-duro, mientras que el problema de la suma del subconjunto es débilmente NP-duro. Subconjunto Suma: Dada y , ¿existe un subconjunto tal que .X= { x1, . . . ,
Se ha realizado un trabajo fantástico en lo Permanente durante las últimas dos décadas. Me he estado preguntando por un tiempo sobre la posibilidad de un algoritmo Smooth P para el Permanente de Matrices No Negativas. Por supuesto, existe el famoso algoritmo JSV, pero este es un fpras. Pensando en...
Se me da como entrada un DAG de vértices donde cada vértice se etiqueta adicionalmente con algo de .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Un tipo topológico de es una biyección desde los vértices de a tal que para todos , , si hay una ruta de a...
¿Hay alguna forma natural de entender la esencia de la semántica relacional para el polimorfismo paramétrico? Acabo de empezar a leer sobre la noción de parametricidad relacional, a la manera de "Tipos, abstracción y polimorfismo paramétrico" de John Reynolds, y tengo problemas para entender cómo...
Hay estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo polinómico y algoritmos exactos en tiempo exponencial. ¿Existen estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo subexponencial de forma donde δ 2 ∈ ( 0 , 1 )...
Esto está escrito en la entrada wiki de Ejecución simbólica , pero no puedo encontrar ninguna referencia para ello. ¿Alguien puede mostrarme un puntero?
Los esfuerzos de verificación del compilador a menudo se reducen a demostrar que el compilador es completamente abstracto: que conserva y refleja las equivalencias (contextuales). En lugar de proporcionar pruebas de abstracción completas, algunos trabajos de verificación de compiladores recientes...
El isomorfismo gráfico ( ) es un buen candidato para el intermedio . : existen problemas intermedios a menos que . Estoy buscando un problema natural que sea difícil para bajo la reducción de Karp (un problema de gráfico tal que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI<mpXGI<pmXGI...
Una forma de demostrar que verificar la viabilidad de un sistema lineal de desigualdades es tan difícil como la programación lineal es a través de la reducción dada por el método elipsoide. Una forma aún más fácil es adivinar la solución óptima e introducirla como una restricción a través de la...
Cuando se nos da una descomposición de árbol de un gráfico con ancho w , hay varias formas en que podemos hacer que sea "agradable". En particular, se sabe que es posible transformarlo en una descomposición del árbol donde el árbol es binario y su altura es O ( log n ) . Esto se puede lograr...
Decimos que una máquina de Turing es mortal si detiene para cada configuración inicial (en particular, el contenido de la cinta y el estado inicial pueden ser arbitrarios). ¿Cada lenguaje recursivo es reconocido por una máquina de Turing mortal? (es decir, si hay una TM que acepta , también hay una...
Hay muchas situaciones en las que una "prueba" aleatorizada es mucho más fácil que una prueba determinista, siendo el ejemplo canónico la prueba de identidad polinómica. Pregunta : ¿Hay algún "teorema" matemático natural donde se conozca una prueba aleatoria pero no una prueba determinista? Por...
Pregunta corta ¿Cuál es el poder computacional de los circuitos "cuánticos", si permitimos puertas no unitarias (pero aún invertibles), y requerimos que la salida dé la respuesta correcta con certeza? Esta pregunta es, en cierto sentido, sobre lo que le sucede a la clase cuando permite que los...
Me gustaría pedir sugerencias de buenos textos que introduzcan la complejidad del circuito. Cualquier sugerencia sobre avances recientes y problemas abiertos en este campo también sería
Uno de los problemas abiertos interesantes sobre los DFA enumerados en ¿Hay algún problema abierto sobre los DFA? es el tamaño de un DFA requerido para separar dos cadenas de longitud nnn . Tengo curiosidad por saber si hay resultados sobre la capacidad de un DFA aleatorio para separar dos cadenas...
En lugar de evidencia empírica, ¿con qué principios formales hemos demostrado que la computación cuántica será más rápida que la computación tradicional /
¿Qué sucede si definimos P P A D dePPAD{\bf PPAD} tal manera que, en lugar de un circuito de polimerización de Turing-máquina / polisize, una máquina de Turing de espacio de registro o un circuito A C 0AC0{\bf AC^0} codifique el problema? Recientemente dando algoritmos más rápidos para...
Cada circuito aritmético monótono , es decir, un circuito , calcula algunos polinomios multivariados F ( x 1 , ... , x n ) con coeficientes enteros no negativos. Dado un polinomio f ( x 1 , … , x n ) , el circuito{ + , × }{+,×}\{+,\times\}F( x1, ... , xnorte)F(x1,…,xn)F(x_1,\ldots,x_n)F( x1, ... ,...