Preguntas etiquetadas con cc.complexity-theory

En forma simple: ¿Puede un autómata finito bidireccional reconocer gráficos vértice que contienen un triángulo con estados ?vvvo(v3)o(v3)o(v^3) Detalles Aquí son de interés los gráficos vértice codificados usando una secuencia de aristas, cada arista es un par de vértices distintos de .vvv{0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\} Supongamos que es una secuencia de autómatas finitos …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP es la clase de problemas de N PNPNP con polinomios unidos en el número de soluciones (en el tamaño de entrada). Hay no se conoce N PNPNP problema -Complete en f e w PfewPfewP . Me interesa hasta dónde podemos extender esta observación. ¿Existe algún problema natural de N …

15 cc.complexity-theory  np 

¿Qué sucede si definimos P P A D dePPAD{\bf PPAD} tal manera que, en lugar de un circuito de polimerización de Turing-máquina / polisize, una máquina de Turing de espacio de registro o un circuito A C 0AC0{\bf AC^0} codifique el problema? Recientemente dando algoritmos más rápidos para satisfacibilidad circuito …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

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 

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 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 

En general, estoy interesado en el método de forzamiento utilizado por Baker-Gill-Solovay y Cohen. Estoy buscando tantas fuentes como pueda tener en cuenta en relación con la técnica en sí o su uso. ¿Alguien tiene sugerencias?

15 cc.complexity-theory  set-theory 

El sistema de prueba probabilística se conoce comúnmente como una restricción de M A , donde Arthur solo puede usar f ( n ) bits aleatorios y solo puede examinar g ( n ) bits de el certificado de prueba enviado por Merlin (ver, http://en.wikipedia.org/wiki/Interactive_proof_system#PCP ).PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)]MAMA\mathcal{MA}f(n)f(n)f(n)g(n)g(n)g(n) Sin embargo, en 1990 …

15 cc.complexity-theory  pcp  interactive-proofs 

¿Cuál es la complejidad computacional del siguiente problema: dados dos complejos matrices y verifique si hay una matriz de permutación tal que: n × nnorte×norten\times nUNUNAsisiBPAGPAGPB = PA PT.si=PAGUNPAGT.B = P A P^T. Si ayuda, uno puede suponer que y son hermitianos (o incluso que y son reales y simétricos).UNUNAsisiBUNUNAsisiB …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

Antecedentes Una fórmula de lectura única sobre un conjunto de compuertas (también llamada base) es una fórmula en la que cada variable de entrada aparece una vez. Las fórmulas de lectura única se estudian comúnmente sobre la base De Morgan (que tiene las compuertas de 2 bits AND y OR, …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Sabemos que los solucionadores de SAT basados ​​en DPLL no responden correctamente en casos insatisfactorios de (principio del agujero de paloma), por ejemplo, "hay un mapeo inyectivo de n + 1 a n ":P H PPAGHPAG\mathrm{PHP}n + 1norte+1n+1nortenorten P H Pn + 1norte: = ⎛⎝⋀i ∈ [ n + 1 …

15 cc.complexity-theory  lo.logic  proof-complexity 

Considere una colección de conjuntos F={F1,F2,…,Fn}F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} sobre un conjunto base U={e1,e2,…,en}U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} donde |Fi||Fi||F_i| ≪≪\ll nnn y ei∈Fiei∈Fie_i \in F_i , y sea kkk un número entero positivo. El objetivo es encontrar otra colección de conjuntos C={C1,C2,…,Cm}C={C1,C2,…,Cm}C=\{C_1,C_2,\dotsc,C_m\} más de UUU tal que cada FiFiF_i se puede escribir como una unión de …

15 cc.complexity-theory  np-hardness  set-cover  packing 

Considere el siguiente problema: dado un gráfico de consulta y un gráfico de referencia , queremos encontrar el mapeo inyectivo que minimiza el número de bordes tal que . Esta es una generalización del problema del isomorfismo del subgrafo en el que permitimos que los subgrafos sean isomorfos hasta algunos …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

El algoritmo Weisfeiler-Lehman 1-dim (WL) se conoce comúnmente como etiquetado canónico o algoritmo de refinamiento de color. Funciona de la siguiente manera: La coloración inicial es uniforme, C 0 ( v ) = 1 para todos los vértices v ∈ V ( G ) ∪ V ( H ) .C0 …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace