Ciencias de la computación teórica

Digamos que tengo un gran bloque de código que ya he lexed y analizado. Supongamos que solo un personaje cambia; Me gustaría actualizar mi análisis, pero dado que la modificación es muy pequeña en comparación con todo, me gustaría saber si es posible no analizar todo nuevamente, pero si hay …

14 fl.formal-languages  parsing 

Ya hice esta pregunta en stackoverflow , pero tal vez sea más adecuada para este sitio. El problema es: Tengo N pares de enteros sin signo. Necesito ordenarlos. El vector final de los pares debe clasificarse de manera no decreciente por el primer número de cada par y no cada …

14 ds.algorithms  sorting 

1) ¿Es posible tener una reducción parsimoniosa de un problema # P completo #A a un problema de conteo #B cuando (la versión de decisión) A es NP-completa y B está en P? Por ejemplo, ¿puede haber una reducción parsimoniosa de #SAT a #B, cuando B está en P? 2) …

14 cc.complexity-theory  complexity-classes  counting-complexity 

Escribí una implementación del algoritmo Kuhn-Munkres para el problema de coincidencia perfecta bipartita de peso mínimo basado en las notas de clase que encontré aquí y allá en la web. Funciona muy bien, incluso en miles de vértices. Y estoy de acuerdo en que la teoría detrás de esto es …

14 ds.algorithms  graph-theory  linear-programming  simplex 

(Ya he preguntado esto en MathOverflow, pero no obtuve respuestas allí). Antecedentes En el cálculo lambda sin tipo, un término puede contener muchos redexes, y diferentes opciones sobre cuál reducir pueden producir resultados muy diferentes (p Ej. ( Λ x . Y ) ( ( λ x . X x …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

Dados dos CNF, si tienen el mismo número de asignaciones para hacerlos verdaderos, responda "Sí", de lo contrario responda "No". Es fácil ver que está en , ya que si conocemos el número exacto de soluciones para estos dos CNF, simplemente hacemos campaña y respondemos "Sí" o "No".P#PP#PP^{\#P} ¿Cuál es …

14 cc.complexity-theory  complexity-classes  counting-complexity 

Estoy revisando un modelo criptográfico. Para mostrar su insuficiencia, he diseñado un protocolo artificial basado en el isomorfismo gráfico. Es "común" (¡pero controvertido!) Asumir la existencia de algoritmos BPP capaces de generar "instancias difíciles del problema del isomorfismo gráfico". (Junto con un testigo de isomorfismo). En mi protocolo artificial, voy …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

¿Cómo puedo convencer a Coq de que la función recursiva dada a continuación termina? La función toma dos argumentos inductivos. Intuitivamente, la recursión termina porque cualquiera de los argumentos se descompone. Específicamente, la función toma dos árboles como entrada. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree …

14 interactive-proofs  proof-assistants  coq 

SACiSUNCyoSAC^i es la clase de problemas de decisión que puede resolver una familia de circuitos de profundidad con compuertas OR sin límites y con compuertas AND con límites. Las negaciones solo están permitidas en el nivel de entrada. Se sabe que S A C i para i ≥ 1 está …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

¿Qué tipo de conjeturas y principales problemas abiertos son los más importantes en la teoría algorítmica de juegos (o la teoría de juegos en general en lo que se refiere a CS)? Por ejemplo, la resolución de NASH como PPAD completo, creo, habría sido la más grande hasta que se …

14 big-list  gt.game-theory 

Considere la lista humildemente vinculada en un entorno puramente funcional. Sus alabanzas se han cantado desde las cimas de las montañas y se seguirán cantando. Aquí abordaré uno de sus muchos puntos fuertes y la cuestión de cómo se puede extender a la clase más amplia de secuencias puramente funcionales …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

¿Hay alguna forma de codificar una instancia de Subset Sum o el problema de partición numérica para que una solución (pequeña) a una relación entera produzca una respuesta? Si no es definitivamente, ¿en algún sentido probabilístico? Sé que LLL (y quizás PSLQ) se han utilizado con éxito moderado en la …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

El problema #SAT es el problema canónico # P-complete. Es un problema funcional más que un problema de decisión. Pregunta, dada una fórmula booleana en lógica proposicional, cuántas asignaciones satisfactorias tiene¿Cuáles son los mejores límites inferiores en #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Dos documentos que incluiría son: D. Kozen, "Indización de clases subrecursivas" , STOC, 1978. R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

En respuesta a otra pregunta, Extensiones de la teoría beta del cálculo lambda , Evgenij ofreció la respuesta: beta + la regla {s = t | syt son términos cerrados sin solución} donde un término M es soluble si podemos encontrar una sucesión de términos tales que M aplicación 's …

14 pl.programming-languages  lambda-calculus  lo.logic