Existen muchas aplicaciones de análisis real en ciencias de la computación teóricas, que abarcan las pruebas de propiedad, la complejidad de la comunicación, el aprendizaje PAC y muchos otros campos de investigación. Sin embargo, no puedo pensar en ningún resultado en TCS que se base en análisis...
En su respuesta a esta pregunta , Stephane Giménez me señaló un algoritmo de normalización de tiempo polinómico para pruebas en lógica lineal. La prueba en el documento de Girard utiliza redes de prueba, que son un aspecto de la lógica lineal que realmente no conozco mucho. Ahora, he tratado de...
Me topé con un desacuerdo confuso entre Agda y Coq que obviamente no está relacionado con las distinciones más conocidas entre sus teorías de tipo (por ejemplo, (im) predicatividad, inducción-recursión, etc.). En particular, Agda acepta la siguiente definición: data Ty : Set0 -> Set0 where...
Existe la reputación de que, en informática, no tenemos libros de ciencias populares. ¡Por supuesto que eso no es realmente cierto! (En el mismo espíritu de la lista de los libros que debería todo el mundo Leer? , ¿Qué documentos deben leer todo el mundo? , ¿Qué videos deben reloj todo el mundo? E...
Sé que es indecidible determinar si un conjunto de fichas puede enlosar el plano, como resultado de que Berger usa fichas de Wang . Mi pregunta es si también se sabe que es indecidible determinar si un solo mosaico dado puede enlosar el plano, un mosaico monoédrico . Si esto sigue sin resolverse,...
Supongo que leí demasiados documentos ambiciosos de CoRR . El problema es que esos documentos no son revisados por pares, pero a menudo suenan interesantes y pasan verificaciones básicas de plausibilidad. O tal vez no, y solo necesito mejorar mis verificaciones de plausibilidad. Aquí hay una...
Estoy tratando de entender la relación entre el isomorfismo gráfico y el problema oculto de subgrupos. ¿Hay una buena referencia para
Subhash Khot 's juegos únicos conjetura es una de las áreas de investigación activos en teoría de la complejidad. ¿Qué evidencia tenemos de ello? ¿Qué evidencia tenemos en
Si tengo un conjunto de restricciones lineales en las que cada restricción tiene como máximo (por ejemplo) 4 variables (todas no negativas y con coeficientes {0,1} excepto una variable que puede tener un coeficiente -1), qué se sabe sobre la solución ¿espacio? Me preocupa menos una solución...
( Publiqué esta pregunta en MathOverflow hace dos semanas, pero hasta ahora sin una respuesta rigurosa) Tengo una pregunta sobre las medidas de ancho de gráficos de gráficos simples no dirigidos. Es bien sabido que los cográficos (gráficos que pueden construirse mediante las operaciones de unión y...
Publicación actualizada el 31 de agosto : agregué un resumen de las respuestas actuales debajo de la pregunta original. Gracias por todas las respuestas interesantes! Por supuesto, todos pueden seguir publicando cualquier hallazgo nuevo. ¿Para qué familias de gráficos existe un algoritmo de...
Dado es un dag. Desea etiquetar cada nodo por la cantidad de nodos a los que se puede acceder desde él. es un límite superior trivial; Ω ( V + E ) es un límite inferior (creo). ¿Hay un mejor algoritmo? ¿Hay alguna razón para creer que el límite inferior se puede mejorar (relacionado: qué se sabe...
Esta pregunta está relacionada con una respuesta que publiqué en respuesta a otra pregunta. El problema de 3 particiones es el siguiente: Instancia : enteros positivos a 1 , ..., a n , donde n = 3m y la suma de los n enteros es igual a mB, de modo que cada a i satisface B / 4 <a i <B / 2....
El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Es NP-difícil calcular el ancho del árbol. El algoritmo de aproximación más conocido logra factor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) El teorema de Courcelle establece que cualquier propiedad de gráficos definibles en lógica...
¿Qué se sabe sobre la complejidad de encontrar circuitos mínimos que computan SAT hasta una longitud nnn ? Más formalmente: ¿cuál es la complejidad de una función que, dado como entrada, genera un circuito mínimo tal que para cualquier fórmula φ con , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi|...
En la encuesta "Circuitos cuánticos de pequeña profundidad" de D. Bera, F. Green y S. Homer (p. 36 de ACM SIGACT News, junio de 2007 vol. 38, no. 2) , leí la siguiente oración: La versión clásica de (en la que las compuertas A N D y O R tienen como máximo un despliegue constante) es...
El primer paso del algoritmo de prueba de primalidad AKS es verificar si el número de entrada es una potencia perfecta. Parece que este es un hecho bien conocido en la teoría de números ya que el documento no lo explicó en detalle. ¿Alguien puede decirme cómo hacer esto en tiempo polinómico?...
Probablemente, la aplicación más común de los tipos lineales en PL es usarlos para dar lenguajes que controlen el alias (es decir, un valor lineal tiene un solo puntero, más o menos). Pero hay un ligero desajuste entre este uso y los modelos denotacionales típicos de lógica lineal. IIRC, Benton...
Para A⊂[n]UNA⊂[norte]A\subset [n] denotan por aiunayoa_i el ithyothi^{th} elemento más pequeño de AUNAA . Para dos conjuntos de elementos kkk , A,B⊂[n]A,B⊂[n]A,B\subset [n] , decimos que A≤BA≤BA\le B si ai≤biai≤bia_i\le b_i para cada iii . A kkk hypergraph Uniform que se llama una cadena cambio...
¿Dónde puedo encontrar gráficos relevantes para problemas de la vida real? Dos repositorios que conozco son: Colección de matriz dispersa de la Universidad de Florida TreewidthLib de