V1.3.82 折半搜索内存与边界

V1.3.82：折半搜索内存与边界

• 折半搜索仅缓存一半的 __int128 子集和；按 Gray 码重建最优见证，降低峰值工作集。
• 目标值落在全部子集和范围之外时直接返回边界见证或空值；46 元素上限改为 Release 下有效的异常检查。
• 修复 closest 在完整有符号 128 位目标范围上的距离比较；明确 fourSum 的数值类型与复杂度。
• 新增暴力对拍及见证核验，覆盖 3000 组固定种子随机输入、空数组、溢出和元素上限。
• full、print 两版各 257/257 测试通过；582 个专题头各分支独立编译通过。GFM/Markdown、目录与头文件同步检查通过。
• PDF：合订本 1582 页，上册 494 页，中册 579 页，下册 512 页；TeX overfull=0。

无 Library Checker 在线提交；仅本地运行验证。

V1.3.81 编辑距离边界与字节语义

V1.3.81：编辑距离边界与字节语义

• 明确 Levenshtein 距离和 Myers 实现按字节处理 string；UTF-8 多字节字符按多个字节计。
• myersDist 对超过 64 字节的模式回退到滚动 DP，并令较短串处于列方向，避免依赖断言限制输入。
• 新增 NDEBUG 回归测试：覆盖空串、64 字节边界、长模式双向回退、全部字节值及 500 组固定种子随机输入。
• 验证：full、print 两版各 256/256 测试；打印头与知识文档同步、主题计数检查通过。完整 Markdown 链接/解析检查通过。
• PDF：合订本 1581 页，上册 493 页，中册 579 页，下册 512 页；TeX overfull=0。

无 Library Checker 在线提交；仅本地运行验证。

V1.3.80 字符串索引与审计同步

V1.3.80：字符串索引与审计同步

• 4.3.012 补充 FM-index 的存储构成和未压缩实现的规模边界，明确采样后缀数组与压缩 rank 结构属于另一种空间/定位权衡。
• 更正第 04 章审计总览中的四项过期问题；记录 generate_ch04_lc.py --write 只刷新 11 份元数据，11 个候选 main.cpp SHA256 均保持不变。
• 验证：第 04 章工具单测 129/129；生成器输出 CH04_GENERATION_CURRENT；全章节快照、目录计数、打印头同步、正文同步和 Markdown 检查通过。
• PDF：合订本 1581 页，上册 493 页，中册 579 页，下册 512 页；所有 TeX 检查 overfull=0，19 份 Markdown 解析与链接检查通过。

无 Library Checker 在线提交；元数据同步不改变候选代码哈希。

V1.3.79 图论度序列构造

V1.3.79：图论度序列构造

• 完善 Havel–Hakimi 与 Gale–Ryser 的正确性说明、编号约定、返回语义和复杂度。
• 增加非法输入、空边表及 Gale–Ryser 不等式失败的固定测试。
• 穷举核对 6 个顶点以内的所有一般图度序列，以及左右各 4 个顶点以内的所有二分图度序列。
• full 与 print 各 255/255 集成测试通过；两版 582 个主题头分别编译通过。
• Markdown 与 PDF 检查通过。合订本及上、中、下册共 1581、493、579、512 页，TeX overfull=0。
• Library Checker 工具单测 127/129；两项既有失败来自第 04 章 11 份来源元数据漂移，与本轮第 05 章改动无关。

源码提交：d1eb2df、41f6b25。

V1.3.78 带权一般图匹配

带权一般图最大权匹配（5.7.006）补全原始对偶、紧边、奇花收缩与展开、整数范围及接口边界说明。BFS 使用原图正权邻接表跳过缺边；收缩和松弛仍由矩阵维护。性能版、打印版、Markdown、Library Checker 唯一候选和 QOJ 1A 模板同步。

当前候选 SHA256：b1a4ffe427ed19fac98cd1d5b46f72104715bedad99007e24cf37a5e48020756。固定 Library Checker commit 04c8de378bab67be926325de2871f0babb8e6451 的全部 24 组数据均通过官方 checker；另以固定种子对 3000 个随机小图做暴力核对。性能版和打印版的 255 项回归均通过，另外通过 32 位及 __int128 权重、断言开关、Markdown 复制编译和 QOJ 固定答案测试。

性能测试显示当前矩阵实现并非所有图上都优于官方堆式实现；完整环境与耗时数据见第 05 章审计。应如实区分本地验证与线上评测：本版按用户要求未提交 Library Checker；历史 AC 属于另一源码哈希。

合订本与上、中、下册 PDF 共 1581 / 493 / 579 / 512 页，零条 overfull 警告。GitHub 风格 Markdown 解析/链接、PDF 内容流与书签检查通过，带权 Blossom 页面已目检。附件含合订本、三册、分册 ZIP 与 SHA256SUMS。

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。

V1.3.76 二分图边染色

二分图边染色复用公共 DSU 与 Hopcroft–Karp，简化偶度分解与标记表；补齐平行边、空图、重复查询、追加边重算的接口说明和固定答案实例，修正复杂度与 Vizing 定理的适用范围。性能版、打印版、Markdown 与 Library Checker 候选同步。

全部 26 组官方数据通过官方 checker；穷举简单图、多重图及随机、边界测试通过，六种正文/头文件与断言配置各通过 1169 组。性能版、打印版各 582 个头文件独立编译、各 255 项测试通过；文档同步 9 项、候选生成器 5 项回归通过。19 份 Markdown 链接与解析检查通过。

更新合订本和三册 PDF（1580 / 493 / 578 / 512 页），零条 overfull 警告；相关代码、公式、依赖和实例已逐页目检。附件含合订本、三册压缩包及 SHA256SUMS。

新源码 SHA256 为 4484657d12d570fce5c8366309121717591ce51b0973c71ad7760e0fef8bc865。当前登录会话不可用，状态为 local_verified / online_pending；旧 AC #395598 属于不同源码。161 份生成器候选中仍有 121 份与当前头文件展开结果不同，继续逐题审查、同步和验证。

V1.3.75 图论接口、复杂度与存储说明

修正 SPFA 数值范围与负环返回语义，补全 Hopcroft–Karp 变体的复杂度证明，更新一般图带权匹配选型、递推与双版本精确内存说明。同步性能版、打印版及正文；修复打印生成器误改散文整数类型的问题。

性能版、打印版各 582 个头文件独立编译、各 255 项测试通过；相关算法另有断言开关下 16 个配置通过，8 项文档回归通过。19 份 Markdown 链接与解析检查通过。

更新合订本和三册 PDF（1581 / 493 / 579 / 512 页），无溢出、缺字或未解析引用，并抽查相关公式与代码页面。附件含合订本、三册压缩包及 SHA256SUMS。

已公开记录既有缺口：161 份生成候选中 122 份与当前头文件展开结果字节不一致，待独立同步和重新验证。本轮未引入这些差异，也未宣称全量候选生成检查通过；未进行新的在线提交。

V1.3.74 树形图恢复与配对堆优化

补齐有向最小生成树快速版的完整正文、约化权与恢复说明；配对堆改用连续节点池及复用缓冲，复用公共 DSU，增加原边编号恢复并用 __int128 承载权值差与总和。修复直接版重复遍历前驱链的问题，同步性能版、打印版、候选源码与双实现文档生成。

12 种配置通过穷举、随机、极值与深层缩环测试；12 组官方数据通过 checker，三类输入五轮性能比较通过。当前源码线上待验证，旧 AC 只作为历史记录。

更新合订本及三册 PDF（1580 / 493 / 578 / 512 页），无溢出、缺字或未解析引用；Markdown 链接与解析检查通过，附 SHA256 校验文件。

V1.3.73 斯坦纳树方案恢复与公共 Dijkstra

补齐最小斯坦纳树的完整方案恢复、状态转移、数值范围与边界约定；抽取支持不同初始代价和边回调的公共 Dijkstra，由单源最短路、最短路径树和斯坦纳树共同复用。同步性能版、打印版、Markdown 与两份 Library Checker 候选。

12 种配置通过固定、穷举和随机测试，53 组官方数据通过 checker，四项同环境性能比较通过。当前两份源码线上待验证，历史 AC 不作为当前证明。

更新合订本及三册 PDF（1577 / 493 / 575 / 512 页），无溢出、缺字或未解析引用；Markdown 链接与解析检查通过，附 SHA256 校验文件。