下表列出了本文档的修订历史。 章节 修订综述 2023 年 11 月 29 日 2023.2 版 DRC 收敛 新增章节。 使用增量实现流程 移除有关运行时间减半的描述。 2023 年 6 月 7 日 2023.1 版 增量综合 更新至 50000 个实例。