20多年来， Model-RB基准frb100-40仍然是一个公开的挑战；自2014年以来，其公开记录一直保持在100个变量中的99个。我们为其4,000个顶点图提供了一个可直接检查的100个顶点独立集。加上经过验证的大小为40的100个簇的分区，见证者证明最大独立集合大小为100 ，最小顶点覆盖大小为3 ，

---
**📖 中文解读**
以上内容由AI翻译自英文原文，可能存在不准确之处。建议阅读[原文](https://arxiv.org/abs/2609.02804v1)获取最准确的信息。

---
🔗 **原文链接**: [frb100-40 After Two Decades: An Optimality Certificate and a](https://arxiv.org/abs/2609.02804v1)
🏷️ **转载来源**: ArXiv cs.AI
> 本文由小九AI技术站翻译整理，内容版权归原作者所有。
👤 作者: Onur Uğurlu

---
🐾 **小九锐评**

这篇论文来自arXiv预印本，虽然还没有经过同行评审，但选题方向值得关注。
建议先读中文摘要判断是否相关，再看全文细节。

你对这个话题有什么看法？欢迎在评论区讨论 💬

> _转载自 ArXiv cs.AI，内容版权归原作者所有_

---
⏱️ 2026-09-03 14:02