IA Classique

Recherche, CSP et résolution de problèmes

Algorithmes de recherche classique, satisfaction de contraintes (CSP), résolution de Sudoku, planification classique. De A* aux heuristiques avancées, en passant par les solveurs SAT/SMT.

Statistiques

Métrique Valeur
Notebooks 181
PRODUCTION 0
BETA 181
ALPHA 0

Search/Applications (58 notebooks)

# Notebook Maturité Exécutable
1 App-1 : Le Problème des N-Reines BETA Oui
2 App-11 - Picross (Nonogrammes) BETA Oui
3 App-11b : Picross (Nonogrammes) — Jumeau C# BETA Oui
4 App-15 : Planification de Calendrier Sportif (CSP) BETA Oui
5 App-15b : Planification de Calendrier Sportif – Jumeau… BETA Oui
6 App-16-Crossword-CSP (C#) BETA Oui
7 App-16 : Générateur de Mots Croises (CSP) BETA Oui
8 App-19 (C#) — Génération procédurale par Wave Function… BETA Oui
9 App-19 — Génération procédurale de niveaux via WFC +… BETA Oui
10 App-1b : Le problème des N-Reines — Jumeau C# BETA Oui
11 Coloration de graphes — validité statistique d’une… BETA Oui
12 App-2 : Coloration de Graphes BETA Oui
13 App-20 — Benchmark comparatif des solveurs Sudoku… BETA Oui
14 App-20b : Benchmark compare des solveurs Sudoku (jumeau… BETA Oui
15 Voice Leading Minimal par Affectation — l’algorithme de… BETA Oui
16 App-22 : Coloration d’arêtes et conjecture de Tutte BETA Oui
17 App-23 - Factorio Belt Balancer (CP-SAT borne) BETA Oui
18 App-26 — Covering Arrays : tester les interactions… BETA Oui
19 App-2b : Coloration de graphes — Jumeau C# BETA Oui
20 App-3 : Nurse Scheduling (Planification des horaires… BETA Oui
21 App-3b : Nurse Scheduling — Twin C# (planification de… BETA Oui
22 App-4 : Job-Shop Scheduling BETA Oui
23 App-4b : Job-Shop Scheduling — Twin C# (ordonnancement… BETA Oui
24 App-5 : Emploi du temps universitaire — Twin C#… BETA Oui
25 App-5 : Emploi du temps universitaire (University… BETA Oui
26 App-6 - Demineur : CSP, Probabilites et NP-completude BETA Oui
27 App-7 : Wordle Solver – CSP et théorie de… BETA Oui
28 App-7b : Solveur Wordle – CSP et théorie de… BETA Oui
29 App-8 : Modelisation declarative par contraintes (twin… BETA Oui
30 App-8-MiniZinc : Modelisation declarative par… BETA Oui
31 App-10 : Optimisation de portefeuille par algorithme… BETA Oui
32 App-10b : Optimisation de portefeuille par algorithme… BETA Oui
33 App-13 : Le Problème du Voyageur de Commerce (TSP) BETA Oui
34 App-13b : TSP (Voyageur de Commerce) — Jumeau C# BETA Oui
35 App-17 : Vehicle Routing Problem (VRP) BETA Oui
36 App-17b : Vehicle Routing Problem (VRP) — Twin C#… BETA Oui
37 App-17b : Vehicle Routing Problem (VRP) — Twin Python… BETA Oui
38 App-18: Optimisation d’Hyperparametres - Approches… BETA Oui
39 App-18b : Optimisation d’Hyperparametres - Jumeau C# BETA Oui
40 App-18b : Optimisation d’Hyperparametres (Python —… BETA Oui
41 App-18c — Rustuna vs Optuna : mesurer un portage Rust… BETA Oui
42 App-22 — Sélection empirique d’algorithmes : trois… BETA Oui
43 App-23 — Cryptanalyse différentielle de PRESENT par SAT BETA Oui
44 App-24 — MAPF : auditer les garanties des solveurs BETA Non
45 App-25 — Enchères combinatoires : Winner Determination… BETA Oui
46 App-27 — Sparse index tracking BETA Oui
47 App-28 — Learning to branch BETA Oui
48 App-29 — Équilibrage de chaîne d’assemblage (SALBP) BETA Oui
49 App-30 — Ordonnancement d’assemblage orbital BETA Oui
50 App-31 — RCPSP/max : quand la faisabilité devient le… BETA Oui
51 App-33 — Neural diving : un plongeur appris pour CP-SAT BETA Oui
52 App-9 : Detection de bords par algorithmes génétiques BETA Oui
53 TP : Conception d’Algorithmes Génétiques avec… BETA Oui
54 App-14-ConnectFour-Adversarial-CSharp — Jumeau C# :… BETA Oui
55 App-14 - Connect Four : Benchmark Adversarial Search BETA Oui
56 App-14b : Puissance 4 – Comparaison d’algorithmes IA… BETA Oui
57 App-14c (C#) : Puissance 4 – Comparaison d’algorithmes… BETA Oui
58 App-32 — Szpiro : Pasten 2026 rend N log log N… BETA Oui

Search/Part1-Foundations (44 notebooks)

# Notebook Maturité Exécutable
1 Search-1 : Espaces d’etats et formalisation de… BETA Oui
2 Search-1 : Espaces d’etats et formulation de problemes BETA Oui
3 Search-02-Uninformed (C#) : Algorithmes de Recherche… BETA Oui
4 Search-02-Uninformed : Algorithmes de Recherche Non… BETA Oui
5 Search-02b : Théorie des Graphes avec NetworkX (C#) BETA Oui
6 Search-02b-NetworkX : Algorithmes de Graphe avec… BETA Oui
7 Search-02c-QuikGraph : bibliotheque de graphes pour… BETA Oui
8 Search-03-Informed (C#) : Recherche Informée BETA Oui
9 Search-03-Informed : Algorithmes de Recherche Informée BETA Oui
10 Search-03b (C#) — Bases de données de motifs (Pattern… BETA Oui
11 Search-03b — Bases de données de motifs (Pattern… BETA Oui
12 Search-03c (C#) — Recherche à écart limité (Limited… BETA Oui
13 Search-03c — Recherche à écart limité (Limited… BETA Oui
14 Search-03d (C#) — Weighted A* : recherche à… BETA Oui
15 Search-03d — Weighted A* : recherche à sous-optimalité… BETA Oui
16 Search-03e : A* et l’optimalité sous heuristique… BETA Non
17 Search-03f · Réparer localement sous garantie : la… BETA Oui
18 Search-04-LocalSearch (C#) : Recherche Locale et… BETA Oui
19 Search-04-LocalSearch : Recherche Locale et… BETA Oui
20 Search-05-GeneticAlgorithms-CSharp : Algorithmes… BETA Oui
21 Search-5 : Algorithmes génétiques BETA Oui
22 Search-6 — Recherche adversariale (jeux à somme nulle)… BETA Oui
23 Search-06-AdversarialSearch : Recherche Adversariale BETA Oui
24 Search-07-MCTS-And-Beyond (C#) : Monte Carlo Tree… BETA Oui
25 Search-07-MCTS-And-Beyond : Monte Carlo Tree Search et… BETA Oui
26 Search-08-DancingLinks-CSharp : L’algorithme X et… BETA Oui
27 Search-08-DancingLinks : L’algorithme X et Dancing… BETA Oui
28 Search-9 : Programmation Linéaire et Simplexe (C# /… BETA Oui
29 Search-09-LinearProgramming : Programmation Lineaire et… BETA Oui
30 Search-09b : Minima fallacieux — le paysage de la… BETA Oui
31 Search-09c — Discrépance combinatoire : colorier ±1… BETA Oui
32 Discrepancy-02 — Discrépance combinatoire : la couche… BETA Oui
33 Search-10 (C#) : Automates Finis Classiques — jumeau… BETA Oui
34 Search-10 : Automates Symboliques avec Z3 BETA Oui
35 Search-11 (C#) : Métaheuristiques — Optimisation par… BETA Oui
36 Search-11-métaheuristiques : Optimisation avec MEALPy BETA Oui
37 Search-11b (Part 2) : Particle Swarm Optimization (C# /… BETA Oui
38 Search-11b-Métaheuristiques-Deep-Part3 : Artificial Bee… BETA Oui
39 Search-11b-Métaheuristiques-Deep-Part4 : Benchmark… BETA Oui
40 Search-11b : Métaheuristiques d’optimisation (C# /… BETA Oui
41 Search-11c — Sélection empirique d’algorithmes : deux… BETA Oui
42 Search-11d — Descente sous budget : la loi derrière les… BETA Oui
43 Search-12a — Composer des regards : play forward,… BETA Oui
44 Search-13a — Traverser des murs : chemins minimaux… BETA Oui

Search/Part2-CSP (17 notebooks)

# Notebook Maturité Exécutable
1 CSP-1 : Fondamentaux des CSP - Version .NET… BETA Oui
2 CSP-1 : Fondamentaux des CSP BETA Oui
3 CSP-2 : Propagation de Contraintes et Consistance -… BETA Oui
4 CSP-2 : Propagation de Contraintes et Consistance BETA Oui
5 CSP-3 : CSP Avancé — Contraintes globales et stratégies… BETA Oui
6 CSP-4-Scheduling-CSharp : Problèmes d’Ordonnancement… BETA Oui
7 CSP-4-Scheduling : Problèmes d’Ordonnancement BETA Oui
8 CSP-5-Optimization-CSharp : Optimisation Combinatoire… BETA Oui
9 CSP-5-Optimization : Problèmes d’Optimisation… BETA Oui
10 CSP-6-Hybridation : Approches Hybrides Modernes (.NET /… BETA Non
11 CSP-6-Hybridation : Approches Hybrides Modernes BETA Non
12 CSP-7 : Contraintes Souples avec Choco-solver BETA Non
13 CSP-7 : Contraintes Souples - Soft CSP BETA Non
14 CSP-8 : Temporels - Raisonnement sur le Temps BETA Non
15 CSP-8 : Temporels - Raisonnement sur le Temps BETA Non
16 CSP-9-Distributed BETA Oui
17 CSP-9-Distributed : CSP Distribués (DisCSP) BETA Oui

Search/Part4-Metaheuristics (24 notebooks)

# Notebook Maturité Exécutable
1 MGS-1 : Introduction a MetaGeneticSharp et au moteur… BETA Oui
2 MGS-3 : L’Eukaryote – sous-populations et chromosomes… BETA Oui
3 MGS-4 : Le Modèle Insulaire – populations structurees… BETA Oui
4 MGS-7 : TSP combinatoire – la grammaire de composition… BETA Oui
5 MGS-7d : Michalewicz (steep ridges) + Dixon-Price… BETA Oui
6 MGS-8 : Fitness Landscape Explorer – voir la surface… BETA Oui
7 MGS-9 - Trouver l’Everest : relief reel et bassins… BETA Oui
8 MGS-11 : Synergie d’iles complementaires – exploration… BETA Oui
9 MGS-13 — Visualiser les paysages dé-biaisés : pourquoi… BETA Oui
10 MGS-14 — Trouver une synergie (et dire quand il n’y en… BETA Oui
11 MGS-15 : Analyse de paysage – la corrélation… BETA Oui
12 MGS-16-AlgorithmSelection : Sélectionner le bon… BETA Oui
13 MGS-17 — Contrôle de paramètres (Parameter Control) BETA Oui
14 MGS-18 — Banc CEC consolide : la combinaison des deux… BETA Oui
15 MGS-19 — Recuit simulé décomposé : l’opérateur de… BETA Oui
16 MGS-20 : Langage de composition pour métaheuristiques BETA Oui
17 MGS-21 : Représentation contre algorithme — la preuve… BETA Oui
18 MGS-22 : MGS contre mealpy — le bench croisé lib-vs-lib… BETA Oui
19 MGS-23 : DifferentialEvolution MGS contre mealpy —… BETA Oui
20 MGS-25 : WhaleOptimisation MGS contre mealpy — le WOA… BETA Oui
21 MGS-28 : Bare Bones PSO MGS contre mealpy — le PSO sans… BETA Oui
22 MGS-29 : GA MGS compose “Default” contre BaseGA mealpy… BETA Oui
23 MGS-30 : Scatter Search MGS contre son ombre — la… BETA Oui
24 MGS-31 : Synthèse croisée MGS contre mealpy — neuf… BETA Oui

Sudoku (38 notebooks)

# Notebook Maturité Exécutable
1 Sudoku-00 : Environnement et Classes de Base (C#) BETA Oui
2 Sudoku-01 : Résolution par Backtracking BETA Oui
3 Sudoku-01 : Resolution par Backtracking (Python) BETA Oui
4 Résolution de Sudoku avec Algorithm X et Dancing Links BETA Oui
5 Sudoku-Python-DancingLinks : Dancing Links / Algorithm… BETA Oui
6 Sudoku-03 : Résolution par Algorithme Génétique (C#) BETA Oui
7 Sudoku-Python-Genetic : Algorithme Génétique (Python) BETA Oui
8 Résolution de Sudoku par Recuit Simulé BETA Oui
9 Sudoku-04 : Recuit Simule (Python) BETA Oui
10 Sudoku-05 : Particle Swarm Optimization (PSO) BETA Oui
11 Sudoku-05 : Particle Swarm Optimization (Python) BETA Oui
12 Sudoku-06 : Résolution par CSP Académique (AIMA) BETA Oui
13 Sudoku-06 : Résolution par CSP Académique (Python) BETA Oui
14 Sudoku-07 : Résolution par Propagation de Contraintes… BETA Oui
15 Sudoku-07 : Résolution par Propagation de Contraintes… BETA Oui
16 Résolution de Sudoku par Stratégies Humaines BETA Oui
17 Sudoku-08 : Resolution par Stratégies Humaines (Python) BETA Oui
18 Notebook 9: Résolution de Sudoku par Coloration de… BETA Oui
19 Sudoku-09 : Coloration de Graphe (Python) BETA Oui
20 Sudoku-10 : Résolution avec OR-Tools (C#) BETA Oui
21 Sudoku-10-ORTools-Python : OR-Tools CP-SAT (Python) BETA Oui
22 Sudoku-11-Choco-CSharp : Solveur Choco via IKVM BETA Oui
23 Notebook 11: Résolution de Sudoku avec Choco Constraint… BETA Oui
24 Sudoku-12 : Résolution avec Z3 SMT Solver (C#) BETA Oui
25 Sudoku-12-Z3-Python : Z3 SMT Solver (Python) BETA Oui
26 Sudoku 12b : Linq2Z3 — l’histoire d’un binding, de 81… BETA Oui
27 Sudoku-13 : Le Sudoku comme Regex Symbolique -… BETA Oui
28 Sudoku-13 : Le Sudoku comme Regex Symbolique — twin… BETA Oui
29 Sudoku-14 : Automates avec BDD/MDD - Approche Pure BETA Oui
30 Sudoku-14 : Automates avec BDD/MDD - Approche Pure… BETA Oui
31 Résolution de Sudoku avec Infer.NET BETA Oui
32 Sudoku-15-Infer-Python : Resolution Probabiliste avec… BETA Oui
33 Sudoku-16 : Résolution par Réseaux de Neurones BETA Non
34 Notebook 17: Resolution de Sudoku avec Large Language… BETA Non
35 Comparaison des Solveurs de Sudoku BETA Oui
36 Comparaison des Solveurs de Sudoku BETA Oui
37 Sudoku-18b - Comparaison statistique honnête de… BETA Oui
38 Sudoku-19 — Soundness de la propagation de contraintes… BETA Oui
Retour au sommet