20年越しの最適証明を達成した Model-RB ベンチマーク frb100-40

arXiv cs.AI ・ 2026-09-02

原題: frb100-40 After Two Decades: An Optimality Certificate and a Preregistered Search Study

AI による要約

20年以上未解決だった Model-RB ベンチマーク frb100-40 に対し、100頂点の独立集合を直接検証可能な形で提示した。4,000頂点のグラフに対し、最大独立集合サイズが100、最小頂点被覆が3,900であることを証明した。8,668回の実行でベースラインと有意な差は見られなかった。

この要約は当サイトの AI が生成したものです。正確な内容は元記事（arXiv cs.AI）をご確認ください。