Nota: esto es de las notas de Algoritmos de JeffE sobre Recurrencias, página 5. (1) Entonces definimos la recurrenciaT(n)=n−−√T(n−−√)+nT(n)=nT(n)+nT(n) = \sqrt{n}T(\sqrt{n})+nSin ningún caso base. Ahora entiendo que para la mayoría de las recurrencias, dado que estamos buscando límites...
Leyendo esta respuesta a esta pregunta SO: ¿Por qué no combinamos generadores de números aleatorios? , habla de PRNG (generador de números pseudoaleatorios) de muy alta calidad así que me pregunto qué constituye un PRNG de alta calidad, supongo que puedes resumirlo como "más aleatorio", pero...
Las sutilezas de la correspondencia entre la teoría de tipos y la teoría de categorías están fuera de mi conocimiento. Sin embargo, por mi ingenua comprensión de la relación entre las dos disciplinas históricamente convergentes, esta última subsume por completo a la primera. Si es así, ¿pueden el...
Así que actualmente estoy trabajando en algo y he convertido todos los dígitos decimales 0-9 en binario. Pero ahora quiero tomar digamos 6 en binario y aumentar su orden de magnitud en base 10 (convirtiendo 6 en 60) sin convertir de nuevo a base 10. ¿Es esto posible? Si es así, ¿hay alguna manera...
Existe un algoritmo aleatorio muy simple que, dado un 3SAT, produce una asignación que satisface al menos 7/8 de las cláusulas (en expectativa): elija una asignación aleatoria. Una asignación aleatoria satisface cada cláusula con probabilidad 7/8, por lo que la linealidad de la expectativa muestra...
Soy nuevo en la teoría de la complejidad y quiero saber qué es la teoría de la complejidad estructural. ¿Cuáles son los problemas que los teóricos intentan resolver en este campo y cuál es su futuro? De la wikipedia: La teoría de la complejidad estructural o simplemente la complejidad...
Actualmente estoy leyendo el libro Introducción a la teoría de la computación (2da o 3ra ed.) De Michael Sipser , y me he topado con una pregunta en el Capítulo 1 - Lenguajes regulares , es decir, cuando el autor presenta la idea de prueba del Teorema 1.49 - "La clase de idiomas regulares está...
Tengo problemas para tratar de determinar si todos los números cuadrados (1, 4, 9, 16, ...) escritos en forma binaria (1, 100, 1001, ...) son un lenguaje regular. Después de algunos intentos de encontrar un patrón común de esos números, descubrí que para cualquier número cuadrado n2n2n^2,...
¿Hay alguna diferencia entre la recursividad estructural y la recursividad de cola o ambas son iguales? Veo que en estas dos recursiones, la función recursiva se llama en el subconjunto de los elementos
Considere la secuencia . Parece "regular" de una manera que, por ejemplo, no lo es.s1= ( 1 , 0 , 1 , 0 , ... )s1=(1,0 0,1,0 0,...)s_1 = (1, 0, 1, 0,\dots)s2= ( 1 , 2 , 3 , 4 , ... )s2=(1,2,3,4 4,...)s_2 = (1, 2, 3, 4,\dots) Sin embargo, no estoy seguro de cómo formalizar esta intuición. Una cosa...
Dado un conjunto finito SSS de puntos en RdRd\mathbb R^d, ¿cómo podemos calcular eficientemente un "punto más aislado"? x∈Sx∈Sx\in S? Definimos un "punto más aislado" xxx por x=argmaxp∈Sminq∈S∖{p}d(p,q)x=argmaxp∈Sminq∈S∖{p}d(p,q)x = \arg\max_{p \in S} \min_{q \in S \setminus \{p\}} d(p,q) (...
Disculpas por la pregunta de novato, pero estoy un poco confundido acerca de lo que cuenta exactamente como una "operación simple" al calcular la complejidad temporal de un algoritmo. En particular, ¿por qué consideramos que todas las operaciones son iguales? Seguramente, dividir dos números muy...
Un enfoque común para decidir si dos gráficos dados son isomórficos es calcular la llamada etiqueta canónica (alternativamente, gráfico canónico) de cada gráfico y verificar si coinciden o no. Herramientas como Nauty calculan el gráfico canónico a través de árboles de búsqueda que se podan...
En nuestro curso de conceptos de lenguaje de programación, nuestro instructor afirmó que está bien que un estado final conduzca a otro estado en un diagrama de estado finito. Pero esto parece ser un concepto fundamentalmente contradictorio. Debido a que un estado final por definición es uno que...
¿Existen algoritmos eficientes para verificar si una lista de enteros es coprime por pares, o sería un algoritmo más general la mejor opción
Estoy seguro de que debe haber algo incorrecto con el siguiente razonamiento porque, de lo contrario, se reduciría mucha investigación de P vs. NP, pero no puedo determinar mi error: Para cualquier entero fijo definak > 0k>0 0k>0sik: = { ⟨ Phi ⟩ |φes un wff de ZF y tiene una prueba de...
Dejar L1L1L_1 y L2L2L_2 ser el siguiente: L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M<N,∃1<d≤M such that d|N}L2={(N,M):M<N,∃1<d≤M such that d|N}L_2=\{(N,M):...
Estoy tratando de encontrar una manera de explicar la idea de la prueba del problema de detención de la manera más accesible posible (para estudiantes universitarios de CS). El argumento más simple que he encontrado es este ; este es precisamente el estilo de tratamiento que busco. Sin embargo, la...
Aquí hay cuatro principios que no puedo conciliar: Los algoritmos de tiempo exponencial doble se ejecutan enO (22nortek)O(22nk)O(2^{2^{n^k}}) tiempo con k ∈ Nk∈Nk \in \mathbb{N} constante Los algoritmos de tiempo exponencial se ejecutan enO (2nortek)O(2nk)O(2^{n^k}) con k ∈ Nk∈Nk \in \mathbb{N}...
Veo en todas partes que la ecuación recursiva para la complejidad de Strassen alg es: Esto no está tan claro para mí. Se supone que el parámetro es el tamaño de la entrada, pero parece que aquí es una dimensión de una matriz, mientras que el tamaño de entrada es en realidad . Además, cada matriz de...