Ciencias de la computación teórica

Considere el problema clásico # P-complete # 3SAT, es decir, contar el número de valoraciones para hacer que un 3CNF con nnn variables sea satisfactoria. Estoy interesado en la aproximabilidad aditiva . Claramente, hay un algoritmo trivial para lograr2n−12n−12^{n-1}error 2 n - 1 , pero sik&lt;2n−1k&lt;2n−1k<2^{n-1} , ¿es posible tener …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Ha habido algunas preguntas ( 1 , 2 , 3 ) sobre la terminación transitiva aquí que me hicieron pensar si algo como esto es posible: Supongamos que obtenemos un gráfico solGG entrada dirigido y nos gustaría responder consultas del tipo " ?", Es decir, preguntar si existe un borde …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure 

Tengo una pregunta ingenua: ¿existe una máquina de Turing cuya terminación sea verdadera pero no demostrable por ninguna teoría natural, consistente y finitamente axiomatizable? Pido una mera prueba de existencia en lugar de un ejemplo específico. Esto podría tener alguna conexión con el análisis ordinal . De hecho, para una …

9 turing-machines  proof-theory  halting-problem 

En el problema de la camarilla plantada, uno debe recuperar una kkk camarilla plantada en un gráfico aleatorio Erdos-Renyi ( n , p )G(n,p)sol(norte,pags)G(n,p) . Esto se ha visto principalmente para p=12pags=12p=\frac{1}{2} , en cuyo caso se sabe que puede resolverse en tiempo polinómico sik&gt;n−−√k&gt;nortek > \sqrt{n} y conjeturado duro …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Suponga que tengo conjuntos de con elementos tomados de r posibles. Cada conjunto es de tamaño n ( n &lt; r ), donde los conjuntos pueden superponerse. Quiero determinar si los siguientes dos problemas son NP completos o no:PPPrrrnnnn&lt;rn&lt;rn<r Problema A. ¿Hay ( 1 ≤ M ≤ P ) conjuntos …

9 graph-theory  np-hardness 

¿Me interesa saber cómo podemos usar los conceptos de Límites y Colimits para modelar problemas en la vida cotidiana? ¿Podría alguien proporcionar ejemplos de ingeniería (de software), tal vez? ¿O describir intuitivamente en general para qué tipo de problemas de modelado podemos usar estos conceptos? Gracias.

9 ct.category-theory 

¿Comprobar la transitividad de un dígrafo no es más fácil que (en términos de complejidad asintótica) tomar el cierre transitivo del dígrafo? ¿Conocemos algún límite inferior mejor que para determinar si un dígrafo es transitivo o no?Ω(n2)Ω(n2)\Omega(n^2)

9 graph-theory  directed-acyclic-graph  transitive-closure 

Estoy familiarizado con los programas lineales en que pueden resolver problemas con funciones objetivas lineales y restricciones lineales. Pero, ¿qué puede resolver la programación semidefinida que la programación lineal no puede? Ya sé que los programas semidefinidos son una generalización de programas lineales. Además, ¿cómo se reconoce un problema que …

9 linear-programming  convex-optimization  semidefinite-programming 

Esta pregunta es esencialmente la pregunta que hice en Mathoverflow. La lógica monádica de segundo orden (MSO) es lógica de segundo orden con cuantificación sobre predicados unarios. Es decir, cuantificación sobre conjuntos. Hay varias lógicas de MSO que son fundamentales para las estructuras estudiadas en informática. Pregunta 1. ¿Existe una …

9 lo.logic  ct.category-theory 

Feto, si no has oído hablar de él, puedes leerlo aquí . Utiliza un sistema de 'matrices de llamadas' y 'gráficos de llamadas' para encontrar todos los 'comportamientos de recursividad' de llamadas recursivas en una función. Para mostrar que una función termina, muestra que todos los comportamientos de recursividad de …

9 lo.logic  computability  functional-programming 

¿Existe algún sistema similar al cálculo lambda que sea fuerte normalizando, sin la necesidad de agregar un sistema de tipo encima?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Todos sabemos que la complejidad mínima de un algoritmo de clasificación basado en la comparación es la comparación de . Estoy tratando de hacer una clasificación a ciegas , es decir, dado un número salida de un circuito (con puertas booleanas, aritméticas y de "comparación") que ordena una lista de …

9 cc.complexity-theory  terminology  sorting 

Deje para , con la promesa de que (donde la suma ha terminado ). Entonces, ¿cuál es la complejidad de determinar si ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Observe que trivialmente el problema radica en porque iff . La pregunta es: ¿el problema radica en …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: matriz y vectores , donde todas las entradas de son enteros no negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Salida: una solución óptima a .x∗x∗x^*max{cTx:Ax≤b,x∈{0,1}n}max{cTx:Ax≤b,x∈{0,1}n}\max \{ c^T x : Ax \le b, x \in \{ 0,1\}^n …

9 np-hardness  integer-programming  exp-time-algorithms 

Ahora estoy tratando de entender mejor qué es la "interpretación abstracta" en los lenguajes de programación. Encontré un buen capítulo de libro que explica la idea de extender el dominio con un elemento menos fijo, los cuatro axiomas que producen un punto fijo para una función continua, y así sucesivamente. …

9 pl.programming-languages  program-analysis