¿Hay algún algoritmo subcuadrático conocido para calcular el piso de la raíz cuadrada de un nentero de bits? El algoritmo ingenuo sería algo así como def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc <= x: x -= inc r += 1...
Soy un estudiante de segundo año de secundaria que está interesado en ciencias de la computación. Desarrollé un algoritmo genial para #SAT, y estoy implementando y haciendo un proyecto de feria de ciencias al respecto. Mi asesora, quien es la mejor maestra de ciencias en mi escuela y también es...
Considere el siguiente problema: Entrada : enumera de enterosX,YX,YX,Y Objetivo : determinar si existe un número entero que está en ambas listas.xxx Supongamos que ambas listas son de tamaño n . ¿Existe un algoritmo determinista de tiempo lineal para este problema? En otras palabras, ¿puedes...
¿Se invierte una matriz en la clase de complejidad ?PAGSPAGS\text{P} Desde el tiempo de ejecución, diría yes pero la matriz invertida puede contener entradas donde el tamaño no está limitado polinómicamente por la entrada.O
Como estoy estudiando para mi curso universitario de idiomas formales, me topé con estas fascinantes publicaciones ( One Two ) que describen cómo encontrar un número primo usando una expresión regular . Como ya he dicho, una expresión regular , no una expresión regular . Dado que una expresión...
En Conceptos en lenguajes de programación , John Mitchell escribe que la verificación de tipos estáticos es necesariamente conservadora (demasiado estricta) debido al problema de detención. Él da como ejemplo: if (complicated-expression-that-could-run-forever) then (expression-with-type-error)...
Utilizo una variación de un filtro mediano de 5 cruces en los datos de imagen en un pequeño sistema integrado, es decir x x x x x El algoritmo es realmente simple: lea 5 valores enteros sin signo, obtenga los 2 más altos, haga algunos cálculos y escriba el resultado entero sin signo. Lo que...
Este es un seguimiento de otra pregunta aquí , y espero que no sea demasiado filosófico. Como señaló Raphael en un comentario sobre mi pregunta anterior, realmente no entiendo la definición de "computable", pero de acuerdo con algunos documentos que leí, la definición tampoco está muy clara cuando...
Actualmente estoy leyendo algunos documentos sobre el agrupamiento de la cadena de Markov y no puedo ver la diferencia entre una cadena de Markov y un gráfico ponderado dirigido simple. Por ejemplo, en el artículo Optimización óptima del espacio de estado en las cadenas de Markov , proporcionan la...
Considere el siguiente problema. Dado: Un gráfico completo con pesos reales no negativos en los bordes. Tarea: Encuentre un subgrafo plano de peso máximo. ("Máximo" entre todos los subgrafos planos posibles.) Nota: El subgrafo de peso máximo será una triangulación; Si el gráfico completo está...
Parece recordar de una clase de pregrado que para una máquina de Turing con una cinta finita siempre existirán los autómatas estatales finitos correspondientes, pero no he podido encontrar esto confirmado en ningún lugar de Internet. ¿Es este realmente el caso o estoy recordando...
Que yo sepa, no existe un algoritmo de peor caso que resuelva el siguiente problema:O ( n )O(norte)O(n) Dada una secuencia de longitud consiste en enteros finitos, encuentre la permutación donde cada elemento es menor o igual que su sucesor.nortenorten ¿Pero hay una prueba de que no existe, en...
Escuché varias explicaciones posibles, así que me gustaría una referencia confiable. Actualización 05.19: Estoy interesado en la pregunta porque uno de mis estudiantes escribió en su tesis que el nombre proviene de la explicación a continuación (1). Hasta ahora pensé / escuché que proviene de la...
Pienso en los idiomas unarios , donde L k es un conjunto de todas las palabras cuya longitud es la suma de k cuadrados. Formalmente: L k = { a n ∣ n = k ∑ i = 1 n i 2 ,LkLkL_kLkLkL_kkkk Es fácil demostrar que L 1 = { a n 2 ∣ n ∈ N 0 } no es regular (p. Ej. Con Pumping-Lemma). Además, sabemos que...
En la página de Wikipedia aquí , describe bastante bien el algoritmo CDCL (y parece que las imágenes fueron tomadas de diapositivas creadas por Sharad Malik en Princeton). Sin embargo, al describir cómo dar marcha atrás, todo lo que dice es "al punto apropiado". MiniSAT también usa una variante del...
¿Se puede implementar la operación de división para árboles AVL con complejidad? O(logn)O(logn)O(\log n)? Estoy interesado en enlaces a artículos o cualquier información específica sobre este tema. La operación de división divide el árbol AVL en dos árboles AVL derivados, según la clave. Uno de...
Por lo tanto, existe un algoritmo para convertir los términos de cálculo lambda en lógica combinatoria utilizando los combinadores SK. Produce cosas que explotan en tamaño. Me gustaría saber más sobre esta explosión de tamaño. Sin embargo, no puedo pensar en un algoritmo mejor. He oído hablar de...
Me presentan una red de comparación. ¿Cómo puedo determinar si la red de comparación es una red de clasificación? En la imagen a continuación hay un ejemplo de una red de clasificación de selección e inserción. La intención es tener una red de comparación y ordenar valores numéricos. Si pruebo 2 ^...
Tengo un conjunto de puntos que se definen en un espacio métrico, por lo que puedo medir una 'distancia' entre puntos, pero nada más. Quiero encontrar el punto más central dentro de este conjunto, que defino como el punto con la suma mínima de distancias a todos los demás puntos. El cálculo métrico...
¿Existe una caracterización de gráficos cuyo conjunto de bordes se descomponga en una unión disjunta de combinaciones perfectas? Una clase trivial de tales gráficos son los gráficos -regulares ( n , n ) -bipartitos. Su conjunto de bordes se descompondrá en d combinaciones perfectas disjuntas....