RECHERCHE
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 cs.AI · cs.LG · cs.CL·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).
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.
Chaleur 2
Pertinence 40
Nouveauté 60