Preguntas etiquetadas con cc.complexity-theory

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 funciones unidireccionales? Por ejemplo, las OWF implican …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Dada una …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

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: ϕ : = ϕ ∧ ϕ | ¬ ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

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 siguientes. ¿Es la computación cuántica adiabática …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

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 fórmula. Actualización 06/04/2013 12:55 También me gustaría saber qué tan difícil es determinar la …

9 cc.complexity-theory  sat  counting-complexity 

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

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

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 podemos expresar " " como una fórmula de primer orden?P=PSPACEP=PSPACEP=PSPACE …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

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 …

9 cc.complexity-theory  complexity-classes  structural-complexity 

¿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 decidible.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

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 …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

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 \rbrace^\omegaXX\mathsf{X}L∈XL∈XL \in \mathsf{X} (i) Dado , cada prefijo de está …

9 cc.complexity-theory  reference-request 

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. Ahora, en términos deϵ,¿cuáles serían los límites …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

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, DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots . Parece claro a partir de …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

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

9 cc.complexity-theory  pcp 

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 caracterización de con R algún …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory