MakarovSuites
Français
EnglishDeutschРусскийУкраїнськаFrançaisEspañolItalianoPolski
Contact et licences

Math

Sac à dos : la gloutonnerie contre la table

Choisissez des colis numérotés sous une limite de masse. Comparez avec le glouton et l’optimum, puis ouvrez une cellule et remontez vers le choix optimal.

Sac à dos : la gloutonnerie contre la table — Image réelle de l’application
Image réelle de l’application

Ce qui se passe

Choisissez des colis numérotés sous une limite de masse. Comparez avec le glouton et l’optimum, puis ouvrez une cellule et remontez vers le choix optimal. T(i,c) : meilleure valeur parmi les i premiers objets avec une capacité c. Cliquez une cellule : bleu ignore, vert prend. Les flèches changent de page. w = masse, v = valeur. La taille est décorative ; seule la masse totale est limitée. La borne fractionnaire permet de diviser les objets. C’est une borne supérieure, pas un choix admissible en 0/1.

Équations du module
Équations
0/1 : sum(w_i x_i) <= W ; max sum(v_i x_i), x_i dans {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

Autres expériences

Retour au catalogue
Simplexe dans le plan — Image réelle de l’application

Math

Simplexe dans le plan

Le domaine réalisable repose sur la table et une plaque est suspendue au-dessus, à la hauteur de l'objectif. L'objectif est linéaire, donc la plaque est plate et inclinée, et le meilleur point est littéralement son coin le plus haut.

La machine de Turing et les castors affairés — Image réelle de l’application

Math

La machine de Turing et les castors affairés

Un ruban de papier entre deux bobines, une tête métallique avec une lampe d'état et une table de règles. Chaque pas se joue en lire, écrire, déplacer, nouvel état ; le journal en bas garde toute l'exécution, et une règle modifiée conserve l'ancienne en fantôme. Les records sont trouvés en énumérant toutes les machines, pas cités.

Fourier, une période et un facteur — Image réelle de l’application

Math

Fourier, une période et un facteur

Comparez un pic à son voisin, puis mesurez : un pic suggère un dénominateur, pas un facteur garanti. Modèle CPU idéal, 12 qubits, sans bruit ni appareil réel. Pour N=21, Q=128 < N² : précision réduite. Bases premières avec N ; sinon PGCD(a,N) donne déjà un facteur.