Codeforces Trie 三题 从字符串博弈到最大异或与动态 MEX
用 455B、706D 和 842D 理解 Trie 如何压缩公共前缀，并把字符选择、动态最大异或与累计异或后的 MEX 统一成树上的逐层决策，附正确性证明、手算、三份 C++17 与独立随机验证。
约 13 分钟3 组代码4 张图示
ALGORITHMS阅读全文
EDITOR'S PICK · 本期精选
算法与竞赛Codeforces Trie 三题 从字符串博弈到最大异或与动态 MEX
用 455B、706D 和 842D 理解 Trie 如何压缩公共前缀，并把字符选择、动态最大异或与累计异或后的 MEX 统一成树上的逐层决策，附正确性证明、手算、三份 C++17 与独立随机验证。
开始阅读 约 13 分钟 · 3 组代码示例
READING PATHS
全部阅读路径 选一条路，慢慢深入
THE JOURNAL
70 篇积累 · 持续更新最近写下的
舒曼第三交响曲莱茵 从三拍推进到庄严插曲与终曲回望
沿舒曼莱茵交响曲的五乐章，比较三拍中的重音、乡土舞步、抒情间奏与长号带来的庄严空间，附法兰克福广播交响乐团官方完整演出及分章入口。
约 9 分钟2 张图示
LISTENING NOTES阅读全文
Codeforces 字符串匹配三题 从前缀函数到边界计数与差分匹配
用 126B、432D 和 471D 理解前缀函数的回退链、前后缀出现次数与整体平移不变量，附手算、正确性证明、三份完整 C++17 和独立暴力验证。
约 11 分钟3 组代码4 张图示
ALGORITHMS阅读全文
数据库索引入门 从联合索引到 SQLite 查询计划
用同一条订单查询理解 B 树、联合索引、覆盖索引与查询计划，包含手算、边界清单和只用 Python 标准库的内存实验，并用独立排序筛选验证结果。
约 13 分钟5 组代码4 张图示
HOW SYSTEMS WORK阅读全文
海顿伦敦交响曲 从庄严引子到持续低音上的终曲
从第104交响曲的慢引子、同主题奏鸣布局、行板的句尾期待到终曲持续低音，练习听见熟悉材料如何改变作用，附 PMF 官方完整演出。
约 9 分钟2 张图示
LISTENING NOTES阅读全文
Codeforces 强连通分量三题 从互相可达到缩点后的源与汇
用 427C、999E 和 949C 串起强连通分量、缩点 DAG、源分量与汇分量，包含非递归 Kosaraju、费用计数与维护依赖的正确性证明、手算和三份完整 C++17。
约 12 分钟3 组代码4 张图示
ALGORITHMS阅读全文
贝多芬第三交响曲英雄 从两次重击到变奏终曲
从第一乐章的两次重击、葬礼进行曲、三支圆号到终曲的低音与旋律变奏，理解英雄交响曲如何在冲突与重建之间展开，附乐团官方完整演出和四乐章定位。
约 10 分钟2 张图示
LISTENING NOTES阅读全文
Codeforces 树上查询三题 从祖先区间到 LCA 与等距点计数
用 1328E、1304E、519E 串起祖先关系、倍增距离、精确步数的奇偶性和树上中点计数，附三份完整 C++17、手算与独立暴力验证。
约 11 分钟3 组代码4 张图示
ALGORITHMS阅读全文
从 embedding 到语义检索：向量相似度、召回与独立评测
衔接 Transformer 与 RAG，从句向量、对比学习、余弦手算走到分块、召回与重排，用纯 Python 实现可复现的检索端，并区分近邻召回率与真实相关性评测。
约 14 分钟1 组代码4 张图示
AI ENGINEERING阅读全文
门德尔松《意大利交响曲》：四种步伐为何走向小调终点
从第一乐章的跃动、第二乐章的行进、第三乐章的回旋到萨尔塔雷洛终曲，听门德尔松第四交响曲如何以四种步伐把明亮开篇带向小调终点，附官方完整演出与分章入口。
约 10 分钟2 张图示
LISTENING NOTES阅读全文