Preguntas etiquetadas con complexity-theory

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 ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2⁡TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 …

19 complexity-theory 

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 que use …

19 complexity-theory  np-hard 

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 la red neuronal con topología …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

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 …

18 complexity-theory  reductions  network-flow  graph-algorithms 

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 …

18 complexity-theory  np-complete  tiling 

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 …

18 complexity-theory 

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 universitario …

18 complexity-theory  np-complete  reductions 

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 de solución …

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

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 …

18 complexity-theory  proof-techniques 

Leí en alguna parte que el algoritmo más eficiente encontró puede calcular los factores en tiempo, pero el código que he escrito es O ( n ) o posiblemente O ( n log n ) dependiendo de qué tan rápida sea la división y el módulo. Estoy bastante seguro de …

17 complexity-theory  time-complexity  factoring  primes 

¿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 …

17 complexity-theory  np-complete  proof-techniques 

El teorema de Galois dice efectivamente que no se pueden expresar las raíces de un polinomio de grado> = 5 usando funciones racionales de coeficientes y radicales. ¿No se puede leer que esto dice que dado un polinomio no hay un algoritmo determinista para encontrar las raíces? Ahora considere una …

16 complexity-theory  np-complete  np  polynomials 

Decimos que el lenguaje es denso si existe un polinomio p tal que | J c ∩ Σ n | ≤ p ( n ) para todo n ∈ N . En otras palabras, para cualquier longitud dada n sólo existen polinomialmente muchas palabras de longitud n que no están …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Sea una función fija construible en el tiempo.fff El clásico resultado de la simulación universal para TMs (Hennie y Stearns, 1966) establece que hay una TM dos cintas tal queUUU la descripción de un TM , y⟨M⟩⟨M⟩\langle M \rangle una cadena de entrada ,xxx corre por pasos y devuelve la …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

Generalmente se considera que un límite inferior asintótico, como la dureza exponencial, implica que un problema es "inherentemente difícil". Se cree que el cifrado que es "intrínsecamente difícil" de romper es seguro. Sin embargo, un límite inferior asintótico no descarta la posibilidad de que una clase enorme pero finita de …

16 complexity-theory  cryptography  asymptotics