Ciencias de la computación teórica

Me pregunto si las clases de NPC definidas por muchas reducciones y las reducciones de Turing son iguales. Editar: Otra pregunta, ¿las reducciones de Turing solo están colapsando las clases C y co-C para algunos C o hay una clase , ya que existe un problema que no está en …

11 cc.complexity-theory  np-hardness  reductions 

¿Hay algo en la literatura cercano al siguiente problema: Dado un gráfico bipartito con bipartición equilibrada , ¿existe una coincidencia perfecta en manera que por cada 2 aristas , exista una arista o arista? (o ambos) en ?{ U , W } M G u 1 w 1 , u …

11 matching 

Me interesarían mucho las referencias a la teoría de las funciones submodulares (desde lo básico hasta lo avanzado). En particular, estoy estudiando aproximaciones a problemas de optimización difíciles y quiero desarrollar mis fundamentos en funciones submodulares, ya que son relevantes para los problemas de optimización que he estado estudiando. Gracias …

11 ds.algorithms  reference-request  approximation-algorithms  optimization 

Una de las consecuencias más prácticas de la correspondencia "Curry-Howard-Lambek" es que la sintaxis de muchas lambda-calucli / lógicas puede usarse para realizar construcciones en una categoría suficientemente estructurada. Por ejemplo, la Geometría diferencial sintética tiene modelos en topoi que contienen e incrustan la categoría de múltiples suaves, por lo …

11 reference-request  pl.programming-languages  type-theory  ct.category-theory  constructive-mathematics 

Considere un gráfico conectado no dirigido con pesos de borde no negativos y dos vértices distinguidos s,ts,ts,t . A continuación se presentan algunos problemas de ruta que son todos de la siguiente forma: encuentre una ruta s−ts−ts-t , de modo que alguna función de los pesos de borde en la …

10 graph-theory  graph-algorithms  np-complete  polynomial-time 

Robin Gandy fue alumno de Alan Turing . Gandy hizo un análisis del motor analítico de Babbage (ver 'Gandy - La confluencia de ideas en 1936' citado en 'Herken, Rolf - La máquina universal de Turing: una encuesta de medio siglo . Springer Verlag') - y dijo que sí (cf. …

10 turing-machines  universal-computation  charles-babbage 

El problema de coincidencia perfecta de dos colores es decidir si un gráfico tiene una coloración con dos colores de manera que cada nodo tenga exactamente un vecino del mismo color que él. Schaefer demostró que el problema era NP completo . Sigue siendo NP-completo incluso para gráficos cúbicos planos. …

10 cc.complexity-theory  np-hardness 

Dado el gráfico G1, G2 y G3, queremos realizar la prueba de isomorfismo F entre G1 y G2, así como entre G1 y G3. Si G2 y G3 son muy similares, de modo que G3 se forma eliminando un nodo e insertando un nodo de G2, y tenemos el resultado …

10 graph-theory  graph-algorithms  graph-isomorphism 

Sabemos que bajo ETHETHETH no podemos resolver KKK -SUM en el tiempo f(K)poly(nK)f(K)poly(nK)f(K)poly(nK) bajo ninguna función f(K)f(K)f(K) (generalmente 2O(K)2O(K)2^{O(K)} ). ¿Hay alguna conjetura que evite una complejidad (logn)O(K)(log⁡n)O(K)(\log n)^{O(K)} (esto es completamente consistente con la posibilidad ya que K=Ω(n)K=Ω(n)K=\Omega(n) necesitamos tiempo exponencial para la suma del subconjunto) o se permite …

10 cc.complexity-theory  subset-sum 

En Complexity Zoo, dice [ 1 ] que, en complejidad descriptiva, PAGPAGP puede definirse mediante tres tipos diferentes de fórmulas, FO ( L FPAG)FO(LFPAG)FO(LFP) que también es FO ( nO ( 1 ))FO(norteO(1))FO(n^{O(1)}) , y también como SO ( HO R N)SO(HORnorte)SO(HORN) . Sin embargo, hay algunas excepciones, por ejemplo, …

10 lo.logic  polynomial-time  descriptive-complexity 

Me pregunto si alguien puede darme la intuición detrás de por qué la estricta positividad de los tipos de datos inductivos garantiza una fuerte normalización. Para ser claros, veo cómo tener ocurrencias negativas conduce a la divergencia, es decir, al definir: data X where Intro : (X->X) -> X Podemos …

10 reference-request  pl.programming-languages  type-theory  type-systems  dependent-type 

Esta es una generalización de mi pregunta anterior . Deje que MMM sea una máquina determinista en tiempo polinómico que pueden hacer preguntas a algún oráculo AAA . Inicialmente, AAA está vacío, pero esto se puede cambiar después de un juego que se describirá a continuación. Deje xxx ser una …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

¿Hay ejemplos de casos en los que la simulación clásica de un algoritmo cuántico para un problema supera al algoritmo clásico mejor conocido anteriormente para este problema? "Superar" no tiene que significar una clase de complejidad diferente, simplemente podría ser una mejor escala. Esta pregunta se inspiró en el caso …

10 cc.complexity-theory  quantum-computing  quantum-information 

La clase son las funciones de clase computables por familias de circuitos de abanico acotado, tamaño y profundidad . La es la unión de esas clases.CAROLINA DEL NORTEyoCAROLINA DEL NORTEyo\textrm{NC}^inorteO ( 1 )norteO(1)n^{O(1)}O ( logyo( n ) )O(Iniciar sesiónyo⁡(norte))O(\log^i(n))CAROLINA DEL NORTECAROLINA DEL NORTE\textrm{NC} ¿Hay algún estudio de la variante de …

10 cc.complexity-theory  circuit-complexity 

Actualmente estoy buscando un tema para una tesis y encontré el campo de la teoría de la información algorítmica. El campo me parece muy interesante, pero parece que todo es el campo que se hizo antes de muchos años. Entonces mi pregunta es: ¿el campo está "vivo" o está prácticamente …

10 cc.complexity-theory  it.information-theory