Ciencias de la computación teórica

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 …

24 lo.logic  soft-question  pl.programming-languages  linear-logic 

Esto está relacionado con la pregunta ¿Ya se conoce el tamaño de membresía de los testigos para cada idioma de NP? Algunos problemas naturales (-completos) tienen testigos de longitud lineal: una asignación satisfactoria para , una secuencia de vértices para , etc. S A T H A M P A …

24 cc.complexity-theory  complexity-classes  np 

EDITAR (v2): se agregó una sección al final sobre lo que sé sobre el problema. EDITAR (v3): discusión agregada sobre el grado de umbral al final. Pregunta Esta pregunta es principalmente una solicitud de referencia. No sé mucho sobre el problema. Quiero saber si ha habido trabajo previo sobre este …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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 …

24 big-list  books 

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 complejos (fuera de …

24 soft-question  big-picture 

Editar: Primero formulé mal mi restricción (2), ahora está corregida. También agregué más información y ejemplos. Con algunos colegas, estudiando alguna otra pregunta algorítmica, pudimos reducir nuestro problema al siguiente problema interesante, pero no pudimos resolver la cuestión de su complejidad. El problema es el siguiente. Instancia: un entero , …

24 cc.complexity-theory  ds.algorithms  reference-request 

Para cualquier lenguaje sobre Σ * , definir L 1 / 2 = { x ∈ Σ * : x y ∈ L , y ∈ Σ | x | } . En palabras, consiste de todas las para los cuales existe un de igual longitud tal que .LLLΣ∗Σ∗\Sigma^*L1/ 2= …

24 fl.formal-languages  automata-theory 

En "Requisitos para el cálculo cuántico" , Bartlett y Sanders resumen algunos de los resultados conocidos para el cálculo cuántico variable continuo en la siguiente tabla: MI pregunta es triple: Nueve años después, ¿se puede llenar la última celda? Si se agrega una columna con el título "Universal para BQP", …

24 quantum-computing 

Tipos y lenguajes de programación se enfoca bastante en el subtipo, pero por lo que puedo decir, el subtipo no parece especialmente fundamental. ¿El subtipo le da algo más que los tipos dependientes? Trabajar con tipos dependientes seguramente será más trabajo, por lo que puedo entender por qué los subtipos …

24 lo.logic  pl.programming-languages  type-theory 

Dados subconjuntos de .S 1 , ... , S n { 1 , ... , d }nnnS1,…,SnS1,…,SnS_1,\ldots,S_n{1,…,d}{1,…,d}\{1,\ldots,d\} Compruebe si hay conjuntos con . (Si es así, encuentre un ejemplo, si no, simplemente diga "no")Si,SjSi,SjS_i,S_jSi⊊SjSi⊊SjS_i \subsetneq S_j La solución trivial a este problema pasa por todos los pares de conjuntos y …

24 ds.algorithms  reference-request 

La conjetura de reconstrucción dice que los gráficos (con al menos tres vértices) están determinados únicamente por sus subgrafos eliminados de vértices. Esta conjetura tiene cinco décadas. Al buscar literatura relevante, descubrí que se sabe que las siguientes clases de gráficos son reconstruibles: arboles gráficos desconectados, gráficos cuyo complemento está …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Quiero hacer un primer solucionador SAT. Conozco la competencia SAT y la conferencia SAT, y hay tantos documentos sobre este tema. Soy un abridor, un abrumador abrumador. ¿Dónde debería comenzar? Finalmente quiero impulsar el estado del arte. Quiero un consejo experto sobre cómo comenzar, para no perder mi tiempo en …

24 ds.algorithms  reference-request  lo.logic  sat 

Problema de matrimonio estable: http://en.wikipedia.org/wiki/Stable_marriage_problem Soy consciente de que para una instancia de un SMP, son posibles muchos otros matrimonios estables, aparte del que devuelve el algoritmo Gale-Shapley. Sin embargo, si solo se nos da , el número de hombres / mujeres, hacemos la siguiente pregunta: ¿podemos construir una lista …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Está bien establecido que existe un umbral de ruido para el cómputo cuántico, de modo que por debajo de este umbral, el cómputo se puede codificar de tal manera que produzca el resultado correcto con probabilidad acotada (a lo sumo, sobrecarga computacional polinómica). Este umbral depende de la codificación utilizada …

24 quantum-computing  reference-request  fault-tolerance 

Contar el número de coincidencias perfectas en un gráfico bipartito se puede reducir de inmediato a calcular el permanente. Dado que encontrar una coincidencia perfecta en un gráfico no bipartito está en NP, existe una reducción de los gráficos no bipartitos al permanente, pero puede implicar una explosión polinómica desagradable …

24 graph-theory  counting-complexity  reductions  permanent