Ciencias de la computación teórica

Nisan demostró en "Generadores psuedoraaleatorios para la computación limitada al espacio", que existe un generador pseudoaleatorio que "engaña" las computaciones limitadas al espacio. ¿Esta construcción es válida para cada oráculo (al menos para consultas no adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Blum, Micali y Feldman (BFM) presentaron un nuevo modelo (criptográfico), en el que todas las partes (honestas o adversas) tienen acceso a alguna cadena. Se supone que la cadena se selecciona de acuerdo con alguna distribución (generalmente, distribución uniforme) por una parte confiable. Se llama la cadena de referencia , …

16 cr.crypto-security 

Me interesan dos preguntas sobre los lenguajes sensibles al contexto (CSL) y la integridad: ¿Existe una noción de integridad para CSL y qué idiomas están completos? ¿Hay CSL naturales que son NP completas? Para 2., ciertamente puedo pensar en lenguajes NP-completos naturales que son CSL (como CSL es igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Supongamos que se nos da una matriz n por n, M, con entradas enteras. ¿Podemos decidir en P si hay una permutación tal que para todas las permutaciones tenemos ?σσ\sigmaπ≠ σπ≠σ\pi\ne\sigmaΠ Mi σ( i )≠ Π Mi π( i )ΠMETROyoσ(yo)≠ΠMETROyoπ(yo)\Pi M_{i\sigma(i)}\ne \Pi M_{i\pi(i)} Observaciones Por supuesto, se puede reemplazar el …

16 cc.complexity-theory  ds.algorithms  matrices  matching  permanent 

Antecedentes : En el documento UGC original de Subhash Khot ( PDF ), demuestra la dureza de UG de decidir si una instancia de CSP dada con restricciones toda la forma No todo igual (a, b, c) sobre un alfabeto ternario admite una tarea satisfactoria 1 - de las restricciones …

16 cc.complexity-theory  approximation-hardness  unique-games-conjecture  csp 

Como en, el área de los artículos en el ACM Journal on Experimental Algorithmic JEA . ¿Cuáles fueron las obras fundamentales? ¿Cuáles son los principales resultados? ¿Cómo se caracterizan? ¿Alguna conexión interesante con otras áreas de la informática?

16 ds.algorithms  reference-request  experimental 

Una brecha que siempre supe que realmente no entiendo es entre la complejidad computacional no uniforme y uniforme, donde la complejidad del circuito representa la versión no uniforme y las máquinas de Turing es donde las cosas son uniformes. Supongo que "uniforme" es una forma de restringir la clase de …

16 cc.complexity-theory  circuit-complexity 

El problema de automorfismo libre de puntos con punto fijo solicita un automorfismo gráfico que mueva al menos k ( n ) nodos. El problema es N P -completo si k ( n ) = n c para cualquier c > 0.kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc Sin embargo, si entonces el problema es el …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

En [1], Turan muestra que la sensibilidad (llamada "complejidad crítica" en el documento) de una propiedad gráfica es estrictamente mayor que dondemes el número de vértices en el gráfico. Continúa conjeturando que cualquier propiedad de gráfico no trivial tiene sensibilidad≥m-1. Menciona que esto se ha verificado param≤5. ¿Se ha avanzado …

16 graph-theory  property-testing 

La famosa Imagen del mundo de Neil Immerman es la siguiente (haga clic para ampliar): Su clase "Verdaderamente factible" no incluye ninguna otra clase; mi pregunta es entonces: ¿Qué es un problema de AC 0 que se considera poco práctico y por qué?

16 cc.complexity-theory  circuit-complexity 

Adleman, FOCS'78 mostró que cualquier circuito aleatorizado para entradas de longitud puede ser desrandomizado de manera no uniforme. Sin embargo, la construcción efectivamente duplica el circuito original O ( n ) veces, por lo que el circuito desaleatorizado es más grande que el original en un factor de O ( …

16 derandomization 

La teoría beta-eta del cálculo lambda es Post-completa. ¿Se pueden agregar reglas adicionales para extender la teoría beta del cálculo lambda para obtener teorías confluentes distintas de la teoría beta-eta? Posdata Esta pregunta violó mi propia regla de que las preguntas deberían explicar por qué el interlocutor se preocupa. Me …

16 lambda-calculus 

Este es un seguimiento de esta pregunta sobre math.stackexchange. Digamos que un conjunto no vacío S ⊆ ℤ es autosuficiente si para cada a ∈ S, existen elementos distintos b, c ∈ S de modo que a = b + c. Para enteros positivos n , ejemplos simples incluyen el …

16 ds.algorithms  co.combinatorics 

A menudo se dice que cuando se utiliza el algoritmo MD5 para firmar información arbitraria, el secreto compartido debe estar al final. ¿Por qué?

16 hash-function  cr.crypto-security 

Para un lenguaje L ⊆ Σ ^ * , defina la congruencia sintáctica ≡ de L como la menor congruencia en Σ ^ * que satura L , es decir: u ≡ v ⇔ (∀ x, y) [xuy ∈ L ↔ xvy ∈ L]. Ahora defina la equivalencia de Nerode …

16 automata-theory  fl.formal-languages