OK, esto puede parecer una pregunta de tarea y, en cierto sentido, lo es. Como tarea en una clase de algoritmos de pregrado, di el siguiente clásico: Dado un gráfico no dirigido , proporcione un algoritmo que encuentre un corte tal que , donde es el número de bordes que cruzan el corte. La...
Considere el problema de encontrar un conjunto máximo disjunto : un conjunto máximo de formas geométricas no superpuestas, de una colección dada de candidatos. Este es un problema de NP completo, pero en muchos casos, el siguiente algoritmo codicioso produce una aproximación de factor...
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...
Digamos que tenemos un problema de cálculo, por ejemplo, 3-SAT, que tiene un conjunto de instancias de problemas (posibles entradas) . Normalmente en el análisis de algoritmos o teoría de la complejidad computacional, tenemos algunos conjuntos de todas las entradas de longitud , y una función que...
Algoritmo de Karatsuba para la multiplicación rápida se publicó por primera vez en A. Karatsuba y Yu. Ofman (1962), "Multiplicación de muchos números digitales por computadoras automáticas", Actas de la Academia de Ciencias de la URSS 145: 293–294. Según Karatsuba (1995, "La complejidad de los...
Cuando enseño límites de cola, uso la progresión habitual: Si su rv es positivo, puede aplicar la desigualdad de Markov Si tiene independencia y también varianza limitada, puede aplicar la desigualdad de Chebyshev Si cada rv independiente también tiene todos los momentos limitados, entonces...
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...
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 fallar si...
Cuando restringido a - entradas, cada -Circuito calcula alguna función . Para obtener una función booleana , podemos agregar una puerta de umbral fanin-1 como puerta de salida. En la entrada , el umbral resultante - luego el circuito emite si , y las salidas si ; el umbral puede ser cualquier...
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...
Encontré el siguiente resultado durante mi investigación. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 donde m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) y a1,⋯,ama1,⋯,ama_1,\cdots,a_m se...
¿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 (
László Babai demostró recientemente que el problema del isomorfismo gráfico está en tiempo cuasipolinomial . Véase también su discurso en la Universidad de Chicago, nota de las charlas de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Según el teorema de Ladner, si , entonces no está...
Es bien sabido que el siguiente problema es PSPACE-complete: Dada la expresión regular , ¿ ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ∗L(β)=Σ∗L(\beta) = \Sigma^* ¿Qué pasa con la determinación de equivalencia a otras expresiones regulares (fijas) ?αα\alpha Dada la expresión regular , ¿ ?L ( β ) = L ( α...
Se dice que el CoC es la culminación de las tres dimensiones del Cubo Lambda. Esto no es aparente para mí en absoluto. Creo que entiendo las dimensiones individuales, y la combinación de cualquiera de los dos parece resultar en una unión relativamente sencilla (¿tal vez me falta algo?). Pero cuando...
El siguiente problema apareció recientemente en mi investigación. Al no ser un experto en preguntas algorítmicas, busqué en Google en busca de problemas adecuados para reducir. No veo cómo funcionaría 3SAT, y aunque ZOE es similar en espíritu, una reducción no es obvia. Otra posibilidad sería la...
Estoy escribiendo artículos en informática teórica, a veces siendo un autor único no anónimo. Anteriormente, utilicé la primera persona del plural en dichos documentos, por ejemplo: Mostraremos que las clases de complejidad X e Y coinciden. No soy hablante nativo de inglés ni extremadamente...
Me parece que el lenguaje macro utilizado por puede verse como algún tipo de sistema de reescritura de términos o algún tipo de lenguaje de programación con alcance de llamada por nombre.TEXTEX\TeX Incluso las implementaciones modernas del motor (por ejemplo, ) interpretan el código de una manera...
Recientemente, pasé por la experiencia divertida y dolorosa de explicar informalmente el concepto de complejidad computacional a un programador autodidacta joven y talentoso, que nunca antes había tomado un curso formal sobre algoritmos o complejidad. No es sorprendente que muchas nociones...
Estoy buscando idiomas que "probablemente no estén libres de contexto" pero no podemos (des) probarlo usando técnicas estándar conocidas. ¿Hay una encuesta reciente sobre el tema o una sección de problemas abierta de una conferencia reciente? Probablemente no haya muchos idiomas que no se...