Preguntas etiquetadas con cc.complexity-theory

¿Hay algún problema natural en P para el cual el límite de tiempo de ejecución más conocido sea de la forma , donde es una constante irracional ?O ( nα)O(norteα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 Está claro que para cualquier lenguaje L∈PL∈PL\in {\mathsf P} mantiene que L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) para cada límite de tiempo superpolinómico f(n)f(n)f(n) . Me pregunto si lo contrario de esta afirmación también es cierto. Es decir, si conocemos L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) para cada límite de tiempo superpolinómico f(n)f(n)f(n) …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Es un resultado clásico que cada circuito 2-Y-O-NO de ventilador que calcula PARIDAD a partir de las variables de entrada tiene un tamaño de al menos y esto es nítido. (Definimos el tamaño como el número de compuertas AND y OR). La prueba es por eliminación de compuerta y parece …

21 cc.complexity-theory  circuit-complexity  parity 

Sé que la complejidad de la mayoría de las variedades de cálculos lambda mecanografiados sin la primitiva combinatoria Y está limitada, es decir, solo se pueden expresar funciones de complejidad limitada, con el límite cada vez mayor a medida que crece la expresividad del sistema de tipos. Recuerdo que, por …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

Shor declaró, en su comentario a la respuesta anónima de los alces a esta pregunta ¿Puedes identificar la suma de dos permutaciones en el tiempo polinómico? , que es completo para identificar la diferencia de dos permutaciones. Desafortunadamente, no veo una reducción directa del problema de la suma de permutación …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

El mejor límite superior conocido en la complejidad temporal de la multiplicación es el límite de Martin Fürer , que es más que la complejidad lineal de tiempo de la suma. ¿Tenemos una prueba de que la suma es inherentemente más fácil que la multiplicación?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

Muchos resultados importantes en la teoría de la complejidad computacional, y en particular la teoría de la complejidad "estructural", tienen la propiedad interesante de que pueden entenderse como fundamentalmente siguientes (como lo veo ...) de los resultados algorítmicos que proporcionan un algoritmo eficiente o protocolo de comunicación para algunos problema. …

21 cc.complexity-theory  structural-complexity 

Usando el algoritmo carry look ahead podemos calcular la suma usando una familia de circuitos tamaño de polinomio de profundidad 5 (o 4?) . ¿Es posible reducir la profundidad? ¿Podemos calcular la suma de dos números binarios usando una familia de circuitos de tamaño polinómico con una profundidad menor que …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

¿Hay un ejemplo de un problema natural que está en BPP pero que no se sabe que está en RP o co-RP?

21 cc.complexity-theory  complexity-classes  randomness 

Como sabemos, la función -clique toma un subgrafo ( abarcando ) de un gráfico -vertex completo , y genera sif contiene una -clique . Las variables en este caso corresponden a los bordes de . Se sabe (Razborov, Alon-Boppana) que, para , esta función requiere circuitos monótonos de tamaño aproximadamente …

21 cc.complexity-theory  optimization  circuit-complexity 

Considere el siguiente razonamiento: Deje que denote la complejidad de Kolmogorov de la cadena x . El teorema de incompletitud de Chaitin dice queK( x )K(x)K(x)Xxx para cualquier sistema coherente y suficientemente fuerte formales , existe una constante T (dependiendo sólo del sistema formal y su lenguaje) tal que para …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

¿Existe alguna hipótesis plausible de complejidad / criptografía que descarte la posibilidad de que los circuitos de tamaño polinomial tengan circuitos de tamaño subexponencial (es decir, con ϵ &lt; 1 ) de profundidad limitada ( d = O ( 1 ) )?2O ( nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ &lt; 1ϵ&lt;1\epsilon<1re= O ( 1 )d=O(1)d …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

La compuerta AND &amp; OR es una compuerta que recibe dos entradas y devuelve su AND y su OR. ¿Los circuitos hechos solo con la compuerta AND &amp; OR, sin fanout, son capaces de hacer cálculos arbitrarios? Más precisamente, ¿el espacio de registro de cálculo del tiempo polinómico es reducible …

21 cc.complexity-theory  circuit-complexity 

Inspirado por la pregunta de factoraje conocido como P-hard , me pregunto cuál es el estado actual de conocimiento similar sobre la dureza del isomorfismo gráfico. Estoy seguro de que actualmente no se sabe si GI está en P, pero: ¿Cuál es la clase más grande actualmente conocida que GI …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

Luca Trevisan mostró cuántas construcciones de generadores pseudoaleatorios pueden considerarse, de hecho, construcciones extractoras: http://www.cs.berkeley.edu/~luca/pubs/extractor-full.pdf ¿Hay una conversación significativa? Es decir, ¿pueden considerarse las construcciones "naturales" de extractores como construcciones de generadores pseudoaleatorios (PRG)? Las construcciones de extractor parecen corresponder a distribuciones sobre PRG (de modo que cualquier distintivo no …

21 cc.complexity-theory  pseudorandomness  pseudorandom-generators  extractors