Hay algunos problemas NP-Complete ( , , etc.) que se sabe que están en . ¿Qué pasa con los espacios sub-lineales?S A TSUNAT \mathsf{SAT} D S P A C E ( n )S U B S E T S U MSUsiSmiTSUMETRO \mathsf{SUBSETSUM} D S P A C E ( n )reSPAGSUNACmi(norte) \mathsf{DSPACE(n)} ¿Existe algún problema conocido...
Background––––––––––––––Background_\underline{\bf Background} En 2005, Regev [1] introdujo el problema de Aprendizaje con errores (LWE), una generalización del problema de Paridad de aprendizaje con error. La suposición de la dureza de este problema para ciertas opciones de parámetros ahora...
Mi pregunta es acerca de la teoría del modelo finito / complejidad descriptiva, por lo que significará "primer orden sobre palabras binarias finitas, usando predicados Rs y un predicado unario P verdadero en la posición del 1 en la palabra".FO(R)FO(R)FO(R) Me gustaría saber, ¿hay alguna...
El libro de Arora y Barak contiene notas de capítulos sobre PCP Observamos que la estrategia general de Dinur recuerda en cierta medida la construcción en zig-zag de los gráficos de expansión y el algoritmo determinista de espacio de registro de Reingold para la conectividad no dirigida que se...
Es bien sabido que la complejidad de la consulta cuántica de error acotado de la función es Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Ahora la pregunta es ¿y si queremos que nuestro algoritmo cuántico tenga éxito para cada entrada con probabilidad1-εen lugar de la habitual2/3....
Intrigado por la interesante pregunta de Chris Pressey sobre funciones recursivas elementales , estaba explorando más y no pude encontrar una respuesta a esta pregunta en la web. Las funciones recursivas elementales corresponden muy bien a la jerarquía exponencial,
Lo siguiente me parece una definición natural y me pregunto si se ha estudiado en alguna parte Considere un conjunto de idiomas. Entonces se llama " -información verificable" cuando hay stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1...
¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo? La pregunta podría verse como una versión más fuerte del hecho de que cada lenguaje infinito reconocible de Turing tiene un subconjunto infinito
En el artículo de Adi Shamir [1] de 1979, muestra que la factorización se puede hacer en un número polinómico de pasos aritméticos . Este hecho fue reiterado, y por lo tanto me llamó la atención, en el reciente artículo de Borwein y Hobart [2] en el contexto de los programas de línea recta...
Sea la clase de lenguajes que se decida alternando máquinas de Turing que se detengan en el tiempo utilizando el espacio . Sea la clase de lenguajes que se decida alternando máquinas de Turing que dejen de usar las alternancias y el espacio .f ( n ) g ( n ) A A L T S P ( f ( n ) , g ( n ) ) f ( n )...
Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema para el intercambio teórico de pila de informática. Cerrado hace 7 años . ¿Cómo...
Gran parte de la literatura de computación cuántica se centra en el modelo de circuito. La computación cuántica adiabática no se basa en aplicar una secuencia de operadores unitarios, sino en cambiar un hamiltoniano dependiente del tiempo. Estoy buscando información sobre cualquiera de los...
Supongamos que operamos en un campo finito. Se nos da un gran polinomio fijo p (x) (de, digamos, grado 1000) sobre este campo. Este polinomio se conoce de antemano y se nos permite hacer cálculos utilizando muchos recursos en la "fase inicial". Estos resultados pueden almacenarse en tablas de...
Considere una fórmula Monotone 3CNF que tenga las siguientes restricciones adicionales: Cada variable aparece exactamente en cláusulas.222 Dadas cláusulas, comparten como máximo variable.222111 Me gustaría saber qué tan difícil es contar las tareas satisfactorias de tal...
Sea una familia de subconjuntos de elementos de un universo finito de objetos. Una familia de subconjuntos -elemento de , con , es una - hitting-set de si, para cada existe al menos un conjunto tales que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in...
Estoy buscando la complejidad de la satisfacción de una fórmula o de una fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ donde ϕ es la fórmula de la forma: ϕ : = ϕ ∧ ϕ | ¬ ϕ | ϕ∀ y1, ... , ynorte, ∃ x1, ... , xmetro, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃ x1, ......
Es bien sabido que la existencia de funciones unidireccionales es necesaria y suficiente para gran parte de la criptografía (firmas digitales, generadores pseudoaleatorios, cifrado de clave privada, etc.). Mi pregunta es: ¿Cuáles son las consecuencias teóricas de la complejidad de la existencia de...
¿ Las pruebas naturales , la relativización y la algebrización también afectan la separación de otras clases de complejidad como etc.?L ≠ NL ≠ NPAGS≠ c o NPAGS≠ PH≠ PSPAGSA CmiL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por ejemplo, la barrera de pruebas naturales debería...
Todos sabemos que la complejidad mínima de un algoritmo de clasificación basado en la comparación es la comparación de . Estoy tratando de hacer una clasificación a ciegas , es decir, dado un número salida de un circuito (con puertas booleanas, aritméticas y de "comparación") que ordena una lista...
No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C...