La compuerta AND & OR es una compuerta que recibe dos entradas y devuelve su AND y su OR. ¿Los circuitos hechos solo con la compuerta AND & 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 a...
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...
Me di cuenta de que los idiomas regulares sobre el alfabeto pueden considerarse naturalmente como un poset, y de hecho una red. Además, la concatenación junto con el lenguaje vacío ϵ define una estructura monoidal estricta en esta categoría que es distributiva sobre las uniones (no estoy seguro...
¿Hay un ejemplo de un problema natural que está en BPP pero que no se sabe que está en RP o
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...
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...
Soy estudiante universitario y recientemente he aceptado el hecho de que es posible que no tenga el intelecto para hacer investigación en informática teórica, o que no pueda ser admitido y completar un programa de doctorado. Sin embargo, todavía me gustaría participar en la informática teórica ya...
O(nlogn)O(nlogn)O(n\log n)1+O(n−c)1+O(n−c)1+O(n^{-c})cccO(n)O(n)O(n)(max−min)n−(c+1)(max−min)n−(c+1)(\max-\min)n^{-(c+1)}de su valor original, y luego use la clasificación de radix. Pero los modelos con redondeo tienen una teoría de complejidad problemática y esto me llevó a preguntarme, ¿qué pasa...
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)nlogn2O(log∗n)n\log...
Enseñaré una clase de pregrado estándar sobre idiomas y autómatas el próximo semestre, y preferiría usar un texto legítimo gratuito o de bajo costo. ¿Alguna sugerencia? Me encanta el texto Sipser, pero la última edición cuesta $ 196, lo cual es difícil de decir con una cara seria en la era de los...
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...
Según el artículo de KW Regan "Connect the Stars" , menciona al final que todavía es un problema abierto encontrar una representación de enteros de tal manera que las operaciones de suma, multiplicación y comparación sean computables en tiempo lineal: ¿Existe una representación de enteros para...
Todos sabemos que la distinción de elementos en el modelo basado en la comparación no se puede hacer en el tiempo . Sin embargo, en una palabra RAM, uno posiblemente puede lograr mejor.o ( n logn )o(nlogn)o(n\log n) Por supuesto, si uno asume la existencia de una función hash perfecta que se...
Mientras razonaba un poco sobre esta pregunta , he tratado de identificar todas las diferentes razones por las cuales un gráfico puede no ser k colorable. Estas son las dos únicas razones que pude identificar hasta ahora:G=(VG,EG)G=(VG,EG)G = (V_G,E_G)kkk contiene una camarilla de tamaño k + 1 ....
Hay muchos lugares donde se muestran los números y . Tengo curiosidad por saber acerca de los algoritmos cuyo tiempo de ejecución contiene la proporción áurea o en el
Antecedentes: Sea dos vértices de un gráfico no dirigido . Un conjunto de vértices es un separador si y pertenecen a diferentes componentes conectados de . Si no hay un subconjunto adecuado de -separator es un -separator, entonces es un mínimo -separator. Un conjunto de vértices es un separador...
En una categoría cartesiana cerrada ( CCC ), existen los llamados objetos exponenciales , escritas . Cuando un CCC es considerado como un modelo de la simplemente-mecanografiada λ -calculus , un objeto exponencial como B A caracteriza el espacio de la función de tipo A a tipo B . Un objeto...
Motivado por la respuesta de Shor relacionada con diferentes nociones de integridad de NP, estoy buscando un problema que es NP completo bajo las reducciones de P pero no se sabe que es NP completo bajo las reducciones de Logspace (preferiblemente durante mucho tiempo). Además, ¿es más difícil...
¿Hay una manera (razonable) de muestrear una función booleana uniformemente aleatoria cuyo grado como polinomio real es como máximo ?df:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd EDITAR: Nisan y Szegedy han demostrado que una función de grado depende a lo sumo de las coordenadas , por lo...
Considere el lenguaje .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Se sabe que no puede ser reconocido por ninguna máquina de Turing alterna (espacio) sublogarítmico (Szepietowski, 1994) . (¡Hay un cajero automático que utiliza un espacio sublogarítmico...