Ciencias de la computación teórica

¿Alguien podría señalar uno o más sitios web donde sea posible descargar una implementación funcional de un solucionador #SAT? Estoy interesado en aquellos que devuelven el recuento exacto de la solución, no una aproximación.

21 ds.algorithms  sat  software 

Al reunir resultados, a menudo es deseable tener algunos diagramas de aspecto profesional, en lugar de diagramas juntos en MS Paint. ¿Cuál es el estándar para dibujar estructuras de datos?

21 soft-question  ds.data-structures  software  graph-drawing  writing 

Sabemos mucho sobre las limitaciones de los circuitos de profundidad constante (tamaño polinómico). Dado que las fórmulas (de tamaño polinómico) de profundidad constante son un modelo de cálculo aún más restringido, todos los problemas que se sabe que no están en AC 0 tampoco son computables por una fórmula de …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

Preámbulo Goldwasser, Micali y Rackoff y Babai introdujeron sistemas de prueba interactivos y protocolos Arthur-Merlin en 1985. Al principio, se pensó que el primero es más poderoso que el segundo, pero Goldwasser y Sipser demostraron que tienen el mismo poder ( con respecto al reconocimiento del idioma). Por lo tanto, …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

¿Existe una buena encuesta que compare diferentes extractores, concentradores y superconcentradores y exponga los mejores métodos en términos de compensación entre aleatoriedad, tiempo y espacio?

21 reference-request  randomness  derandomization 

(Von Neumann dio un algoritmo que simula que una moneda justa tiene acceso a monedas sesgadas idénticas. El algoritmo potencialmente requiere un número infinito de monedas (aunque en expectativa, muchas son suficientes). Esta pregunta se refiere al caso cuando el número de lanzamientos de monedas permitidos es encerrado.) Supongamos que …

21 cc.complexity-theory  circuit-complexity  pr.probability 

¿Qué diferencias interesantes hay entre la teoría y la práctica de la seguridad y la criptografía? Por supuesto, lo más interesante serán ejemplos que sugieran nuevas vías para la investigación teórica basada en la experiencia práctica :). Las respuestas pueden incluir (pero no están limitadas a): Ejemplos donde la teoría …

21 cr.crypto-security 

Si es una función convexa, la desigualdad de Jensen establece que , y mutatis mutandis cuando es cóncava. Claramente, en el peor de los casos, no puede el límite superior en términos de para una convexa , pero ¿hay un límite que vaya en esta dirección si es convexo pero …

21 randomness  pr.probability  randomized-algorithms 

Una prueba de separación de clase de complejidad utiliza la uniformidad de las clases de complejidad esencialmente si la prueba no prueba el resultado para una versión no uniforme, por ejemplo, las pruebas basadas en la diagonalización (como los teoremas de jerarquía de tiempo y espacio) hacen un uso esencial …

21 cc.complexity-theory 

Me parece que el lenguaje macro utilizado por puede verse como algún tipo de sistema de reescritura de términos o algún tipo de lenguaje de programación con alcance de llamada por nombre.TEXTEX\TeX Incluso las implementaciones modernas del motor (por ejemplo, ) interpretan el código de una manera bastante directa y …

21 pl.programming-languages  semantics  term-rewriting-systems 

Motivado por la respuesta de Shor relacionada con diferentes nociones de integridad de NP, estoy buscando un problema que es NP completo bajo las reducciones de P pero no se sabe que es NP completo bajo las reducciones de Logspace (preferiblemente durante mucho tiempo). Además, ¿es más difícil encontrar reducciones …

21 cc.complexity-theory  np-hardness 

Digamos que tenemos un problema de cálculo, por ejemplo, 3-SAT, que tiene un conjunto de instancias de problemas (posibles entradas) . Normalmente en el análisis de algoritmos o teoría de la complejidad computacional, tenemos algunos conjuntos de todas las entradas de longitud , y una función que proporciona el tiempo …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Esta pregunta está inspirada en la conjetura polinómica de Hirsch (APS). Dado un politopo P de cara en R d , ¿el espacio espectral de su gráfico de borde-vértice (llamado G ) está limitado por Ω ( 1 / p o l y ( n ) ) ? Tenga en …

21 co.combinatorics  linear-programming  expanders 

1- ¿Hay alguna propiedad específica para la matriz de adyacencia cuando un gráfico es plano? 2- ¿Hay algo especial para calcular el permanente de la matriz de adyacencia cuando un gráfico es plano?

21 graph-theory  co.combinatorics  permanent 

László Babai demostró recientemente que el problema del isomorfismo gráfico está en tiempo cuasipolinomial . Véase también su discurso en la Universidad de Chicago, nota de las charlas de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Según el teorema de Ladner, si , …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate