Preguntas etiquetadas con cc.complexity-theory

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

1
Está ordenando
En la preimpresión reciente https://arxiv.org/abs/1801.00776 , se afirma que números reales se pueden ordenar en el tiempo O ( n √nnn y espacio lineal. El artículo parece razonable, aunque no soy un experto en algoritmos de clasificación.O(nlogn−−−−√),O(nlog⁡n),O(n \sqrt{\log n}), Si es correcto, esto sería significativo, creo, al menos teóricamente. Sin …
1
¿Complejidad de la prueba si dos conjuntos de puntos en difieren solo por rotación?
Imaginemos que tenemos dos conjuntos de puntos tamaño . ¿Cuál es la complejidad (temporal) de las pruebas si difieren solo por rotación? : existe una matriz de rotación tal que ?mmm O O T = O T O = I X = O YX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^nOOT=OTO=IOOT=OTO=IOO^T=O^TO=IX=OYX=OYX=OY Hay un problema de representar …
1
Jerarquías de tiempo en DSPACE (O (s (n)))
El teorema de la jerarquía del tiempo establece que las máquinas de Turing pueden resolver más problemas si tienen (suficiente) más tiempo. ¿Se mantiene de alguna manera si el espacio está limitado asintóticamente? ¿Cómo se relaciona DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) con DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} crece lo suficientemente rápido? Estoy especialmente interesado …
2
¿SAT es un lenguaje sin contexto?
Estoy considerando el lenguaje de todas las fórmulas lógicas proposicionales satisfactorias, SAT (para asegurarnos de que tenga un alfabeto finito, codificaríamos las letras proposicionales de alguna manera adecuada [editar: las respuestas señalaron que la respuesta a la pregunta puede no ser sólida bajo codificaciones variables, por lo que uno debe …
3
Completitud bajo las reducciones inyectables de Karp
La reducción de Karp es una reducción de tiempo polinómico computable de muchos entre dos problemas computacionales. Muchas reducciones de Karp son en realidad funciones uno a uno. Esto plantea la pregunta de si cada reducción de Karp es inyectiva (función uno a uno). ¿Existe un problema natural de completo …
1
¿P / poly
N P ⊆ P / p o l yP/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que a su vez tiene consecuencias interesantes como el colapso de la jerarquía polinómica.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly ¿Hay implicaciones interesantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly
2
Alcance de la barrera de pruebas naturales
La barrera de las pruebas naturales de Razborov y Rudich establece que, bajo supuestos criptográficos creíbles, uno no puede esperar separar NP de P / poli al encontrar propiedades combinatorias de funciones que son constructivas, grandes y útiles. Hay varios resultados bien conocidos que logran evadir la barrera. También hay …
1
Clases grandes que contienen LOGSPACE para las cuales se desconocen las inclusiones estrictas
La página de Wikipedia en PSPACE menciona que la inclusión no es estricta (desafortunadamente sin referencias).NL⊂PHNL⊂PHNL\subset PH P1: ¿Qué pasa con y ? ¿Se sabe que son estrictos?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} P2: Si no, ¿hay una clase establecida que contiene y para la cual no se sabe si la inclusión es …
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.