Recientemente encontré en un artículo [1] una versión simétrica especial de SAT llamada 2/2/4-SAT . Pero hay muchas variantes completas de , por ejemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...notario públicoNP\text{NP} Algunas otras variantes son manejables: - SAT , Planar-NAE- SAT ,...
Según Immerman , la clase de complejidad asociada con las consultas SQL es exactamente la clase de consultas seguras en Q ( F O ( C O U N T ) )Q(FO(COUNT))\mathsf{Q(FO(COUNT))} (consultas de primer orden más operador de conteo): SQL captura consultas seguras. (En otras palabras, todas las consultas...
Me encontré con las siguientes dudas sobre la complejidad de Towers of Hanoi , sobre las cuales quisiera sus comentarios. ¿Está en NP? Intento de respuesta: supongamos que Peggy (probador) resuelve el problema y lo envía a Victor (verificador). Víctor puede ver fácilmente que el estado final de...
Wikipedia afirma que el problema de la suma de subconjuntos es encontrar un subconjunto de un conjunto múltiple de números enteros, cuya suma es cero. Además, afirma que es equivalente a encontrar un subconjunto con la suma de para cualquier dado .ssssss Entonces, como son equivalentes, debe haber...
En la multiplicación matricial de Strassen, afirmamos un hecho extraño (al menos para mí) de que la multiplicación matricial de dos 2 x 2 requiere 7 multiplicaciones. Pregunta: ¿Cómo demostrar que es imposible multiplicar dos matrices de 2 x 2 en 6 multiplicaciones? Tenga en cuenta que las...
Hay una reducción en el libro de Sipser "Introducción a la teoría de la computación" en la página 286 de 3SAT al problema del camino hamiltoniano. ¿Hay una reducción más simple? Por simple quiero decir una reducción que sería más fácil de entender (para estudiantes). ¿Existe una reducción...
Estoy buscando ejemplos de problemas que tengan un límite inferior de Ω(|x|2Ω(|x|2\Omega(|x|^2 ) para la entrada xxx . El problema debe tener las siguientes propiedades: Ω(n2)Ω(n2)\Omega(n^2)Prueba de tiempo de ejecución de Ω ( n 2 ) para cualquier algoritmo: la primera prioridad es tener un...
Estoy estudiando la complejidad computacional y me preguntaba por qué los problemas NP-Complete (NPC) son una clase importante en absoluto. Me parece obvio por qué estamos interesados en mostrar que un problema NP dado es NP-hard. También entiendo la definición de NPC, y que mostrar un problema...
¿Se requiere que un problema NP-hard sea computable? No lo creo, pero no estoy
En Algorithmics for Hard Problems de Hromkovič (2a edición) existe este teorema (2.3.3.3, página 117): Hay un problema de decisión (decidible) tal que para cada algoritmo A que resuelve P hay otro algoritmo A ' que también resuelve P y además cumplePAGPPUNAAPAGPPA′A′A'PPP...
Mi objetivo es resolver el siguiente problema, que he descrito por su entrada y salida: Entrada: Un gráfico acíclico dirigido con nodos, fuentes y sumidero ( ).solsolGmetrometromnortenorten111m > n ≥ 1metro>norte≥1m > n \geq 1 Salida: El VC-dimensión (o una aproximación de la misma) para...
En el artículo La complejidad del problema de Frobenius de Ramírez-Alfonsín, se demostró que un problema era NP completo usando reducciones de Turing. ¿Es eso posible? ¿Cómo exactamente? Pensé que esto solo era posible por un tiempo polinómico, muchas reducciones. ¿Hay alguna referencia sobre...
Para cada función computable fff existe un problema que puede resolverse en el mejor de los casos en el tiempo Θ(f(n))Θ(f(n))\Theta(f(n)) o existe una función computable fff tal manera que cada problema que pueda resolverse en O(f(n))O(f(n))O(f(n)) también ser resuelto en o(f(n))o(f(n))o(f(n))...
Gracias al teorema de corte mínimo de flujo máximo, sabemos que podemos usar cualquier algoritmo para calcular un flujo máximo en un gráfico de red para calcular un corte -min. Por lo tanto, la complejidad de calcular un corte mínimo ( s , t ) no es más que la complejidad de calcular un flujo...
Wikipedia lo define como Se dice que un algoritmo es de tiempo polinómico si su tiempo de ejecución está limitado por una expresión polinómica en el tamaño de la entrada para el algoritmo, es decir, para alguna constante k.T( n ) = O ( nk)T(norte)=O(nortek)T(n) = O(n^k) El algoritmo se...
Los libros de texto en todas partes suponen que el problema de la correspondencia posterior a los límites está completo para NP (no se permiten más de índices con repeticiones). Sin embargo, en ninguna parte se muestra una reducción de tiempo polinomial simple (como en algo que un estudiante...
Estoy interesado en una pequeña variante de mosaico, el rompecabezas: cada borde de un mosaico (cuadrado) está etiquetado con un símbolo de , y se pueden colocar dos mosaicos adyacentes uno al otro si el símbolo en el borde frontal de un mosaico es y el símbolo en el borde frontal de otro mosaico...
Como se desprende de mi pregunta anterior , he estado jugando con la hipótesis de Riemann como una cuestión de matemática recreativa. En el proceso, he llegado a una recurrencia bastante interesante, y tengo curiosidad por su nombre, sus reducciones y su capacidad de seguimiento hacia la capacidad...
La teoría existencial de los Reales está en PSPACE , pero no sé si es PSPACE-Complete . Si creo que no es así, ¿cómo podría probarlo? De manera más general, dado un problema en cierta complejidad clase X , ¿cómo puedo demostrar que es no X-Completa ? Por ejemplo, X podría ser NP , PSPACE , EXPTIME...
¿Existe alguna técnica general para demostrar que un problema NO es NP-Complete? Recibí esta pregunta en el examen que me pidió que mostrara si algún problema (ver más abajo) es NP-Complete. No se me ocurrió ninguna solución real, y solo probé que estaba en P. Obviamente, esta no es una respuesta...