Ciencias de la computación teórica

Supongamos que . Entonces demuestra un sencillo argumento de que P H P P = N P . ¿Podemos ir un paso más allá y obtener P P P P = N P ? El argumento simple esnortePAGS= PPAGSNP=PPNP=PPPAGSHPAGSPAGS= NPAGSPHPP=NPPH^{PP}=NPPAGSPAGSPAGSPAGS= NPAGSPPPP=NPPP^{PP}=NP Teorema Si entonces P H P P = N …

8 cc.complexity-theory  counting-complexity  conditional-results 

En Computabilidad, si queremos demostrar que un problema no es recursivo o recursivamente enumerable, podemos usar, por ejemplo, reducciones de otros problemas no recursivos o no re, el teorema de Rice, el teorema de Rice-Shapiro, etc. Estas técnicas funcionan gracias a , o se basan directamente en la existencia de …

8 cc.complexity-theory  computability 

Estoy interesado en el siguiente problema. Dado un gráfico euleriano , debemos encontrar una partición de sus bordes ( y ) , de manera que cada forma un ciclo simple en y es máxima posible.G = ( V, E)sol=(V,mi)G=(V,E)C1, C2, ... , CkC1,C2,...,CkC_1, C_2, \ldots, C_k∪yoCyo= E∪yoCyo=mi\cup_i C_i=Ei ≠ j …

8 graph-theory  graph-algorithms 

Antecedentes Sabemos que .P#P⊆PSPACEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Además, se conoce a partir del teorema de Toda que .PH⊆P#PPH⊆P#PPH \subseteq P^{\#P} Para obtener más información sobre , consulte aquí: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pregunta ¿Existe un oráculo tal que ( P # P ) A ≠ P S P A C E A ?AAA(P#P)A≠PSPACEA(P#P)A≠PSPACEA(P^{\#P})^{A} \neq …

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

Estoy buscando un concepto en teoría de tipos que estoy seguro de que probablemente ha sido explorado, pero no sé el nombre detrás. Consideremos un lenguaje similar a ML con tipos de producto y suma y un sistema de tipos similar a Hindley-Milner. Usaré la sintaxis OCaml. Me pregunto cómo …

8 type-theory  functional-programming 

¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Me falta una formación en informática teórica, pero me hubiera gustado entender a qué tipo de objetos teóricos corresponden los conceptos de C ++ . Básicamente, los conceptos de C ++ permiten definir un conjunto de tipos que satisfacen una lista de restricciones. Entonces, desde un punto de vista teórico, …

8 pl.programming-languages  type-theory  algebra  ct.category-theory 

El lenguaje Critical SAT se define como el conjunto de fórmulas booleanas f tal que f ∈ U N S A T, pero eliminar cualquier cláusula de f lo hace satisfactorio. Se sabe que el SAT crítico es D P -completo. Me pregunto acerca de la siguiente variante: dada una …

8 cc.complexity-theory  complexity-classes  boolean-functions 

G=(V,E)G=(V,E)G=(V,E) iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}iV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} ¿Puede dar una referencia donde el siguiente problema se muestra NP completo: dado un gráfico y un número , la pregunta es decidir si tiene un número isoperimétrico de vértice como máximo ?GGGtttGGGttt

8 reference-request  graph-theory  np-hardness 

Dado un NFA NnorteN y su DFA equivalente que DreDresulta de la determinación total de NnorteN (usando la construcción del conjunto de potencia, por ejemplo), las siguientes propiedades se mantienen para NnorteN , DreD y para cualquier palabra www : lee w en tiempo de ejecución como máximo O ( …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Me he estado preguntando por un tiempo sobre el origen de los nombres "inmunes" y "simples". También le hice la misma pregunta a Andrea Sorbi, quien a su vez involucró a algunos colegas más en la discusión. Sobre "simple" tenemos algunas conjeturas. Martin Davis sugiere que el nombre deriva de …

8 reference-request  lo.logic  computability  philosophy 

Primero, disculpas si esta pregunta es apropiada o trivial para este sitio. Soy un físico que busca ayuda fuera de su zona de confort. En PRL 87 167902 (2001) se afirma que "... para un arbitrariamente pequeño existe un código de corrección de errores con (para alguna constante ) tal …

8 reference-request  lower-bounds  quantum-information 

En la encuesta de Melliès, Semántica categórica de la lógica lineal , se proporciona un procedimiento de eliminación de corte para la lógica lineal intuicionista que incluye el siguiente caso: 3.9.3 Promoción versus contracción La prueba se transforma en la prueba π 1π1⋮!Γ⊢A!Γ⊢!A Promotionπ2⋮Υ1,!A,!A,Υ2⊢BΥ1,!A,Υ2⊢B ContractionΥ1,!Γ,Υ2⊢B Cutπ1⋮!Γ⊢A!Γ⊢!A Promotionπ2⋮Υ1,!A,!A,Υ2⊢BΥ1,!A,Υ2⊢B ContractionΥ1,!Γ,Υ2⊢B Cut \displaystyle\frac{ …

8 linear-logic 

Las versiones no uniformes de P, NP y coNP son P / poly, NP / poly y coNP / poly. Del mismo modo, podemos definir una versión no uniforme para cada nivel en el PH. Por ejemplo: / poly consiste en problemas de la forma , donde C es un …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

En este documento , Hajnal establece el siguiente lema: Sea el conjunto de todos los gráficos bipartitos con n vértices en la parte izquierda ym vértices en la parte derecha. Suponga que P ⊆ G n , m es no trivial, monótono e invariante con respecto a los isomorfismos de …

8 graph-theory  query-complexity