SOURCE-LINKED INTELLIGENCE

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

arXiv · AI, language, vision and robotics · article · Sep 2, 2026 · UTC

For more than 20 years, the Model-RB benchmark frb100-40 remained an open challenge; since 2014, its public record had stood at 99 of 100 variables. We give a directly checkable 100-vertex independent set for its 4,000-vertex graph. Together with a verified partition into 100 cliques of size 40, the witness proves that the maximum independent-set size is 100 and the minimum vertex-cover size is 3,900. The stochastic run that found the witness is kept separate from this proof. We evaluated its added pair and triple repair operators in a preregistered campaign comprising 8,668 valid runs. The pr

Read original source ↗ Open in workspace

recordType: paper
region: Global

Evidence & attribution

arXiv · AI, language, vision and robotics · 2026-09-02T16:40:46.000Z

First collected: 2026-09-21T05:32:15.665Z. This is not the publication date.