MakarovSuites
Español
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Contacto y licencias

Math

Mochila: la codicia contra la tabla

Elige objetos numerados con un límite de peso. Compara con el voraz y el óptimo, abre una celda y sigue el camino de vuelta a la selección óptima.

Mochila: la codicia contra la tabla — Imagen real de la aplicación
Imagen real de la aplicación

Qué ocurre

Elige objetos numerados con un límite de peso. Compara con el voraz y el óptimo, abre una celda y sigue el camino de vuelta a la selección óptima. T(i,c): mejor valor de los primeros i objetos con capacidad c. Pulsa una celda: azul omite, verde toma. Las flechas pasan páginas. w = peso, v = valor. El tamaño es decorativo; solo se limita el peso total. La cota fraccionaria permite dividir objetos. Es una cota superior, no una selección válida del problema 0/1.

Ecuaciones del módulo
Ecuaciones
mochila 0/1: sum(w_i x_i) <= W; max sum(v_i x_i), x_i en {0,1}
T(0,c) = 0
w_i > c: T(i,c) = T(i-1,c)
w_i <= c: T(i,c) = max(T(i-1,c), v_i + T(i-1,c-w_i))
v_i/w_i ↓; i ↑
F_greedy <= F_0/1 <= F_fractional
V_single = max({0} ∪ {v_i : w_i <= W})
max(F_greedy, V_single) >= F_0/1 / 2
N_DP = n*W; N_subsets = 2^n

Otros experimentos

Volver al catálogo
Símplex en el plano — Imagen real de la aplicación

Math

Símplex en el plano

La región factible descansa sobre la mesa y encima cuelga una placa a la altura del objetivo. El objetivo es lineal, así que la placa es plana e inclinada, y el mejor punto es literalmente su esquina más alta.

La máquina de Turing y los castores afanosos — Imagen real de la aplicación

Math

La máquina de Turing y los castores afanosos

Una cinta de papel entre dos carretes, un cabezal metálico con una lámpara de estado y una tabla de reglas. Cada paso se reproduce como leer, escribir, mover, nuevo estado; el diario de abajo guarda toda la ejecución, y una regla editada conserva la antigua como un fantasma. Los récords se hallan enumerando todas las máquinas, no se citan.

Fourier, un periodo y un factor — Imagen real de la aplicación

Math

Fourier, un periodo y un factor

Compare un pico con su vecino y mida: el pico sugiere un denominador, no un factor garantizado. Modelo CPU ideal, 12 cúbits, sin ruido ni dispositivo real. Para N=21, Q=128 < N²: precisión reducida. Bases coprimas con N; si no, MCD(a,N) ya da un factor.