∑
MathTCG
#100 / 200•Foundations•MathTCG #100 / 500•★Commune•⊦Maths Discrètes•Méthode & Idée

Diviser pour régner

Période historique : XXe siècle (Algorithmique moderne, von Neumann)

Le paradigme algorithmique brisant un problème en sous-problèmes indépendants faciles à vaincre.

Contenu & Formulation mathématique

Principe de la démarche
Décomposition récursive en sous-problèmes disjoints, résolution indépendante et combinaison finale (Divide, Conquer, Combine).
Champs d'application canoniques
Algorithmes de tri (MergeSort, QuickSort), multiplication rapide de grands entiers (Karatsuba), FFT de Cooley-Tukey.
T(n)=a T(n/b)+O(nd)(Theˊoreˋme Maıˆtre)T(n) = a\,T(n/b) + O(n^d) \quad (\text{Théorème Maître})

Genèse & Portée historique

Stratégie algorithmique majeure divisant récursivement un problème de taille n en plusieurs sous-problèmes indépendants de même nature mais de taille réduite, les résolvant récursivement jusqu'à un cas de base trivial, puis recombinant efficacement leurs solutions partielles (ex: tri fusion, transformée de Fourier rapide).

Si le principe informel remonte à l'Antiquité, John von Neumann formalisa son application aux ordinateurs électroniques en 1945 avec le tri fusion (Merge Sort) pour l'EDVAC, ramenant la complexité du tri à O(n log n).

« Morceler la difficulté pour rendre chaque bataille élémentaire, puis triompher dans la synthèse. »

Filiations & Relations conceptuelles (1)

Objet de collection MathTCG

#100
★Commune
⊦

Diviser pour régner

Maths Discrètes•MÉTHODE

Principe : Décomposition récursive en sous-problèmes disjoints, résolution indépendante et combinaison finale (Divide, Conquer, Combine).

T(n)=a T(n/b)+O(nd)(Theˊoreˋme Maıˆtre)T(n) = a\,T(n/b) + O(n^d) \quad (\text{Théorème Maître})
XXe siècle (Algorithmique moderne, von Neumann)

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.

Extension : Foundations (#100 / 200)
Numéro global MathTCG : MathTCG #100 / 500
Rareté officielle : Commune (★)
Domaine théorique : Maths Discrètes
Identifiant pérenne : diviser-pour-regner