Preguntas etiquetadas con cc.complexity-theory

El teorema de Savitch muestra que para todas las funciones suficientemente grandes , y demostrar que esto es estricto ha sido un problema abierto durante décadas .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACmi(F(norte)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)FFf Supongamos que abordamos el problema desde el otro extremo. Por simplicidad, asuma el alfabeto booleano. La cantidad de espacio utilizado por …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Descargo de responsabilidad: sé muy poco sobre la teoría de la complejidad. Lo siento, pero realmente no hay forma de hacer esta pregunta sin ser (terriblemente) conciso: ¿Cuáles deberían ser los morfismos en "la" categoría de las máquinas de Turing? Esto es obviamente subjetivo y depende de la propia interpretación …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Un estudiante mío recientemente hizo la siguiente pregunta: D T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( n ) ) ⊊ …

16 cc.complexity-theory 

¿Cuáles son algunos ejemplos de pares de clases de complejidad y B tales queAAABBB no sabemos si , yA=BA=BA=B tampoco conocemos relativizaciones contradictorias (es decir, no conocemos los oráculos y Q de manera que A P = B P y A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q …

16 cc.complexity-theory  complexity-classes  relativization 

Leí que la programación lineal entera se puede resolver en tiempo polinominal si el número de variables es fijo, es decir, n ∈ O ( 1 ) . Si el número de variables crece logarítmicamente, es decir, n ∈ O ( log 2 ( N ) ) para una entrada …

16 cc.complexity-theory  np  open-problem 

¿Está NP en DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n}) ?

16 cc.complexity-theory  complexity-classes 

Estoy tratando de entender la complejidad de las funciones que se expresan a través de las puertas de umbral y esto me llevó a . En particular, estoy interesado en lo que se sabe actualmente sobre el aprendizaje dentro de T C 0 , ya que no soy un experto …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Estoy buscando problemas que se sabe que son NPC para gráficos dirigidos pero tienen un algoritmo polinomial para gráficos no dirigidos. He visto la pregunta sobre los problemas "dirigidos" al revés que son más fáciles que su variante "no dirigida" , pero estoy buscando dureza en el lado dirigido. Por …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Los autómatas finitos no ambiguos (UFA) son un tipo especial de autómatas finitos no deterministas (NFA). Un NFA se llama inequívoco si cada palabra tiene como máximo una ruta de aceptación.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Esto significa .D FA ⊂ UFA ⊂ NFUNreFUN⊂UFUN⊂norteFUNDFA\subset UFA\subset NFA Resultados de autómatas relacionados conocidos: La …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Los teoremas de la jerarquía son herramientas fundamentales. Un buen número de ellos se recopiló en una pregunta anterior (consulte ¿Qué jerarquías y / o teoremas de jerarquía conoce? ). Algunas separaciones de clase de complejidad se derivan directamente de los teoremas de jerarquía. Ejemplos de tales separaciones bien conocidas: …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Gowers ha esbozado recientemente un problema, que él llama "determinación Borel discreta", cuya solución está relacionada con probar los límites inferiores del circuito. ¿Puede proporcionar un resumen del enfoque que se adapta a una audiencia de teóricos de la complejidad? ¿Qué se necesitaría para que este enfoque demuestre algo , …

16 cc.complexity-theory  p-vs-np 

Hay muy poca información que puedo encontrar sobre el problema NP-completo de resolver la ecuación lineal de diofantina en enteros no negativos. Es decir, ¿hay una solución en no negativo para la ecuación , donde todas las constantes son positivas? La única mención notable de este problema que conozco está …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Un nuevo artículo salió reclamando algoritmo cuasi-polinomial para Logarithm discreto. http://arxiv.org/abs/1306.4244 Si es correcto, ¿significa que ya no tenemos una separación exponencial en la complejidad de un algoritmo clásico y su versión cuántica para el problema del logaritmo discreto? ¿Tiene esto alguna implicación para la teoría de la complejidad cuántica?

16 cc.complexity-theory 

Se sabe que se puede calcular exactamente el determinante de una matriz en el espacio determinístico log 2 ( n ) . ¿Cuáles serían las implicaciones de complejidad de aproximar el determinante de una matriz real, de la norma como máximo 1 ( ‖ A ‖ ≤ 1 ) en …

16 determinant  cc.complexity-theory 

Supongamos que . N P I es la clase de problemas en que no están ni en ni en N P -hard. Puede encontrar una lista de problemas conjeturados como N P I aquí .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}PNPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} El teorema de Ladner nos dice que si entonces hay una jerarquía infinita …

16 cc.complexity-theory  np-hardness  np-intermediate