Ciencias de la computación teórica

Cuando se nos da una descomposición de árbol de un gráfico con ancho w , hay varias formas en que podemos hacer que sea "agradable". En particular, se sabe que es posible transformarlo en una descomposición del árbol donde el árbol es binario y su altura es O ( log …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Pregunta corta ¿Cuál es el poder computacional de los circuitos "cuánticos", si permitimos puertas no unitarias (pero aún invertibles), y requerimos que la salida dé la respuesta correcta con certeza? Esta pregunta es, en cierto sentido, sobre lo que le sucede a la clase cuando permite que los circuitos usen …

15 complexity-classes  quantum-computing 

Una forma de demostrar que verificar la viabilidad de un sistema lineal de desigualdades es tan difícil como la programación lineal es a través de la reducción dada por el método elipsoide. Una forma aún más fácil es adivinar la solución óptima e introducirla como una restricción a través de …

15 ds.algorithms  linear-programming 

Decimos que una máquina de Turing es mortal si detiene para cada configuración inicial (en particular, el contenido de la cinta y el estado inicial pueden ser arbitrarios). ¿Cada lenguaje recursivo es reconocido por una máquina de Turing mortal? (es decir, si hay una TM que acepta , también hay …

15 computability 

El isomorfismo gráfico ( ) es un buen candidato para el intermedio . : existen problemas intermedios a menos que . Estoy buscando un problema natural que sea difícil para bajo la reducción de Karp (un problema de gráfico tal que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X ¿Existe un problema natural de gráfico …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Hay estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo polinómico y algoritmos exactos en tiempo exponencial. ¿Existen estudios sobre algoritmos de aproximación para problemas completos de NP en tiempo subexponencial de forma donde δ 2 ∈ ( 0 , 1 ) ?2nδ22nδ22^{n^{\delta_2}}δ2∈(0,1)δ2∈(0,1)\delta_2\in(0,1) Estoy particularmente interesado en …

15 approximation-algorithms  approximation-hardness 

Esto está escrito en la entrada wiki de Ejecución simbólica , pero no puedo encontrar ninguna referencia para ello. ¿Alguien puede mostrarme un puntero? Gracias.

15 reference-request  lo.logic  program-analysis 

Se ha realizado un trabajo fantástico en lo Permanente durante las últimas dos décadas. Me he estado preguntando por un tiempo sobre la posibilidad de un algoritmo Smooth P para el Permanente de Matrices No Negativas. Por supuesto, existe el famoso algoritmo JSV, pero este es un fpras. Pensando en …

15 cc.complexity-theory  complexity-classes 

Se me da como entrada un DAG de vértices donde cada vértice se etiqueta adicionalmente con algo de .n x S ( x ) ⊆ { 1 , … , n }GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Un tipo topológico de es una biyección desde los vértices de a tal que …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Los esfuerzos de verificación del compilador a menudo se reducen a demostrar que el compilador es completamente abstracto: que conserva y refleja las equivalencias (contextuales). En lugar de proporcionar pruebas de abstracción completas, algunos trabajos de verificación de compiladores recientes (basados ​​en categorías) de Hasegawa [ 1 , 2 ] …

15 pl.programming-languages  ct.category-theory  semantics  denotational-semantics  program-verification 

Se sabe que minimizar el tamaño de una expresión regular es completo para PSPACE, incluso si tenemos un DFA como la especificación del lenguaje . ¿Cuáles son los resultados si el idioma es finito? Uno puede considerar este problema en dos modelos: La entrada es todas las cadenas en el …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Esperaba que alguien pudiera explicarme por qué exactamente el problema del producto del subconjunto es fuertemente NP-duro, mientras que el problema de la suma del subconjunto es débilmente NP-duro. Subconjunto Suma: Dada y , ¿existe un subconjunto tal que .X= { x1, . . . , xnorte}X={X1,...,Xnorte}X = \{x_1,...,x_n\}TTTX′X′X'∑i ∈ …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

Si observa los combinadores recursivos en el cálculo lambda sin tipo, como el combinador Y o el combinador omega: Está claro que todos estos combinadores terminan duplicando una variable en algún lugar de su definición.ωY==( λ x .Xx )( λ x .XX)λ f.( λx .F(xx ))( λ x.F(xx ) )ω=(λX.XX)(λX.XX)Y=λF.(λX.F(XX))(λX.F(XX)) …

15 lo.logic  pl.programming-languages  linear-logic 

Esta pregunta trata sobre la lógica proposicional y todos los casos de "resolución" deben leerse como "resolución proposicional". Esta pregunta es algo extremadamente básico, pero me ha estado molestando por un tiempo. Veo personas afirmar que la resolución proposicional está completa, pero también veo personas afirmar que la resolución es …

15 lo.logic  terminology  proof-complexity  proof-theory  resolution 

Antecedentes La memoria externa, o modelo DAM, define el costo de un algoritmo por el número de E / S que realiza (esencialmente, el número de errores de caché). Estos tiempos de ejecución generalmente se dan en términos de MMETROM , el tamaño de la memoria y BsiB , el …

15 ds.algorithms  ds.data-structures  cache-oblivious