Estoy leyendo sobre el problema de flujo máximo aquí . No pude entender la intuición detrás del Gráfico Residual. ¿Por qué estamos considerando los bordes traseros al calcular el flujo? ¿Alguien puede ayudarme a entender el concepto de Gráfico Residual? ¿Cómo cambia el algoritmo en los gráficos...
Es bien sabido que 2-SAT está en P. Sin embargo, parece bastante interesante que contar el número de soluciones para una fórmula 2-SAT dada, es decir, # 2-SAT es # P-difícil. Es decir, tenemos un ejemplo de un problema para el cual la decisión es fácil, pero contar es difícil. Pero considere un...
Mientras hago el segundo código kata (que le pide que implemente un algoritmo de búsqueda binaria cinco veces, cada vez con un método diferente), he encontrado una solución ligeramente diferente que funciona de la siguiente manera: Si tengo un conjunto ordenado de longitud 100 y veo que su campo...
Acabo de leer ¿Puede este algoritmo seguir considerándose un algoritmo de búsqueda binaria? y recordé que hace unos años escribí un indexador / búsqueda de archivos de registro para encontrar entradas de registro en grandes archivos de texto sin formato por ventana de fecha / hora. Mientras hacía...
Estoy leyendo un papel, y dice en su descripción complejidad del tiempo que la complejidad es el tiempo .O~( 22 n)O~(22n)\tilde{O}(2^{2n}) He buscado en Internet y Wikipedia, pero no puedo encontrar lo que significa esta tilde en notación big-O / Landau. En el documento en sí tampoco he encontrado...
Estoy familiarizado con la semántica operativa (tanto pequeños como grandes) para definir lenguajes de programación. También estoy interesado en aprender semántica denotacional, pero no estoy seguro de si valdrá la pena el esfuerzo. ¿Aprenderé el mismo material desde un punto de vista diferente, o...
Tengo un problema algorítmico TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Por ejemplo: Si = [1, 3, 4, 1, 3, 6], entonces puede ser [3, 3, 6] o [3, 4, 6] o [4, 3, 6].STTTSSS En = [7, 5, 1, 1, 7, 4], entonces es [7, 5, 7, 4].STTTSSS He intentado esta función recursiva. function(T): if...
En la Introducción a los algoritmos de Cormen et al. , La sección 15.3 Elementos de la programación dinámica explica la memorización de la siguiente manera: Un algoritmo recursivo memorizado mantiene una entrada en una tabla para la solución de cada subproblema. Cada entrada de la tabla...
¿Está comprobado que el cálculo cuántico no es mejor para resolver problemas completos de NP que el cálculo clásico o simplemente se
Algunas de las obras de Conor McBride, Diff , Dissect , relacionan la derivada de los tipos de datos con su "tipo de contextos de un agujero". Es decir, si toma la derivada del tipo, le queda un tipo de datos que le muestra cómo se ve el tipo de datos desde adentro en cualquier punto...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años . En...
Tengo esta pregunta [algo graciosa] en mente. ¿Por qué el autómata finito no determinista se llama no determinista mientras definimos las transiciones para las entradas? Bueno, aunque hay transiciones múltiples y épsilon , están definidas, lo que significa que la máquina es determinista para esas...
He estado leyendo este libro para mi clase, Algoritmos aleatorios. En este libro en particular, hay una sección completa dedicada a encontrar la mediana de una matriz usando selección aleatoria, que conduce a un algoritmo más eficiente. Ahora, quería saber si existen aplicaciones prácticas de este...
Estoy familiarizado con la idea de la eliminación básica de la recursividad de la cola, donde las funciones que devuelven el resultado directo de una llamada pueden reescribirse como bucles iterativos. foo(...): # ... return foo(...) También entiendo que, como un caso especial, la función aún...
¿Hay alguna técnica para resolver ecuaciones funcionales para funciones desconocidas en el cálculo lambda? Supongamos que tengo la función de identidad definida extensivamente como tal: yox = xIx=xI x = x (es decir, escribiendo una ecuación para el comportamiento esperado de esa función) y ahora...
Digamos que estamos trabajando con un sistema que tiene 40 bits de dirección física. El espacio total de direcciones físicas (suponiendo que la memoria direccionable por bytes) es bytes, o 1 TiB. Y si las direcciones virtuales tienen 48 bits de longitud, eso significa que hay más direcciones...
Si lo entiendo correctamente, un algoritmo que calcula el valor de una función real tiene una complejidad computacional si se cumple lo siguiente: Cuando calculamos con precisión requiere del orden de pasos .fffO(g(n))O(g(n))O(g(n))fffδδ\deltag(n)g(n)g(n) Sin embargo, ¿qué sucede si tenemos un...
He estado leyendo sobre lenguajes de programación basados en pila, como FORTH y Cat , y parece que dada su naturaleza, solo pueden ejecutar una acción a la vez, independientemente de su paradigma (FORTH es imprescindible mientras que Cat es funcional). Un lenguaje imperativo modificaría la pila,...
¿Puedo probar las siguientes afirmaciones usando los comprobadores de teoremas automatizados disponibles? .( a + b )2= a2+ b2+ 2 a b(un+si)2=un2+si2+2unsi(a+b)^2=a^2+b^2+2ab Si , entonces 11 ∣ 7 a - 5 b .11 ∣ 2 a - 3 b11∣2un-3si 11 \mid 2a-3b11 ∣ 7 a - 5 b11∣7 7un-5 5si 11 \mid 7a-5b Si ,...
Tengo el problema Demuestre que existe un número real para el que no existe ningún programa que se ejecute infinitamente largo y escriba los dígitos decimales de ese número. Supongo que se puede resolver reduciéndolo al problema de detención, pero no tengo idea de cómo hacerlo. También...