Aller au contenu
Eternity II

Retour arrière

La recherche en profondeur prise au sérieux : ordres de remplissage, tri des candidats, indices de rupture, redémarrages. C'est la famille derrière chaque backtracker record.

Pourquoi c'est dur

résultat
Pourquoi un ordinateur plus rapide ne change rien
résultat
La théorie complexe : compter l'arbre de recherche avant de le parcourir
résultat
L'emplacement des indices l'emporte sur leur nombre

Écrire un solveur

référence
Les benchmarks de la communauté
page
Comment cherchent les solveurs record
concept
Ordres de remplissage
concept
Redémarrages et lois à queue lourde
concept
Résoudre en réparti : essaims, syndicats et fermes de cœurs
concept
Décoder les records
référence
Nombres de référence

Le laboratoire

expérience
Benchmark mono-cœur
expérience
Presets CSP, à la mesure
page
Le moteur de référence qui fait tourner ce site
expérience
REPLAY
expérience
Le backtracker JIT : du Rust portable à égalité avec du C optimisé sur les plateaux difficiles
concept
Aller vite : quand un solveur dépense son budget en vitesse
expérience
CLOISTER
page
L'étude DFS
page
Comment l'étude est construite
page
Ce que chaque idée apporte
page
The hint study
page
How the study is built
page
What the study found
expérience
Le backtracker C de McGavin : l'histoire du débit, reconstruit ici
expérience
Le solveur de Blackwood, décodé et exécuté ici
page
eii de Verhaard : le solveur qui a remporté l'unique prix

Voies voisines

Les neuf voies
Réduire la recherche

Throw away hopeless states before the search wastes time on them.

Aller plus vite

Bit tricks and cache, and why raw speed alone won't crack it.