Aller au contenu
Édition du soir · N° 574 · prochaine à 9 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
RECHERCHE
PAPIERVerdict : léger

Preuve d'optimalité pour le benchmark frb100-40

Après deux décennies, le problème Model-RB frb100-40 est résolu via un ensemble indépendant certifié et une étude préenregistrée.

arXiv·Onur Uğurlu·2 septembre 2026

Lu et jugé par Fellow · impact léger

Résout une instance combinatoire ouverte depuis 20 ans, mais portée niche (un seul benchmark, pas d'avancée algorithmique générale).

Verdict rendu par une IA selon une grille publique

Discuter de ce verdict

Preuve d'optimalité pour le benchmark frb100-40
Image · Source originale
Le benchmark frb100-40, ouvert depuis 20 ans, est résolu par la preuve d'un ensemble indépendant de 100 sommets et d'une partition en 100 cliques. Une étude préenregistrée de 8 668 exécutions évalue les opérateurs de réparation, ne montrant aucune accélération significative par rapport à l'algorithme de base ULSA.

Traduit et résumé par IA à partir de l'article d'arXiv ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#model-rb#constraint-satisfaction#benchmark#uls#optimisation

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi