Repository navigation
V1.3.77 最大独立集
最大独立集模板将顶点上限扩展到 64,并规避移位 64 位的未定义行为;继续支持重复边、反向重复边和自环输入,自环顶点不会进入答案,结果保持确定。说明补充补图最大团建模、染色上界、接口约束及保守复杂度。性能版、打印版、Markdown 与 Library Checker 候选同步。
全部 16 组官方数据通过官方 checker;穷举 6 个顶点以内的简单图、4 个顶点的全部自环子集、重复边、500 组随机图、重复调用及 64 顶点边界测试通过。相对官方参考实现的 max_random 与 many_maximals 用时比分别为 0.993 和 0.990。源码 SHA256 为 0b62d7c0b009d162578cd97345b0b141f8913dcccf00c908a3769d124e526548;当前状态为 local_verified / online_pending,旧 AC #395599 属于不同源码。
修正非 Library Checker 覆盖统计,使其识别直接 #include、宏定义测试头文件及 assert、static_assert、显式非零退出等行为检查。582 个主题头文件中,191 个映射至 Library Checker,543 个由行为测试直接引用,558 个经依赖闭包覆盖,8 个仅含文档。
性能版、打印版各 582 个头文件独立编译、各 255 项测试通过;候选生成器 5 项、文档同步 9 项、覆盖统计 2 项回归、19 份 Markdown 链接与 GitHub 风格解析均通过。完整工具套件 127/129 项通过;两项失败来自未改动的第 04 章元数据来源漂移检查。161 份生成器候选中仍有 120 份与当前头文件展开结果不同,将继续逐题审查。
更新合订本和三册 PDF(1580 / 493 / 578 / 512 页),零条 overfull 警告;PDF 结构、内容流、书签和 Markdown 链接检查通过,相关页面已目检。附件含合订本、三册 PDF、分册压缩包及 SHA256SUMS。