Ciencias de la computación teórica

La declaración de investigación de JM Siskind dice: Stalin es un compilador optimizador para Scheme que realiza análisis estáticos de todo el programa y utiliza los resultados de ese análisis para generar código extremadamente eficiente. Stalin utiliza una gran colección de técnicas de análisis estático. Realiza una nueva forma de …

14 compilers 

Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Últimamente he estado tratando con algoritmos relacionados con la compresión, y me preguntaba cuál es la mejor relación de compresión que puede lograrse mediante la compresión de datos sin pérdida. Hasta ahora, la única fuente que pude encontrar sobre este tema fue Wikipedia: La compresión sin pérdida de datos digitalizados …

14 it.information-theory  data-streams 

Sea una fórmula CNF con n variables y m cláusulas. Supongamos que t ∈ { 0 , 1 } n representa una asignación variable y f φ ( t ) ∈ { 0 , ... , m } cuenta el número de cláusulas satisfechas por una asignación variable a φ …

14 cc.complexity-theory  sat  counting-complexity 

Ese es un nombre que he inventado para este problema. No lo he visto descrito en ninguna parte antes. Todavía no he podido encontrar una prueba de integridad de NP ni un algoritmo de tiempo polinómico para este problema. No es un problema de tarea, está relacionado con un problema …

14 cc.complexity-theory  np-hardness 

La complejidad computacional implica grandes cantidades de combinatoria y teoría de números, algunas ingrididades del estocástico y una cantidad emergente de álgebra. Sin embargo, al ser un analista, me pregunto si hay aplicaciones de análisis en este campo, o tal vez ideas inspiradas en el análisis. Todo lo que sé …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Objetivo : resolver la conjetura de que no existe un plano proyectivo de orden 12. En 1989, utilizando la búsqueda por computadora en un Cray, Lam demostró que no existe un plano proyectivo de orden 10. Ahora que el Número de Dios para el Cubo de Rubik se ha determinado …

14 open-problem 

Muchos criptosistemas de clave pública tienen algún tipo de seguridad demostrable. Por ejemplo, el criptosistema Rabin es probablemente tan difícil como factorizar. Me pregunto si existe ese tipo de seguridad comprobable para los criptosistemas de clave secreta, como AES. Si no es así, ¿cuál es la evidencia de que romper …

14 cr.crypto-security  algebra  algebraic-complexity 

Soy estudiante universitario de ciencias de la computación y actualmente estoy planeando mi proyecto de graduación. Necesito algunas ideas en el campo de la computación cuántica. ¿alguna ayuda?

14 quantum-computing  soft-question 

Considere , donde lambda_i> 0 e Y_i se distribuye como un estándar normal. ¿Qué tipo de límites de concentración se pueden probar en X, en función de los coeficientes (fijos) lambda_i?X= ∑yoλyoY2yoX=∑yoλyoYyo2X = \sum_i \lambda_i Y_i^2 Si todos los lambda_i son iguales, entonces este es un límite de Chernoff. El …

14 chernoff-bound 

¿Habría alguna consecuencia importante si SAT tuviera a lo sumo pruebas subexponenciales no firmes o, aún más fuerte, SAT tuviera algoritmos de tiempo subexponencial?

14 cc.complexity-theory  sat  proof-complexity 

Sabemos que el algoritmo de mincut de Karger se puede usar para demostrar (de manera no constructiva) que el número máximo de mincuts posibles que puede tener un gráfico es .(n2)(n2)n \choose 2 Me preguntaba si podríamos de alguna manera probar esta identidad al dar una prueba biyectiva (más bien …

14 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  max-flow-min-cut 

Hay un viejo truco para escribir un algoritmo que, si P = NP, resuelve SAT en tiempo polinómico. Esencialmente, uno enumera todas las máquinas de tiempo polinomiales y las tareas múltiples sobre ellas. ¿Existe un truco análogo para las funciones unidireccionales (o incluso las funciones de trampilla unidireccionales)? Es decir, …

13 universal-computation  one-way-function 

Después de leer el reciente pregunta "¿Es el complemento de {www∣...}{www∣...}\{ www \mid ...\} Libre de contexto?" ; Recordé un problema similar que no pude refutar: Es L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L={ww′∣w,w′∈{0,1}∗∧|w|=|w′|∧HamDist(w,w′)>1}L = \{ ww' \mid w,w' \in \{0,1\}^* \land |w|=|w'| \land HamDist(w,w')>1 \} sin contexto? Aquí requerimos que las dos cadenas difieran en …

13 fl.formal-languages  context-free 

En el marco de aprendizaje de autómatas de Angluin , un estudiante tiene como objetivo aprender un lenguaje regular L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* haciendo dos tipos de preguntas a su maestro: Consultas de palabras: dado w∈Σ∗w∈Σ∗w\in \Sigma^* , ¿es w∈Lw∈Lw\in L ? Consultas de equivalencia: dado un lenguaje K⊆Σ∗K⊆Σ∗K\subseteq \Sigma^* , ¿es …

13 automata-theory  regular-language