CS Wiki

知识库操作日志

92分钟阅读

操作日志

说明

本日志采用 append-only 模式，所有知识库变更必须记录。禁止修改或删除已有条目。相关文件：SCHEMA | index

Action 类型一览

Action含义
init初始化
create创建页面
enrich充实内容
restructure结构调整
lint链接/格式检查
audit全面审计
fix修复问题
ingest知识编译（批量）
query查询结果回写
compare创建对比页
contradiction标记矛盾

[2026-04-19] init | 知识库

  • 初始化知识库目录结构 Content/
  • 创建 Wiki 元数据文件：SCHEMA.md、index.md、log.md
  • 创建所有笔记模板文件（8 个）：节笔记、章节汇总、全书路线、概念页、定理页、对比页、常问问题页、学科首页
  • 创建首页 Content/index.md
  • 创建全局静态资源目录 _assets/
  • 创建模板目录 _templates/

[2026-04-19] create | Raw素材

  • 从 GitHub 仓库拉取离散数学（Rosen第8版，13章91个PDF）到 00-Raw素材/离散数学/
  • 从 GitHub 仓库拉取逻辑学导论（柯匹第15版，14章122个PDF）到 00-Raw素材/逻辑学/

[2026-04-19] init | 离散数学

  • 创建学科目录 Content/离散数学/（concepts/、theorems/、comparisons/、queries/、notes/、canvas/）
  • 创建阶段一章节目录：第01-05章（notes/ 和 canvas/）
  • 编写学科 index.md，包含13章完整列表
  • 更新 Wiki/index.md、Wiki/SCHEMA.md、Content/index.md

[2026-04-19] init | 逻辑学

  • 创建学科目录 Content/逻辑学/（concepts/、theorems/、comparisons/、queries/、notes/、canvas/）
  • 创建阶段一章节目录：第01-04章（notes/ 和 canvas/）
  • 编写学科 index.md，包含14章完整列表
  • 更新 Wiki/index.md、Wiki/SCHEMA.md、Content/index.md

[2026-04-19] create | 学习路线

  • 创建学习路线 v0.1，包含三阶段学习路线和阶段一详细微型学习单元拆分
  • 离散数学阶段一：28个微型单元（DM-1.1 至 DM-5.5）
  • 逻辑学阶段一：22个微型单元（L-1.1 至 L-4.6）

[2026-04-19] ingest | 逻辑学·第1章

[2026-04-19] create | 逻辑学·第2章笔记

[2026-04-19] fix | 逻辑学·第2章格式修复

  • 4 篇节笔记格式对齐第一章规范（模块标题、callout 位置、习题解答格式、补充来源格式）
  • 修复 callout 类型（[!note] → [!info]）、标题层级（### → ##）、HTML 标签（<details> → [!faq]-）

[2026-04-19] ingest | 逻辑学·第2章

[2026-04-19] lint | 知识库健康检查（第2轮）

  • 修复 F1：章节汇总跨章关联表断链（第01/02章互相链接修正）；创建 归纳论证 概念页
  • 修复 F2：非标准 callout 类型替换（[!thm] → [!tip] 6处，[!important] → [!warning] 2处），含 3 个模板文件
  • 修复 F3：8 篇节笔记补充 ## 参见 Wiki 小节，笔记→Wiki 链接覆盖率 0% → 80%
  • 修复 F4：论证 和 命题 概念页补充第2章新概念的双向参见链接
  • 更新 Wiki/index.md（Total pages: 17→18，概念页新增归纳论证）

[2026-04-19] create | 逻辑学·第3章笔记

[2026-04-19] create | 逻辑学·第3章章节汇总

[2026-04-19] lint | 逻辑学·第3章格式校验

  • 修复 4 处相关笔记链接错误（3.2/3.3/3.4 的前后节链接指向错误文件名）
  • 修复 1 处参见 Wiki 链接错误（3.3 中 [[3.2 语言的功能]] → [[3.2 情感语言、中性语言与论争]]）
  • 全面格式验证通过：模块标题、callout 类型、习题解答格式、补充来源格式、高亮、标签

[2026-04-19] fix | 知识库维护（第3轮）

  • 更新 逻辑学/index.md：已学章节 2→3、笔记数 12→19、第3章状态→✅ 已完成、修复汇总链接
  • 更新 学习路线 v0.1：L-3.1~L-3.6 状态→✅ 已学习、修正5个小节名称匹配实际PDF
  • 更新 Wiki/log.md：追加第3章操作记录

[2026-04-19] ingest | 逻辑学·第3章 Ingest

[2026-04-19] create | 逻辑学·第4章笔记

[2026-04-19] fix | 知识库维护（第4轮）

  • 更新 逻辑学/index.md：Wiki 页面入口表格数据修正（概念页 11→17、对比页 7→10）
  • 统一第5-14章汇总链接格式（空格+破折号 → 下划线+连字符，与第1-4章已创建文件一致）
  • 审计确认：第4章笔记参见Wiki已正确链接到第3章已有概念页（情感语言与中性语言、论争的类型、定义的类型、外延与内涵）
  • 待办记录：第4章 Ingest 尚未执行（19种谬误的 Wiki 概念页/对比页待后续创建）

[2026-04-19] ingest | 逻辑学·第4章 Ingest

[2026-04-19] fix | 知识库维护（第5轮）

  • 更新 逻辑学/index.md：Wiki 页面入口表格数据修正（概念页 17→24、对比页 10→14）
  • 审计确认：22篇笔记相关笔记链接正确、20/22篇有参见Wiki（1.1/2.4无对应概念页属正常）、Wiki/index.md 38行数据正确

[2026-04-19] create | 逻辑学·第5章笔记

[2026-04-19] ingest | 逻辑学·第5章 Ingest

[2026-04-19] create | 逻辑学·第6章笔记

[2026-04-19] ingest | 逻辑学·第6章 Ingest

[2026-04-19] create | 逻辑学·第7章笔记

[2026-04-19] ingest | 逻辑学·第7章 Ingest

[2026-04-19] create | 逻辑学·第8章笔记

[2026-04-19] ingest | 逻辑学·第8章 Ingest

[2026-04-19] create | 逻辑学·第9章笔记

[2026-04-20] ingest | 逻辑学·第9章 Wiki编译

[2026-04-20] create | 逻辑学·第10章笔记

[2026-04-20] ingest | 逻辑学·第10章 Wiki编译

[2026-04-20] create | 逻辑学·第11章 笔记生成

  • 新建 4 篇节笔记：11.1 归纳与演绎再探 11.2 类比论证 11.3 类比论证的评价 11.4 通过逻辑类推进行的反驳
  • 新建 1 篇章节汇总：第11章_类比推理-章节汇总
  • 修复 4 个已有概念页名称不匹配链接：归纳推理→归纳论证、演绎推理→演绎论证、有效性与可靠性→有效性-vs-可靠性
  • 标杆格式：10.6（补充理解含联网搜索来源URL）
  • 补充理解来源：SEP（Inductive Logic, Analogy and Analogical Reasoning）、IEP（Deductive and Inductive Arguments）、LibreTexts、Lander University、哲学中国网
  • 待ingest概念页：类比论证、类比推理、因果联系、逻辑形式、归纳强度
  • 更新 逻辑学/index.md（已学章节 10→11、笔记数 84→89、阶段→阶段三归纳）
  • 更新 学习路线 v0.1（追加 L-11.1~L-11.4）

[2026-04-20] ingest | 逻辑学·第11章 Wiki编译

  • 新建 5 个概念页：类比推理 因果联系 逻辑形式 归纳逻辑 休谟问题
  • 更新 4 个已有概念页（补充第11章内容段落）：演绎论证 归纳论证 有效性 有效性-vs-可靠性
  • 修复 6 个断裂链接：11.1（概率→归纳逻辑）、11.2（逻辑类比→类比推理、因果推理→因果联系、概率→归纳逻辑、法律推理→类比推理）、11.3（实体→类比推理）
  • 更新 7 个已有概念页双向链接：有效性（+逻辑形式）、逻辑形式（+因果联系）、自然演绎（+逻辑形式）、推论规则（+逻辑形式）、演绎论证（+逻辑形式）、归纳论证（+休谟问题）、因果联系（+休谟问题）
  • 更新 Wiki/index.md（Total pages 76→81、概念页 54→59）
  • 更新 逻辑学/index.md（Wiki页面数 76→81、概念页 54→59）
  • 别名策略：逻辑类比/实体/法律推理→别名链接到类比推理；概率→别名链接到归纳逻辑；因果推理→别名链接到因果联系

[2026-04-20] create | 逻辑学·第12章 笔记生成

[2026-04-20] ingest | 逻辑学·第12章 Wiki编译

[2026-04-20] create | 逻辑学·第13章 笔记生成

  • 新建 4 篇节笔记：13.1 科学说明 13.2 科学探究：假说与确证 13.3 对竞争性科学说明的评价 13.4 作为假说的分类
  • 新建 1 篇章节汇总：第13章_科学与假说-章节汇总
  • 修复 6 个问题：13.3/13.4中 13.2 科学方法：假说的确证 → 13.2 科学探究：假说与确证（别名链接，4处）；标签 #科学方法 → #科学与假说（2处）
  • 标杆格式：10.6（补充理解含联网搜索来源URL）
  • 补充理解来源：SEP（Scientific Explanation, Popper, Scientific Method）、Britannica（Hypothetico-Deductive Method）、IEP
  • 待ingest概念页：科学说明、假说-演绎法、可证伪性、科学革命
  • 更新 逻辑学/index.md（已学章节 12→13、笔记数 95→100）
  • 更新 学习路线 v0.1（追加 L-13.1~L-13.4）

[2026-04-20] ingest | 逻辑学·第13章 Wiki编译

[2026-04-20] create | 逻辑学·第14章 笔记生成 🎉全书完成

  • 新建 3 篇节笔记：14.1 关于概率的几种观点 14.2 概率演算 14.3 日常生活中的概率
  • 新建 1 篇章节汇总：第14章_概率-章节汇总
  • 修复 1 个笔记间断裂链接：14.3中 14.1 概率理论 → 14.1 关于概率的几种观点（别名链接）
  • 标杆格式：10.6（补充理解含联网搜索来源URL）
  • 补充理解来源：SEP（Interpretations of Probability, Bayesian unification）、MIT OCW、Khan Academy、Wizard of Odds、Investopedia
  • 待ingest概念页：概率、期望值、条件概率、赌徒谬误
  • 更新 逻辑学/index.md（已学章节 13→14/14、笔记数 100→104）🎉全书14章学习完毕！
  • 更新 学习路线 v0.1（追加 L-14.1~L-14.3）

[2026-04-20] ingest | 逻辑学·第14章 Wiki编译 🎉全书Ingest完成

[2026-04-20] restructure | SCHEMA v2.0

  • 将 Wiki/SCHEMA.md 从 v1.0（157行，仅架构定义）升级为 v2.0（765行，架构定义+操作流程+格式规范）
  • 保留 Part 1（8 个原有章节：四层模型、目录结构、文件类型、命名规则、设计决策、Domain注册表、Tag Taxonomy、新增学科流程），微调 3 处
  • 新增 Part 2（11 个章节 + 1 个附录）：
    • 三大工作流：章节学习流程（Learn, 7步）、知识编译流程（Ingest, 6步）、知识库维护流程（Maintenance, 3并行扫描）
    • 三类格式规范：笔记格式规范（11段式标杆）、概念页格式规范（9节结构）、对比页格式规范（6节结构）
    • 五项操作规范：别名链接策略、双向链接规则、子代理并行策略、索引更新协议、经验教训
    • 附录：逻辑学知识库最终统计（70概念+22对比=92 Wiki页，104笔记，14章）

运维日志

[2026-04-20] ingest | 离散数学·第1章 Wiki编译

  • 新建 8 个概念页：命题逻辑 谓词逻辑 逻辑等价 推理规则 嵌套量词 证明方法 可满足性 逻辑电路
  • 更新 8 个已有笔记（补充离散数学概念页链接到”参见 Wiki”部分）
  • 修复 0 个断裂链接（68处链接全部有效）
  • 修复 5 个已有概念页双向链接（命题逻辑+3、谓词逻辑+1、逻辑等价+1）
  • 跨学科反向链接（离散数学→逻辑学）15处暂未处理，待后续维护
  • 更新 Wiki/index.md（Total pages 92→100、离散数学概念页 0→8）
  • 更新 离散数学/index.md（Wiki页面数 0→8）

[2026-04-20] ingest | 离散数学·第2章 Wiki编译

  • 新建 6 个概念页：集合 集合运算 函数 序列与求和 基数 矩阵
  • 修复 43 处断裂链接（别名策略：41个细粒度概念→6个主概念页别名链接 + 1个跨章节链接 + 1个编码差异修复）
  • 修复 6 处不对称双向链接（集合运算+矩阵、函数+矩阵、逻辑等价+集合运算/可满足性/逻辑电路、谓词逻辑+推理规则）
  • 更新 6 个已有笔记的”参见 Wiki”部分（断裂链接→别名链接）
  • 更新 Wiki/index.md（Total pages 100→106、离散数学概念页 8→14）
  • 更新 离散数学/index.md（Wiki页面数 8→14）

[2026-04-20] learn | 离散数学·第3章 学习

  • 学习第3章”算法”（3.1 算法、3.2 函数的增长、3.3 算法复杂度分析）
  • 新建 3 篇学习笔记 + 1 篇章节汇总（共 4 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）

[2026-04-20] ingest | 离散数学·前三章重新 Wiki编译

  • 新建 5 个概念页：算法 大O记号 算法复杂度 函数增长 渐近分析
  • 更新 4 个已有概念页（补充Ch3跨章节关联）：函数 序列与求和 矩阵 集合运算
  • 修复 25 处断裂链接（Ch3笔记参见Wiki纯文本→wikilink，别名策略：搜索/排序/递归→算法、排序复杂度→算法复杂度）
  • 修复 1 处不对称双向链接（函数↔函数增长）
  • 修复 1 处 related 字段重复（集合运算中逻辑等价重复）
  • 更新 Wiki/index.md（Total pages 106→111、离散数学概念页 14→19）
  • 更新 离散数学/index.md（Wiki页面数 14→19）

[2026-04-20] learn | 离散数学·第4章 学习

  • 学习第4章”数论与密码学”（4.1 整除与模运算、4.2 整数表示与算法、4.3 素数与最大公约数、4.4 解同余方程、4.5 同余的应用、4.6 密码学）
  • 新建 6 篇学习笔记 + 1 篇章节汇总（共 7 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(4.3) + B(4.1+4.2+4.5) + C(4.4+4.6)
  • fix_callouts.py 验证通过（0行需修复）
  • 跨笔记链接验证通过（同章6条 + 前章1条 = 7条链接全部正确）
  • Ch4 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-22] learn | 算法导论·第3章学习

  • 学习第3章”运行时间刻画”（3.1~3.3，共3节）
  • 新建 3 篇学习笔记 + 1 篇章节汇总（共 4 篇）
  • 笔记格式对齐 11段式标杆结构
  • 跨笔记链接验证通过
  • Ch3 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-20] ingest | 离散数学·第4章 Wiki编译

  • 新建 24 个概念页（46个候选→24个，别名策略合并22个细粒度概念）
    • 数论基础12个：整除、同余、模运算、进制表示、二进制、快速幂、补码、素数、算术基本定理、最大公约数、欧几里得算法、贝祖定理
    • 同余方程5个：线性同余方程、模逆元、中国剩余定理、费马小定理、原根
    • 同余应用3个：哈希函数、伪随机数、校验码
    • 密码学4个：密码学、古典密码、RSA密码系统、公钥密码学
  • 更新 4 个已有概念页（补充Ch4跨章节关联）：函数、算法、集合、大O记号
  • 修复 24 处断裂链接（Ch4笔记参见Wiki中被合并子概念→主概念页pipe语法）
  • 双向链接验证：109条有向链接全部对称，0个不对称
  • 更新 Wiki/index.md（Total pages 111→135、离散数学概念页 19→43）
  • 更新 离散数学/index.md（Wiki页面数 19→43）

[2026-04-20] learn | 离散数学·第5章 学习

  • 学习第5章”归纳与递归”（5.1 数学归纳法、5.2 强归纳与良序性、5.3 递归定义与结构归纳、5.4 递归算法、5.5 程序正确性）
  • 新建 5 篇学习笔记 + 1 篇章节汇总（共 6 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(5.1) + B(5.2+5.3) + C(5.4+5.5)
  • fix_callouts.py 验证通过（0行需修复）
  • 跨笔记链接验证通过（0个断裂）
  • Ch5 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第5章 Wiki编译

  • 新建 9 个概念页：数学归纳法、强归纳法、良序性、递归定义、结构归纳、递归算法、程序正确性、Hoare三元组、循环不变量
  • 更新 9 个已有概念页（补充Ch5跨章节关联）：证明方法、算法、算法复杂度、序列与求和、推理规则、算术基本定理、整除、欧几里得算法、命题逻辑
  • 修复 15 处断裂链接（14个细粒度概念→别名pipe语法 + 1个合并链接：强归纳→强归纳法）
  • 修复 7 处不对称双向链接（Ch5相关：数学归纳法+3、强归纳法+1、结构归纳+1、递归定义+2）
  • 更新 Wiki/index.md（Total pages 135→144、离散数学概念页 43→52）
  • 更新 离散数学/index.md（Wiki页面数 43→52）
  • 别名策略：求和公式→序列与求和、整除性→整除、集合恒等式→集合运算、三角剖分→强归纳法、斐波那契数列/二叉树/字符串→递归定义、合式公式→命题逻辑、Lamé定理→欧几里得算法、广义归纳→良序性、归并排序→算法复杂度、分治策略→算法、递推关系→递归算法、逻辑推理规则→推理规则

[2026-04-21] lint | 知识库全局健康检查（第6轮）

  • 修复 F1：Wiki/index.md 2处拼写错误（A_E_I/O → A_E_I_O，影响量词和存在含义两个概念页的相关链接）
  • 修复 F2a：离散数学笔记 7处断链（5.1中4处Ch4引用名称不匹配、第05章汇总2处引用名称不匹配、5.5中6.1 集合→2.1 集合）
  • 修复 F2b：逻辑学笔记 18处断链（跨章汇总链接格式不匹配13处：第01-03章汇总中空格格式→下划线连字符格式；节笔记间链接名称不匹配5处）
  • 修复 F3：离散数学/index.md 笔记计数 32→33（含5篇章节汇总）
  • 未修复 F4：8处未来章节断链（Ch6/8/9/10/12 尚未创建，属正常情况）
  • 验证通过：双向链接全部对称（122个概念页）、frontmatter格式全部完整、逻辑学各项计数正确

[2026-04-21] learn | 离散数学·第6章 学习

  • 学习第6章”计数”（6.1 计数基础、6.2 鸽巢原理、6.3 排列与组合、6.4 二项式系数与恒等式、6.5 广义排列与组合、6.6 生成排列与组合）
  • 新建 6 篇学习笔记 + 1 篇章节汇总（共 7 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(6.1) + B(6.2+6.3) + C(6.4+6.5+6.6)
  • fix_callouts.py 验证通过（0行需修复）
  • 跨笔记链接验证通过（0个断裂）
  • Ch6 Wiki Ingest 已完成（见下方记录）

[2026-04-21] ingest | 离散数学·第6章 Wiki编译

  • 新建 19 个概念页：乘法法则、加法法则、容斥原理、排列、组合、树图、鸽巢原理、拉姆齐理论、二项式系数、排列组合恒等式、二项式定理、帕斯卡三角形、可重排列、多重集排列、分配问题、斯特林数、字典序、排列生成算法、组合生成算法
  • 更新 5 个已有概念页（补充Ch6跨章节关联）：算法复杂度、集合、函数、数学归纳法、证明方法
  • 修复 4 处断裂链接（广义鸽巢原理→鸽巢原理、组合证明→排列组合恒等式、范德蒙德恒等式→二项式系数、隔板法→可重排列）
  • 修复 11 处不对称双向链接
  • 更新 Wiki/index.md（Total pages 144→163、离散数学概念页 52→71）
  • 更新 离散数学/index.md（Wiki页面数 52→71）

[2026-04-21] learn | 离散数学·第7章 学习

  • 学习第7章”离散概率”（7.1 离散概率导论、7.2 概率论、7.3 贝叶斯定理、7.4 期望值与方差）
  • 新建 4 篇学习笔记 + 1 篇章节汇总（共 5 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 2个并行子代理分组：A(7.1+7.2) + B(7.3+7.4)
  • fix_callouts.py 验证通过（0行需修复）
  • 跨笔记链接验证通过（0个断裂）
  • Ch7 Wiki Ingest 已完成（见下方记录）

[2026-04-21] ingest | 离散数学·第7章 Wiki编译

  • 新建 17 个概念页：概率、样本空间、事件、条件概率、独立性、伯努利试验、二项分布、蒙特卡洛方法、概率分布、随机变量、贝叶斯定理、全概率公式、期望值、方差、切比雪夫不等式、马尔可夫不等式、几何分布
  • 更新 3 个已有概念页（补充Ch7跨章节关联）：容斥原理、组合、排列
  • 修复 6 处断裂链接（拉普拉斯概率→概率、互斥事件→事件、概率方法→概率分布、先验概率→贝叶斯定理、后验概率→贝叶斯定理、Bienayme公式→方差）
  • 修复 8 处不对称双向链接
  • 更新 Wiki/index.md（Total pages 163→180、离散数学概念页 71→88）
  • 更新 离散数学/index.md（Wiki页面数 71→88）

[2026-04-21] learn | 离散数学·第8章 学习

  • 学习第8章”高级计数技术”（8.1 递推关系的应用、8.2 求解线性递推关系、8.3 分治算法与递推关系、8.4 生成函数、8.5 容斥原理、8.6 容斥原理的应用）
  • 新建 6 篇学习笔记 + 1 篇章节汇总（共 7 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(8.1+8.2) + B(8.3+8.4) + C(8.5+8.6)
  • fix_callouts.py 验证通过（0行需修复）
  • 修复 2 处链接错误：8.1中第07章汇总链接指向7.4节笔记→章节汇总、8.6中第09章汇总链接名称错误
  • Ch8 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第8章 Wiki编译

  • 新建 10 个概念页：递推关系、特征方程、线性递推关系、分治算法、主定理、生成函数、广义二项式定理、错排问题、欧拉函数、onto函数
  • 更新 4 个已有概念页（补充Ch8跨章节关联）：数学归纳法、递归定义、容斥原理、集合运算
  • 修复 22 处断裂链接（18个别名概念→pipe语法指向主概念页 + 4个已有别名追加）
  • 修复 26 处不对称双向链接（17个外部概念页追加related条目）
  • 更新 Wiki/index.md（Total pages 180→190、离散数学概念页 88→98）
  • 更新 离散数学/index.md（Wiki页面数 88→98）
  • 别名策略：斐波那契数列/汉诺塔/Catalan数/动态规划→递推关系；通解/特解→线性递推关系；常生成函数/指数生成函数/形式幂级数/整数分拆/部分分式分解→生成函数；递归树法/Strassen矩阵乘法/归并排序→分治算法；二项式恒等式/组合恒等式→排列组合恒等式；指示器函数→容斥原理；第二类Stirling数→斯特林数；埃拉托斯特尼筛法→素数

[2026-04-21] learn | 离散数学·第9章 学习

  • 学习第9章”关系”（9.1 关系及其性质、9.2 n元关系及其应用、9.3 关系的表示、9.4 关系的闭包、9.5 等价关系、9.6 偏序关系）
  • 新建 6 篇学习笔记 + 1 篇章节汇总（共 7 篇）
  • 笔记格式对齐 3.2 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(9.1+9.2) + B(9.3+9.4) + C(9.5+9.6)
  • fix_callouts.py 验证通过（0行需修复）
  • 修复 4 处链接错误：9.1中第08章汇总链接名称错误、9.3中前节链接指向9.1而非9.2、9.5中前节链接名称错误、9.6中第10章汇总链接名称错误
  • Ch9 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第9章 Wiki编译

  • 新建 14 个概念页：二元关系、笛卡尔积、n元关系、关联规则、零一矩阵、有向图、传递闭包、等价关系、划分、Bell数、偏序关系、Hasse图、格、拓扑排序
  • 更新 4 个已有概念页（补充Ch9跨章节关联）：函数、矩阵、同余、良序性
  • 修复 39 处断裂链接（26个别名概念→pipe语法指向主概念页）
  • 修复 23 处不对称双向链接（17个外部概念页追加related条目）
  • 更新 Wiki/index.md（Total pages 190→204、离散数学概念页 98→112）
  • 更新 离散数学/index.md（Wiki页面数 98→112）
  • 别名策略：自反性/对称性/反对称性/传递性/关系的性质/关系复合/逆关系→二元关系；关系数据库/选择操作/投影操作/连接操作/SQL→n元关系；布尔矩阵运算→零一矩阵；自反闭包/对称闭包/Warshall算法/连通性/对角线关系→传递闭包；等价类/代表元/商集→等价关系；同余关系→同余；偏序集/极大元/极小元/最大元/最小元/上界/下界/上确界/下确界/全序/覆盖关系→偏序关系；良序/良序归纳法→良序性；矩阵转置→矩阵

[2026-04-21] learn | 离散数学·第10章 学习

  • 学习第10章”图论”（10.1~10.8，共8节）
  • 新建 8 篇学习笔记 + 1 篇章节汇总（共 9 篇）
  • 笔记格式对齐 9.1 标杆（11段式结构、5题习题、网络资源补充）
  • 3个并行子代理分组：A(10.6+10.8) + B(10.3+10.5+10.7) + C(10.1+10.2+10.4)
  • fix_callouts.py 验证通过（0行需修复）
  • 修复 1 处链接错误：10.8中第11章汇总链接名称错误（高级计数技术→树）
  • Ch10 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第10章 Wiki编译

  • 新建 7 个概念页：图的着色、平面图、二部图、完全图、加权图、哈密顿路径、贪心算法
  • 更新 6 个已有概念页（补充Ch10跨章节关联）：有向图、矩阵、零一矩阵、传递闭包、算法复杂度、拉姆齐理论
  • 笔记中 35 处 [[离散数学/concepts/]] 链接全部有效（无断链）
  • 修复 9 处不对称双向链接（算法复杂度+5、拉姆齐理论+2、算法+1、矩阵+1）
  • 更新 Wiki/index.md（Total pages 204→211、离散数学概念页 112→119）
  • 更新 离散数学/index.md（Wiki页面数 112→119）
  • 别名策略：顶点着色/色数/四色定理/边着色/Vizing定理/贪心着色→图的着色；欧拉公式/Kuratowski定理/平面嵌入→平面图；匹配/Hall婚配定理/完全匹配/最大匹配→二部图；圈图/轮图/n立方体/K_n/C_n/W_n/Q_n→完全图；最短路径→加权图；哈密顿回路/Dirac定理/Ore定理/旅行商问题→哈密顿路径；Dijkstra算法/贪心着色→贪心算法；邻接矩阵/强连通/弱连通→有向图

[2026-04-21] learn | 离散数学·第11章 学习

  • 学习第11章”树”（11.1~11.5，共5节）
  • 新建 5 篇学习笔记 + 1 篇章节汇总（共 6 篇）
  • 笔记格式对齐 9.1 标杆（11段式结构、5题习题、网络资源补充）
  • 2个并行子代理分组：A(11.2+11.3) + B(11.1+11.4+11.5)
  • fix_callouts.py 验证通过（0行需修复）
  • 跨笔记链接验证通过（0处错误）
  • Ch11 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第11章 Wiki编译

  • 新建 3 个概念页：连通图、二叉搜索树、算法复杂度
  • 更新 9 个已有概念页（补充Ch11跨章节关联）：树图、有向图、完全图、加权图、递归定义、数学归纳法、贪心算法、矩阵、递归算法
  • 笔记中 12 处 [[离散数学/concepts/]] 链接全部有效（无断链）
  • 修复 10 处不对称双向链接（有向图+1、连通图+3、加权图+1、递归定义+1、算法复杂度+3、二叉搜索树+2）
  • 更新 Wiki/index.md（Total pages 211→214、离散数学概念页 119→122）
  • 更新 离散数学/index.md（概念页 119→122）
  • 别名策略：连通分量/强连通/弱连通/连通度/割点/割边→连通图；BST/二叉查找树/AVL树/红黑树→二叉搜索树；时间复杂度/空间复杂度/摊还分析→算法复杂度；树/自由树/连通无环图→树图

[2026-04-21] learn | 离散数学·第12章 学习

  • 学习第12章”布尔代数”（12.1~12.4，共4节）
  • 新建 4 篇学习笔记 + 1 篇章节汇总（共 5 篇）
  • 笔记格式对齐 9.1 标杆（11段式结构、5题习题、学术来源补充）
  • 2个并行子代理分组：A(12.1+12.2) + B(12.3+12.4)
  • 跨笔记链接验证通过（8条前后节链接 + 首末章链接全部正确）
  • Ch12 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-21] ingest | 离散数学·第12章 Wiki编译

  • 新建 0 个概念页（所有 5 个被引用概念均已存在）
  • 更新 5 个已有概念页（补充Ch12跨章节关联）：命题逻辑、逻辑等价、逻辑电路、集合运算、零一矩阵
  • 笔记中 5 处 [[离散数学/concepts/]] 链接全部有效（无断链）
  • 修复 1 处不对称双向链接（命题逻辑缺少 12.4 反向链接）
  • 别名策略：无新建概念页，无需别名策略

[2026-04-21] learn | 离散数学·第13章 学习 🎉全书完成

  • 学习第13章”计算建模”（13.1~13.5，共5节）
  • 新建 5 篇学习笔记 + 1 篇章节汇总（共 6 篇）
  • 笔记格式对齐 9.1 标杆（11段式结构、5题习题、学术来源补充）
  • 2个并行子代理分组：A(13.1+13.2) + B(13.3+13.4+13.5)
  • 跨笔记链接验证通过（10条前后节链接 + 首末章链接全部正确）
  • Ch13 Wiki Ingest 尚未执行（概念页未创建）
  • 🎉 全书13章学习完毕！最终笔记数：84篇

[2026-04-21] ingest | 离散数学·第13章 Wiki编译 🎉全书Ingest完成

  • 新建 0 个概念页（所有 6 个被引用概念均已存在）
  • 更新 6 个已有概念页（补充Ch13跨章节关联）：递归定义、递归算法、二元关系、命题逻辑、算法、算法复杂度
  • 修复 2 处断裂链接（13.2/13.3中 关系 → 二元关系 pipe语法）
  • 修复 0 处不对称双向链接（6个概念页的related已正确追加Ch13笔记链接）
  • 更新 Wiki/index.md（Total pages 不变 214、离散数学概念页不变 122）
  • 更新 离散数学/index.md（概念页不变 122）
  • 🎉 全书13章学习+Ingest全部完成！最终知识库：122个概念页 = 214个Wiki页面，84篇笔记

[2026-04-21] lint | 知识库全局健康检查（第7轮）

  • 修复 F1：创建缺失概念页 布尔代数（被格.md 6处引用但文件不存在）
  • 修复 F2：2处断裂概念引用（9.2笔记中 支持度/置信度 → 关联规则 pipe语法）
  • 修复 F3：22处章节汇总链接格式不匹配（离散数学 index.md 9处 + 笔记间 8处 + 逻辑学 5处，— 章节汇总 → _标题-章节汇总 pipe语法）
  • 修复 F4：18处节笔记名称不匹配（逻辑学 11处 + 离散数学 7处，错误标题 → 正确文件名 pipe语法）
  • 修复 F5：索引计数过时（离散数学/index.md 概念页 122→123、Wiki页面 119→123；Wiki/index.md Total pages 214→215）
  • 更新 Wiki/index.md（Total pages 214→215，新增布尔代数行）
  • 更新 离散数学/index.md（概念页 122→123，Wiki页面 119→123）
  • 最终知识库：123个离散数学概念页 + 70个逻辑学概念页 + 22个逻辑学对比页 = 215个Wiki页面，84+104=188篇笔记

[2026-04-21] init | 算法导论学科初始化

  • 新增学科：算法导论（Introduction to Algorithms, 4th Edition, Cormen/Leiserson/Rivest/Stein）
  • 创建目录结构：concepts/ theorems/ comparisons/ queries/ notes/ canvas/
  • 编写学科 index.md（35章 + 4个附录，Part I-VIII 分阶段规划）
  • 更新 SCHEMA.md（Domain 注册表 + Tag Taxonomy）
  • 更新 Wiki/index.md（新增算法导论 section，Total pages 不变 215）
  • PDF 分片素材已就位（227个PDF，Part I-VIII + 附录）

[2026-04-21] learn | 算法导论·第1章学习

  • 学习第1章”算法在计算中的角色”（1.1~1.2，共2节）
  • 新建 2 篇学习笔记 + 1 篇章节汇总（共 3 篇）
  • 笔记格式对齐 11段式标杆结构
  • 跨笔记链接验证通过（1.1 ↔ 1.2 双向链接正确）
  • Ch1 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-22] learn | 算法导论·第2章学习

  • 学习第2章”入门”（2.1~2.3，共3节）
  • 新建 3 篇学习笔记 + 1 篇章节汇总（共 4 篇）
  • 笔记格式对齐 11段式标杆结构
  • 2个并行子代理分组：A(2.1+2.2) + B(2.3)
  • 跨笔记链接验证通过（同章3条 + 前章1条 = 4条链接全部正确）
  • Ch2 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-22] learn | 算法导论·第4章学习

  • 学习第4章”分治策略”（4.1~4.7，共7节）
  • 新建 7 篇学习笔记 + 1 篇章节汇总（共 8 篇）
  • 笔记格式对齐 11段式标杆结构
  • 3个并行子代理分组：A(4.1+4.2) + B(4.3+4.4) + C(4.5+4.6+4.7)
  • Ch4 Wiki Ingest 尚未执行（概念页未创建）

[2026-04-22] ingest | 算法导论·前4章 Wiki编译

  • 新建 40 个概念页（Ch1: 10个, Ch2: 14个, Ch3: 9个, Ch4: 7个）
  • 修复 3 处断裂链接（Theta记号→大Theta记号、关键字→排序问题、卫星数据→排序问题）
  • 更新 算法导论/index.md（概念页 0→40，Wiki页面 0→40）
  • 更新 Wiki/index.md（Total pages 215→255，新增40行概念页表格）
  • 最终知识库：215+40=255个Wiki页面

[2026-04-22] learn | 算法导论·第5章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 5.1 雇佣问题、5.2 指示器随机变量、5.3 随机化算法、5.4 概率分析与指示器随机变量的进一步应用
  • 更新 算法导论/index.md（第5章状态→已完成，笔记 19→24，进度 4→5/35）
  • 更新 学习路线 v0.1.md（新增 CL-5.1~CL-5.4 条目）

[2026-04-22] learn | 算法导论·第6章学习

  • 新建 5 篇节笔记 + 1 篇章节汇总
    • 6.1 堆、6.2 维护堆性质、6.3 建堆、6.4 堆排序算法、6.5 优先队列
  • 更新 算法导论/index.md（第6章状态→已完成，笔记 24→30，进度 5→6/35）
  • 更新 学习路线 v0.1.md（新增 CL-6.1~CL-6.5 条目）

[2026-04-22] learn | 算法导论·第7章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 7.1 快速排序的描述、7.2 快速排序的性能、7.3 快速排序的随机化版本、7.4 快速排序的分析
  • 联网搜索补充：快速排序历史（Hoare 1960）、工程优化（三路划分/Introsort/median-of-three）、标准库实现（C++/Java/Python/Go/Rust）
  • 更新 算法导论/index.md（第7章状态→已完成，笔记 30→35，进度 6→7/35）
  • 更新 学习路线 v0.1.md（新增 CL-7.1~CL-7.4 条目）

[2026-04-22] learn | 算法导论·第8章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 8.1 排序的下界、8.2 计数排序、8.3 基数排序、8.4 桶排序
  • 联网搜索补充：决策树信息论下界（Shannon 1948）、Hollerith基数排序历史（1890人口普查）、American Flag Sort（McIlroy & Bostic 1993）、非比较排序工程应用
  • 更新 算法导论/index.md（第8章状态→已完成，笔记 35→40，进度 7→8/35）
  • 更新 学习路线 v0.1.md（新增 CL-8.1~CL-8.4 条目）

[2026-04-22] learn | 算法导论·第9章学习

  • 新建 3 篇节笔记 + 1 篇章节汇总
    • 9.1 最小值和最大值、9.2 期望线性时间选择、9.3 最坏情况线性时间选择
  • 联网搜索补充：BFPRT算法历史（Blum/Floyd/Pratt/Rivest/Tarjan 1973）、Introselect（Musser 1997）、Quickselect工程应用（C++ std::nth_element）、序统计量工程场景（P50/P95/P99、中值滤波）
  • 更新 算法导论/index.md（第9章状态→已完成，笔记 40→44，进度 8→9/35）
  • 更新 学习路线 v0.1.md（新增 CL-9.1~CL-9.3 条目）

[2026-04-22] ingest | 算法导论·前9章Ingest

  • 新建 22 个概念页（40→62），新建 3 个子目录（06-概率与统计、07-数据结构实例、08-选择与搜索）
    • 06-概率与统计/（6个）：指示器随机变量、期望的线性性、概率分析、均匀随机排列、生日悖论、伯努利试验
    • 07-数据结构实例/（4个）：二叉堆、优先队列、MAX-HEAPIFY、BUILD-MAX-HEAP
    • 02-排序与搜索/新增（8个）：堆排序、快速排序、比较排序、计数排序、基数排序、桶排序、稳定排序、Introsort
    • 08-选择与搜索/（4个）：序统计量、中位数、Quickselect、BFPRT算法
  • 更新已有概念页（3个）：随机化算法、分治法、递归关系式 添加第5-9章章节扩展
  • 更新 Wiki/index.md（算法导论概念页完整索引，8个子目录62个概念）
  • 更新 算法导论/index.md（概念页数 40→62）

[2026-04-22] learn | 算法导论·第10章学习

  • 新建 3 篇节笔记 + 1 篇章节汇总
    • 10.1 简单的基于数组的数据结构、10.2 链表、10.3 有根树的表示
  • 联网搜索补充：栈/队列六大应用场景（函数调用栈、Undo/Redo、BFS、任务调度等）、链表vs动态数组工程实践（缓存局部性、Python/Java/C++选择）、XOR链表、LCRS表示法
  • 更新 算法导论/index.md（第10章状态→已完成，笔记 44→48，进度 9→10/35）
  • 更新 学习路线 v0.1.md（新增 CL-10.1~CL-10.3 条目）

[2026-04-22] learn | 算法导论·第11章学习

  • 新建 5 篇节笔记 + 1 篇章节汇总
    • 11.1 直接寻址表、11.2 散列表、11.3 散列函数、11.4 开放寻址法、11.5 实际应用考虑
  • 联网搜索补充：散列发明历史（Luhn 1953 IBM、Amdahl、Dumey、Peterson）、全域散列（Carter-Wegman 1979）、Knuth乘法散列黄金比例推导、现代散列函数对比（MurmurHash3/SipHash/xxHash）、开放寻址聚类问题（Robin Hood/Cuckoo Hashing）、主流语言散列实现（Java/Python/C++/Go/Rust）、一致性散列（Karger 1997 STOC）
  • 更新 算法导论/index.md（第11章状态→已完成，笔记 48→54，进度 10→11/35）
  • 更新 学习路线 v0.1.md（新增 CL-11.1~CL-11.5 条目）

[2026-04-22] learn | 算法导论·第12章学习

  • 新建 3 篇节笔记 + 1 篇章节汇总
    • 12.1 什么是二叉搜索树、12.2 查询二叉搜索树、12.3 插入和删除
  • 联网搜索补充：BST发明历史（Adelson-Velsky & Landis 1962 AVL树）、BST vs 散列表 vs 排序数组对比、前驱后继应用场景（数据库索引/STL迭代器）、BST与快速排序的对应关系（CLRS Problem 12-3）、BST退化与自平衡树动机
  • 更新 算法导论/index.md（第12章状态→已完成，笔记 54→58，进度 11→12/35）
  • 更新 学习路线 v0.1.md（新增 CL-12.1~CL-12.3 条目）

[2026-04-22] learn | 算法导论·第13章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 13.1 红黑树的性质、13.2 旋转、13.3 插入、13.4 删除
  • 联网搜索补充：红黑树发明历史（Bayer 1972对称二叉B树、Guibas & Sedgewick 1978红黑树命名）、红黑树与2-3-4树对应关系、Andersson 1993 AA树、Sedgewick 2008左倾红黑树、Stewart 2024 AVL vs红黑树基准测试、Linux内核rbtree实现（CFS调度器/虚拟内存/文件系统）、CLRS第4版删除算法改进（RB-TRANSPLANT vs key复制）
  • 更新 算法导论/index.md（第13章状态→已完成，笔记 58→63，进度 12→13/35）
  • 更新 学习路线 v0.1.md（新增 CL-13.1~CL-13.4 条目）

[2026-04-22] learn | 算法导论·第14章学习

  • 新建 5 篇节笔记 + 1 篇章节汇总
    • 14.1 钢条切割、14.2 矩阵链乘法、14.3 动态规划设计要素、14.4 最长公共子序列、14.5 最优二叉搜索树
  • 联网搜索补充：Bellman 1957动态规划发明历史（Eye of the Hurricane自传）、NumPy矩阵乘法优化（Harris et al. 2020 Nature）、数据库查询优化（Selinger et al. 1979 ACM SIGMOD）、Needleman-Wunsch 1970生物序列比对、Levenshtein 1966编辑距离、Knuth 1971最优BST O(n²)算法、Yao 1980四边形不等式优化
  • 更新 算法导论/index.md（第14章状态→已完成，笔记 63→68，进度 13→14/35）
  • 更新 学习路线 v0.1.md（新增 CL-14.1~CL-14.5 条目）

[2026-04-22] learn | 算法导论·第15章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 15.1 活动选择问题、15.2 贪心策略要素、15.3 哈夫曼编码、15.4 离线缓存
  • 联网搜索补充：Huffman 1952年发明历史（MIT博士论文”A Method for the Construction of Minimum-Redundancy Codes”）、Belady 1966年提出furthest-in-future策略、Shannon-Fano编码对比、DEFLATE/ZIP/JPEG中的Huffman应用、LRU/LFU/ARC缓存策略对比、在线算法竞争比分析
  • 格式验证：4篇笔记全部通过12条红线检查，修复1处无效wikilink（[[B.5 树]]→移除）
  • 更新 算法导论/index.md（第15章状态→已完成，笔记 68→73，进度 14→15/35）
  • 更新 学习路线 v0.1.md（新增 CL-15.1~CL-15.4 条目）

[2026-04-22] learn | 算法导论·第16章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 16.1 聚合分析、16.2 记账方法、16.3 势能方法、16.4 动态表
  • 联网搜索补充：Tarjan 1985 “Amortized Computational Complexity”（摊还分析理论奠基）、Sleator & Tarjan 1985 “Self-Adjusting Binary Search Trees”（Splay Tree势能分析）、Tarjan 1975 Union-Find O(m α(n))、Fredman & Tarjan 1987斐波那契堆、Python list growth factor 9/8（CPython源码）、Java ArrayList 1.5x（OpenJDK源码）、C++ vector 2x（ISO/IEC 14882）、Go slice 2x（runtime源码）、动态表缩容抖动问题
  • 格式验证：4篇笔记全部通过12条红线检查，修复3处无效wikilink（Splay Tree/Union-Find/斐波那契堆→普通文字）
  • 更新 算法导论/index.md（第16章状态→已完成，笔记 73→78，进度 15→16/35）
  • 更新 学习路线 v0.1.md（新增 CL-16.1~CL-16.4 条目）

[2026-04-23] learn | 算法导论·第17章学习

  • 新建 3 篇节笔记 + 1 篇章节汇总
    • 17.1 动态顺序统计、17.2 如何扩张数据结构、17.3 区间树
  • 联网搜索补充：MySQL 8.0 ORDER BY Optimization（数据库排名查询底层实现）、Java TreeMap/TreeSet（红黑树+导航方法）、Linux内核CFS调度器rbtree扩张（vruntime属性）、日历应用冲突检测（Google Calendar/Outlook）、LeetCode My Calendar I/II/III系列题、区间树vs线段树vs区间堆对比（de Berg et al. Computational Geometry）
  • 格式验证：3篇笔记全部通过12条红线检查，修复3处无效wikilink（数据结构扩张定理→17.2节链接、顺序统计树→17.1节链接）
  • 更新 算法导论/index.md（第17章状态→已完成，笔记 78→82，进度 16→17/35）
  • 更新 学习路线 v0.1.md（新增 CL-17.1~CL-17.3 条目）

[2026-04-23] ingest | 算法导论·第14~16章 Wiki编译

  • 新建 19 个概念页 + 3 个对比页
    • concepts/14-动态规划/：动态规划、最优子结构、重叠子问题、钢条切割、矩阵链乘法、最长公共子序列、最优二叉搜索树（7个）
    • concepts/15-贪心算法/：贪心算法、贪心选择性质、活动选择问题、哈夫曼编码、前缀码、离线缓存、替换论证（7个）
    • concepts/16-摊还分析/：摊还分析、聚合分析、记账方法、势能方法、动态表（5个）
    • comparisons/：动态规划-vs-贪心算法、记账方法-vs-势能方法、Huffman编码-vs-固定长度编码（3个）
  • 注：第13章概念已在 concepts/12-红黑树/ 中存在，无需重复创建
  • 更新 算法导论/index.md（概念页 84→101，对比页 0→5，Wiki页面 40→106）

[2026-04-23] learn | 算法导论·第18章学习

  • 新建 3 篇节笔记 + 1 篇章节汇总
    • 18.1 B树的定义、18.2 B树的基本操作、18.3 从B树中删除关键字
  • 联网搜索补充：Bayer & McCreight 1972原始论文（Acta Informatica）、B树变体族谱（B+树/B*树/Bw树/Cache-Oblivious B-tree）、MySQL InnoDB B+树实现（16KB页/聚簇索引）、PostgreSQL B树索引、SQLite B树、B树 vs LSM-Tree对比（O’Neil 1996, Matsunobu VLDB 2020）、最优最小度t推导（Lambert W函数）、PostgreSQL HOT技术、LevelDB/RocksDB Bloom Filter优化
  • 格式验证：4篇笔记全部通过12条红线检查，修复4处[!tip]违规（表格/公式→纯文本+加粗）
  • 更新 算法导论/index.md（第18章状态→已完成，笔记 82→86，进度 17→18/35）
  • 更新 学习路线 v0.1.md（新增 CL-18.1~CL-18.3 条目）

[2026-04-23] learn | 算法导论·第19章学习

  • 新建 4 篇节笔记 + 1 篇章节汇总
    • 19.1 不相交集合操作、19.2 不相交集合的链表表示、19.3 不相交集合森林、19.4 按秩合并与路径压缩的分析
  • 联网搜索补充：Tarjan 1975原始论文（JACM）、Hopcroft & Ullman 1973早期分析、Fredman & Saks 1989下界证明（STOC）、并查集实际应用（Kruskal MST/OpenCV连通域标记/渗透问题/社交网络/LeetCode）、α(n)反阿克曼函数数值分析、按秩合并vs按大小合并对比
  • 格式验证：5篇笔记全部通过12条红线检查，零违规
  • 更新 算法导论/index.md（第19章状态→已完成，笔记 86→91，进度 18→19/35）
  • 更新 学习路线 v0.1.md（新增 CL-19.1~CL-19.4 条目）

[2026-04-23] learn | 算法导论·第20章学习

  • 新建 5 篇节笔记 + 1 篇章节汇总
    • 20.1 图的表示、20.2 广度优先搜索、20.3 深度优先搜索、20.4 拓扑排序、20.5 强连通分量
  • 联网搜索补充：Moore 1959/Lee 1961 BFS发明史、Tarjan 1972 DFS原始论文（SIAM J. Comput.）、Kosaraju vs Tarjan SCC对比、邻接表vs邻接矩阵工程选型、CSR格式、BFS实际应用（社交网络/爬虫/洪水填充）、DFS实际应用（编译器/环检测/迷宫生成）、拓扑排序应用（Makefile/Cargo/npm）、SCC应用（PageRank/编译器/2-SAT）
  • 格式验证：6篇笔记通过12条红线检查，修复1处冗余表述（20.2证明中的”等等”）
  • 更新 算法导论/index.md（第20章状态→已完成，笔记 91→97，进度 19→20/35）
  • 更新 学习路线 v0.1.md（新增 CL-20.1~CL-20.5 条目）

[2026-04-23] ingest | 算法导论·第17~19章 Wiki编译

  • 新建 19 个概念页（17章6个 + 18章7个 + 19章6个）
    • concepts/17-数据结构扩张/：数据结构扩张、顺序统计树、数据结构扩张四步法、红黑树扩张定理、区间树、区间重叠（6个）
    • concepts/18-B树/：B树、最小度、B树高度定理、B树的插入操作、B树的删除操作、B树节点的磁盘表示、B+树（7个）
    • concepts/19-不相交集合/：不相交集合数据结构、加权合并启发式、不相交集合森林、按秩合并、路径压缩、反阿克曼函数（6个）
  • 更新 4 个已有概念页（补充章节扩展）：红黑树（+ch17扩张应用）、二叉搜索树（+ch18 B树关联）、势能方法（+ch19并查集势能函数）、聚合分析（+ch19加权合并分析）
  • 补充 13 个笔记文件的”参见Wiki”链接（17章4个 + 18章4个 + 19章5个）
  • 验证通过：19个概念页文件存在、58条笔记→概念页链接全部有效、4个更新概念页内容正确
  • 更新 算法导论/index.md（概念页 101→120，Wiki页面 106→125）

[2026-04-23] lint | 算法导论·全局知识库维护（第8轮）

  • 修复 F1：禁止表达式”等等”残留 10 处（ch04/09×2/13/16×3/18），重写为直接分析陈述
  • 修复 F2：非标准 callout [!problem] → [!example]（11处，ch19 笔记）
  • 修复 F3：非标准 callout [!thm]/[!theorem] → [!def]（11处，ch11/12/19 概念页）
  • 修复 F4：非标准 callout [!important] → [!warning]（5处，ch01/05/08 笔记 + ch19 概念页）
  • 修复 F5：[!tip] 含 LaTeX 公式 2 处（ch18/ch19 章节汇总），转为纯文本+加粗
  • 确认 F6：[!def] + 伪代码块 5 处（ch18 笔记）格式已正确，无需修复
  • 补充 25 个笔记文件的”参见Wiki”概念页链接（ch06×3 + ch07×4 + ch08×4 + ch09×3 + ch10×3 + ch15×4 + ch16×4）
  • 修复 2 个对比页 frontmatter 不一致（AVL树-vs-红黑树、散列表-vs-二叉搜索树补全 chapter/sources/aliases）
  • 确认畸形拼接链接不存在（02-排序与搜索/ 目录 related 字段全部正确）
  • 验证通过：零”等等”残留、零非标准 callout、零[!tip]含公式、参见Wiki”待补充”仅剩视频资源类
  • 剩余”待补充”6处均为视频/参考资源链接（ch05×2/ch16×2/ch17×1/ch20×1），属正常情况

[2026-04-23] learn | 算法导论·第21章 最小生成树

  • 创建 3 篇笔记（21.1 生长最小生成树、21.2 Kruskal与Prim算法、章节汇总）
  • 21.1 核心内容：MST问题定义、割与轻量边、安全边定理(Thm 21.1)、环性质(Cor 21.2)、割性质(Cor 21.3)、GENERIC-MST通用算法
  • 21.2 核心内容：Kruskal算法(O(E lg V))、Prim算法(O(E lg V)/O(E+V lg V))、Kruskal vs Prim对比
  • 补充理解：MST发明历史(Borůvka 1926/Kruskal 1956/Prim 1957)、实际应用(网络设计/聚类/TSP近似)
  • 习题精选：21.1节5题 + 21.2节6题，参考walkccc.me解答
  • 格式验证通过：修复1处”换句话说”违规
  • 更新 算法导论/index.md（第21章状态→已完成，笔记 97→101，进度 20→21/35）
  • 更新 学习路线 v0.1.md（新增 CL-21.1、CL-21.2 条目）

[2026-04-23] learn | 算法导论·第22章 单源最短路径

  • 创建 6 篇笔记（22.1 Bellman-Ford、22.2 DAG最短路径、22.3 Dijkstra、22.4 差分约束、22.5 性质证明、章节汇总）
  • 22.1 核心内容：松弛操作、Bellman-Ford伪代码、负权环检测、O(VE)复杂度
  • 22.2 核心内容：拓扑排序+单轮松弛、DAG-SHORTEST-PATHS、O(V+E)复杂度
  • 22.3 核心内容：Dijkstra伪代码、贪心正确性证明、二叉堆/斐波那契堆复杂度、与Prim对比
  • 22.4 核心内容：差分约束系统、约束图构造、Bellman-Ford求解、与线性规划的关系
  • 22.5 核心内容：三角不等式、上界/收敛/路径松弛/前驱子图五大基本性质
  • 补充理解：Dijkstra发明历史(1956)、GPS导航应用、A*算法关系、差分约束在调度/VLSI中的应用
  • 习题精选：22.1节6题 + 22.2节4题 + 22.3节10题 + 22.4节5题 + 22.5节4题
  • 格式验证通过：修复9处[!problem]→[!example]
  • 更新 算法导论/index.md（第22章状态→已完成，笔记 101→107，进度 21→22/35）
  • 更新 学习路线 v0.1.md（新增 CL-22.1~CL-22.5 条目）

[2026-04-23] learn | 算法导论·第23章 所有结点对的最短路径

  • 创建 4 篇笔记（23.1 最短路径与矩阵乘法、23.2 Floyd-Warshall算法、23.3 稀疏图的Johnson算法、章节汇总）
  • 23.1 核心内容：EXTEND-SHORTEST-PATHS、SLOW O(V⁴)、FAST O(V³lgV)、Min-Plus乘积
  • 23.2 核心内容：FW递推关系、传递闭包、负权环检测、Θ(V³)
  • 23.3 核心内容：重赋权技术、Lemma 23.1/23.2证明、O(V²lgV+VE)
  • 补充理解：Min-Plus半环代数结构、FW与传递闭包统一视角、Johnson算法工程应用
  • 习题精选：23.1节5题 + 23.2节6题 + 23.3节4题
  • 格式验证通过：修复8处[!tip]含LaTeX公式→[!note]+纯文本加粗
  • 更新 算法导论/index.md（第23章状态→已完成，笔记 107→111，进度 22→23/35）
  • 更新 学习路线 v0.1.md（新增 CL-23.1~CL-23.3 条目）

[2026-04-23] learn | 算法导论·第24章 最大流

  • 创建 4 篇笔记（24.1 流网络、24.2 Ford-Fulkerson方法、24.3 最大二分匹配、章节汇总）
  • 24.1 核心内容：流网络定义、容量约束、流守恒、反平行边处理、多源多汇归约
  • 24.2 核心内容：残差网络、增广路径、最大流最小割定理、Edmonds-Karp O(VE²)、整数流性质
  • 24.3 核心内容：二部图匹配→最大流归约、Hall婚配定理、O(VE)
  • 补充理解：网络流历史（Harris & Ross 1955、Ford & Fulkerson 1956）、Edmonds-Karp/Dinic/推送-重贴标签对比、匹配理论历史（König 1916、Hall 1935）、实际应用（图像分割/棒球淘汰/肾交换）
  • 习题精选：24.1节5题 + 24.2节6题 + 24.3节5题
  • 格式验证通过：零违规
  • 更新 算法导论/index.md（第24章状态→已完成，笔记 111→115，进度 23→24/35）
  • 更新 学习路线 v0.1.md（新增 CL-24.1~CL-24.3 条目）

[2026-04-23] learn | 算法导论·第25章 二部图匹配

  • 创建 4 篇笔记（25.1 最大二部图匹配、25.2 稳定婚姻问题、25.3 匈牙利算法、章节汇总）
  • 25.1 核心内容：Berge定理、交替路径与增广路径、匈牙利算法O(VE)、Hopcroft-Karp O(E√V)、König-Egerváry定理
  • 25.2 核心内容：稳定匹配与阻隔对、Gale-Shapley算法、男性最优/女性最劣性质、O(n²)
  • 25.3 核心内容：指派问题、可行顶点标号、相等子图、匈牙利算法O(V³)
  • 补充理解：Hopcroft-Karp 1973、Gale & Shapley 1962诺贝尔经济学奖、NRMP住院医师匹配、Kuhn 1955/Munkres 1957历史
  • 习题精选：25.1节5题 + 25.2节5题 + 25.3节5题
  • 格式验证通过：零违规
  • 更新 算法导论/index.md（第25章状态→已完成，笔记 115→119，进度 24→25/35）
  • 更新 学习路线 v0.1.md（新增 CL-25.1~CL-25.3 条目）

[2026-04-23] ingest | 算法导论·第20-25章 Wiki编译

  • 新建 29 个概念页：图的表示、广度优先搜索、深度优先搜索、拓扑排序、强连通分量、松弛操作、最短路径树、负权环、最小生成树、Kruskal算法、Prim算法、安全边定理、Bellman-Ford算法、Dijkstra算法、所有结点对最短路径、Floyd-Warshall算法、传递闭包、Johnson算法、流网络、最大流、残差网络、最小割、Hall婚配定理、二分匹配、增广路径、Berge定理、Hopcroft-Karp算法、König-Egerváry定理、对称差
  • 新建 7 个对比页：BFS-vs-DFS、Kruskal算法-vs-Prim算法、Dijkstra算法-vs-Bellman-Ford算法、Dijkstra算法-vs-Prim算法、Floyd-Warshall算法-vs-Johnson算法、最大流-vs-最小割、二分匹配-vs-稳定匹配
  • 补充 12 个已有概念页（追加章节扩展）：优先队列、贪心算法、堆排序、时间复杂度、不相交集合数据结构、按秩合并、路径压缩、反阿克曼函数、动态规划、分治法、栈、队列
  • 修复 24 个断裂链接（路径修正12处 + 短名称别名11处 + 格式异常1处）
  • 补登 Wiki/index.md 第10-19章遗漏的 58 个概念页（待执行）
  • 更新 算法导论/index.md（概念页 120→149、对比页 5→12、Wiki页面 125→161）

[2026-04-24] learn | 算法导论·第26章 并行算法

  • 学习 3 个小节：26.1 动态多线程基础、26.2 多线程矩阵乘法、26.3 多线程归并排序
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
  • 笔记数：119 → 123
  • 已学章节：25/35 → 26/35

[2026-04-24] learn | 算法导论·第27章 在线算法

  • 学习 3 个小节：27.1 等电梯、27.2 维护搜索列表、27.3 在线缓存
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
  • 补充理解来源：Sleator & Tarjan 1985、Karlin et al. 1994、Borodin & El-Yaniv 1998、Lotker et al. 2012、Fiat et al. 1991、Koutsoupias & Papadimitriou 1995、Young 2016
  • 格式验证：修复 9 处断裂链接（同章6处 + 前章1处 + 概念页2处）、1 处禁用词、3 处 [!tip] 含 LaTeX
  • 笔记数：123 → 127
  • 已学章节：26/35 → 27/35

[2026-04-24] learn | 算法导论·第28章 矩阵运算

  • 学习 3 个小节：28.1 求解线性方程组、28.2 矩阵求逆、28.3 对称正定矩阵
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
  • 补充理解来源：Strang MIT 18.06、Trefethen & Bau、LAPACK dgetrf、Higham Accuracy and Stability
  • 格式验证：通过全部12条红线规则
  • 笔记数：127 → 131
  • 已学章节：27/35 → 28/35

[2026-04-24] learn | 算法导论·第29章 线性规划

  • 学习 3 个小节：29.1 线性规划的表述与算法、29.2 将问题表述为线性规划、29.3 对偶性
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
  • 补充理解来源：Dantzig单纯形法历史、Klee-Minty反例、内点法vs单纯形法、Farkas引理、影子价格经济学、博弈论与对偶性
  • 格式验证：修复 2 处 [!tip] 含 LaTeX（29.2）
  • 笔记数：131 → 135
  • 已学章节：28/35 → 29/35

[2026-04-24] learn | 算法导论·第30章 多项式与FFT

  • 学习 3 个小节：30.1 多项式的表示、30.2 DFT与FFT、30.3 高效FFT实现
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
  • 补充理解来源：Cooley-Tukey FFT历史、卷积定理、NTT数论变换、FFTW库、Split-radix FFT、多维FFT
  • 格式验证：修复 1 处 [!tip] 含 LaTeX（30.3）
  • 笔记数：135 → 139
  • 已学章节：29/35 → 30/35

[2026-04-24] learn | 算法导论·第31章 数论算法

  • 学习 8 个小节：31.1 初等数论概念、31.2 最大公约数、31.3 模运算、31.4 求解模线性方程、31.5 中国剩余定理、31.6 元素的幂、31.7 RSA公钥密码系统、★31.8 素性测试
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
    • 31.1 初等数论与最大公约数（覆盖31.1+31.2）
    • 31.2 模运算与中国剩余定理（覆盖31.3+31.4+31.5）
    • 31.3 元素的幂与RSA（覆盖31.6+31.7+★31.8）
  • 补充理解来源：Euclid《Elements》Book VII、Lamé 1844定理、扩展欧几里得密码学应用、算术基本定理唯一性、模运算代数结构、孙子定理历史、CRT加速RSA、模方程几何直观、RSA发明历史（Rivest/Shamir/Adleman 1977）、Miller-Rabin数学基础、AKS PRIMES is in P（Agrawal/Kayal/Saxena 2002）、反复平方法Diffie-Hellman应用
  • 格式验证：修复 2 处 [!abstract] 格式（## → >）、1 处 [!quote] 格式（## → >）、3 处断裂链接（最小公倍数/Fibonacci数列/31.3素性测试）、1 处不相关对比页链接
  • 笔记数：139 → 143
  • 已学章节：30/35 → 31/35

[2026-04-24] learn | 算法导论·第32章 字符串匹配

  • 学习 5 个小节：32.1 朴素字符串匹配算法、32.2 Rabin-Karp算法、32.3 基于有限自动机的字符串匹配（★）、32.4 Knuth-Morris-Pratt算法、32.5 后缀数组（第4版新增）
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
    • 32.1 朴素匹配与Rabin-Karp算法（覆盖32.1+32.2）
    • 32.2 有限自动机与KMP算法（覆盖32.3+32.4）
    • 32.3 后缀数组（覆盖32.5）
  • 补充理解来源：朴素匹配效率分析、Rabin-Karp历史（Karp & Rabin 1987）、滚动哈希工程应用（Rsync）、哈希碰撞处理（CMU）、KMP历史（Knuth/Morris/Pratt 1977）、前缀函数与Z函数关系、Aho-Corasick多模式匹配、算法性能对比、后缀数组历史（Manber/Myers 1993）、SA vs ST对比、生物信息学应用（BWA/Bowtie）、Kasai LCP算法
  • 格式验证：修复 2 处习题汇总表格缺失（32.2/32.3）、1 处参见标题不一致（参见→参见Wiki）
  • 笔记数：143 → 147
  • 已学章节：31/35 → 32/35

[2026-04-24] learn | 算法导论·第33章 机器学习算法

  • 学习 3 个小节：33.1 聚类（k-means/Lloyd过程）、33.2 乘法权重算法（在线学习）、33.3 梯度下降（GD/SGD）
  • 本章为CLRS第4版全新内容（第3版无此章）
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
    • 33.1 聚类与k-means算法（覆盖33.1）
    • 33.2 乘法权重算法（覆盖33.2）
    • 33.3 梯度下降（覆盖33.3）
  • 补充理解来源：k-means历史（Lloyd 1982/MacQueen 1967）、k-means++初始化（Arthur & Vassilvitskii 2007）、k-means NP-hardness、聚类评估指标、乘法权重历史（Littlestone-Warmuth 1994/Freund-Schapire 1997）、博弈论应用、AdaBoost关系、工程应用、梯度下降历史（Cauchy 1847）、SGD历史（Robbins-Monro 1951）、Adam优化器、反向传播
  • 格式验证：修复 6 处编号标题（一、二、三…→标准格式）、2 处[!tip]含LaTeX→[!note]、1 处习题标题不一致
  • 笔记数：147 → 151
  • 已学章节：32/35 → 33/35

[2026-04-24] learn | 算法导论·第34章 NP完全性

  • 学习 5 个小节：34.1 多项式时间、34.2 NP类与验证算法、34.3 NP完全性与归约、34.4 NP完全性的证明、34.5 NP完全问题举例
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
    • 34.1 多项式时间与NP类（覆盖34.1+34.2）
    • 34.2 NP完全性与归约（覆盖34.3+34.4）
    • 34.3 经典NP完全问题（覆盖34.5）
  • 补充理解来源：Clay千禧年大奖、时间层次定理、Cook-Levin定理、PCP定理、Karp 21个NPC问题、NP-hard vs NP-complete区别、co-NP与多项式层级、参数化复杂性
  • 格式验证：修复 2 处（34.1参见标题不一致 ## 参见→## 参见Wiki、3处断裂wikilinks 34.3/34.4/34.5→34.2/34.3）
  • 笔记数：151 → 155
  • 已学章节：33/35 → 34/35

[2026-04-24] learn | 算法导论·第35章 近似算法 🎉 全书完成

  • 学习 5 个小节：35.1 顶点覆盖问题、35.2 旅行商问题、35.3 集合覆盖问题、35.4 随机化和线性规划、35.5 子集和问题
  • 创建 3 篇节笔记 + 1 篇章节汇总（共 4 篇）
    • 35.1 近似算法基础与顶点覆盖（覆盖35.1）
    • 35.2 旅行商与集合覆盖（覆盖35.2+35.3）
    • 35.3 随机化、线性规划与PTAS（覆盖35.4+35.5）
  • 补充理解来源：CMU近似算法课程、APX复杂度类、Cornell综述、arXiv Christofides改进、MIT讲义、Chalmers/UW-Madison/Princeton教程
  • 格式验证：修复 9 处（35.1禁用词”等等”→“此处”、2处断裂wikilinks；35.3共6处断裂wikilinks 5.2→5.4/5.3→5.4/14.1→14.3/C.4→离散数学）
  • 笔记数：155 → 159
  • 已学章节：34/35 → 35/35
  • 🎉 《算法导论》（第4版）全书35章学习完毕！

[2026-04-24] lint | 知识库全局健康检查（Scan A/B/C）

  • 首次执行 SCHEMA v2.0 Maintenance Workflow
  • Scan A（笔记→Wiki链接）：462个链接中161处断裂（34.8%），主因是短名链接缺少章节目录前缀
  • Scan B（Wiki→Wiki双向链接）：708个配对中197处缺失反向链接（27.8%），55个target文件不存在+142个单向链接
  • Scan C（索引一致性）：发现Wiki/index.md结构性错误（“定理页”区段内容错误）、Total pages计数偏低51、概念页数内部矛盾
  • 健康报告输出至 2026-04-24

关系图谱

反向链接

📝 最近更新