Preguntas etiquetadas con cc.complexity-theory

P versus NP y otros cálculos limitados por recursos.

4
¿Por qué consideramos el espacio logarítmico como un modelo de computación eficiente (en lugar del espacio poligráfico)?
Esta podría ser una pregunta subjetiva en lugar de una con una respuesta concreta, pero de todos modos. En teoría de la complejidad estudiamos la noción de cálculos eficientes. Hay clases como representa el tiempo polinómico y representa el espacio de registro . Se considera que ambos están representados como …
20
Problemas NP-duros en los árboles
Varios problemas de optimización que se sabe que son NP-hard en los gráficos generales se pueden resolver trivialmente en tiempo polinómico (algunos incluso en tiempo lineal) cuando el gráfico de entrada es un árbol. Los ejemplos incluyen cobertura mínima de vértice, conjunto independiente máximo, isomorfismo de subgrafo. Mencione algunos problemas …
4
¿Cuáles son las consecuencias de
Sabemos que L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} y que L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , donde L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . También sabemos que polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}porque el último tiene problemas completos bajo el espacio logarítmico reducciones de muchos uno mientras que el primero no (debido al teorema …
3
Una variante de factorización NP-completa.
El libro de Arora y Barak presenta el factoring como el siguiente problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORIZACIÓN={⟨L,U,norte⟩El |(∃ un primer pags∈{L,...,U})[pagsEl |norte]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Añaden, más adelante en el Capítulo 2, que eliminar …
4
Teorema de Ladner generalizado
El teorema de Ladner establece que si P ≠ NP, entonces hay una jerarquía infinita de clases de complejidad que contienen estrictamente P y estrictamente contenidas en NP. La prueba utiliza la integridad de SAT bajo reducciones de muchos en NP. La jerarquía contiene clases de complejidad construidas por una …
8
Obituarios de conjeturas muertas
Estoy buscando conjeturas sobre algoritmos y complejidad que muchos consideraron creíbles en algún momento, pero que luego fueron refutadas, o al menos no creídas, debido a la creciente evidencia contraria. Aquí hay dos ejemplos: Hipótesis de oráculo aleatorio: las relaciones entre clases de complejidad que se mantienen para casi todos …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.