K 个有序链表合并成一个，朴素做法 O(N·k)，堆与分治都能压到 O(N log k)——但两者的空间、常数与工程含义完全不同。本文从「K 路归并」的通用模型讲起，给出两种解法的 Python 实现（本地验证含 30000 组对拍），并把这道题放进「多路有序数据合并」的行业场景里看。

LRU 只看「多久没用」，LFU 还要看「用得多不多」——多出来的这层频率账本，让 O(1) 的设计难度陡增。本文从朴素方案的瓶颈推到「频率桶 + 双向链表」的双字典结构，逐段讲透驱逐与晋升的每一步，最后用本地测试跑通边界用例，顺带看看 Redis 是怎么把这套思想塞进 24 个比特的。

合并后取中位数人人会写，O(log(m+n)) 才是这道题的灵魂。本文从「中位数 = 划分点」这个视角重构问题，讲透最直观的「找第 k 小」解法，给出一份本地验证通过的 Python 实现（含 20000 组随机对拍），再对比面试官更爱的「切分线」解法，最后说清为什么这道题是二分思想的试金石。

接雨水是「按列求水」模型的经典困难题。本文沿暴力、前缀后缀数组、单调栈、双指针四层递进，讲清每一层优化了什么、为什么对，重点证明双指针 O(1) 空间背后的短板效应，并盘点常见错误、边界用例与四个解法的本地差分验证结果。

LIS 是子序列问题的祖师爷：O(n²) 的 DP 教你「以 i 结尾」的状态设计，O(n log n) 的贪心 + 二分教你「维护最有潜力的结尾」。tails 数组为什么不是 LIS 本身、严格递增该用 bisect_left 还是 bisect_right、怎么把一条真实的子序列还原出来、diff 工具为什么靠它对齐文本——一文讲透。

「以每根柱子为高，能向左右伸多远」是这道题的全部直觉；而把 O(n²) 的暴力压到 O(n) 的，是一个看似与题目无关的结构——单调栈。本文从限高柱的视角推导解法，给出本地验证通过的 Python 实现（含 30000 组随机对拍），讲透等高柱与哨兵这两个边界难点的约定，最后把单调栈的使用心法收成一张表。

爬楼梯是几乎所有 DP 教学的第一题：n 阶楼梯每次爬 1 或 2 阶，几种爬法？本文从「最后一步倒推」讲出递推式的直觉，展示暴力递归到 O(1) 空间滚动变量的三级演化，并解释为什么题目把 n 限到 45——那是一条整数溢出的边界线。

三数之和是「两层枚举 + 相向双指针」的模板题，真正的考点不是找到三个数，而是在 O(n²) 里把重复三元组干净地排除。本文从暴力解的失败讲起，逐行拆解排序双指针与三条去重规则，附两处剪枝，全部代码本地跑通验证。

现代大模型的百万上下文，几乎都建立在 2021 年的旋转位置编码与 2023 年的一系列外推算法之上。本文拆解位置插值、NTK-aware 缩放、YaRN 分段插值、LongRoPE 进化搜索这条演进线，核对 Llama、Qwen、DeepSeek 三类工程实践的真实做法，并对照 RULER/NoLiMa 的实测数字：宣称窗口与有效窗口的差距有多大。

双指针 / 单调栈

字符计数作哈希键

哈希表一次遍历

固定窗口、滑动窗口、漏桶、令牌桶四种限流算法逐个拆解：各自怎么工作、临界突刺藏在哪、适合什么场景。附固定窗口与令牌桶的可运行 TypeScript 实现，最后给一张选型表，并交代 Redis + Lua 的分布式落地现实。

Raft 论文的中文精读：从复制状态机出发理解共识

在禁止儿童使用社媒平台之后，澳大利亚工党政府提出了一项新的法律草案，要求社媒平台允许用户退出算法驱动的信息流。用户可选择算法推荐的个性化内容作为默认信息流，或者拒绝接收算法推荐的内容，只浏览用户关注的朋友和创作者的内容。被称为 My Fee…

双指针等距法

双指针收敛

右上角二叉决策树

前缀积 × 后缀积

三次翻转

Kadane 动态规划

快慢指针原地交换

前缀和 + 哈希表

排序 + 双指针去重

原地哈希（鸽巢）

快慢指针 + 后半段反转

迭代三指针

转置 + 水平翻转

首行首列作标记位

四边界收缩

按左端点排序后合并

滑动窗口 + 需求计数

滑动窗口 + 计数数组

哈希集合找序列起点

滑动窗口

单调递减队列

最近公共祖先是二叉树递归的分水岭题目：解法只有十行，但「为什么两边都命中就是答案」的传播逻辑值得讲透。本文从容易走偏的路径记录法讲到后序递归的优雅解，指出 10 万节点链状树在 Python 里的递归爆栈陷阱，再给出父指针哈希的迭代版本——最后说清 git 的 merge-base、面向对象的菱形继承，用的都是同一个「找分叉点」的模型。

备案是中国生成式 AI 监管的主轴：算法备案与大模型备案双轨并行，2025 年 9 月起《人工智能生成合成内容标识办法》与强制性国标 GB 45438-2025 把显式/隐式标识义务落到像素级。本文面向开发者梳理法规层级、备案触发条件与落地清单。本文不构成法律意见。

LeetCode 53 的题眼在状态定义：dp[i] 写成「以 i 结尾的最大子数组和」，转移一步到位；错写成「前 i 个的最大」就寸步难行。本文从 O(n²) 暴力讲到 O(1) 的 Kadane，再到分治进阶，附全负数边界与三解法对拍。

「找出第 k 大」是生产系统里真实存在的需求——排行榜、热搜、监控告警都靠它，而排序是最诚实的暴力。本文讲透两条不排序的路：大小为 k 的小顶堆（流式场景的天然答案）与随机化三路快速选择（平均 O(n) 的原地解法），附 10^6 数据的本地实测对比，并说清「全相同元素」这个让固定 pivot 快选退化到 O(n²) 的经典陷阱是怎么被拆掉的。

IT之家 9 月 9 日消息，量子技术企业 IonQ 美国当地时间本月 8 日表示，一台拥有 20000 个物理量子比特的 IonQ 离子阱量子计算机 或许仅需 26 天就能攻破比特币等加密货币使用的 secp256k1 椭圆曲线数字签名加…

解码阶段的大模型是内存带宽问题：一次前向读完几十 GB 权重，却只产出一个 token。投机解码让小模型先猜几个、大模型一次前向并行验证，修正拒绝采样保证输出分布完全不变——2 到 6.5 倍加速的「免费午餐」。本文拆解它的数学、三代草稿方案与 2026 年的工程现状。

编辑距离是序列动态规划的珠穆朗玛：暴力递归是指数级爆炸，但状态数只有区区 25 万个。本文从「为什么贪心必错」讲到状态定义、转移方程与边界来源，手工演算 horse 到 ros 的完整 DP 表格，再给出滚动数组的空间优化——最后说清为什么 git diff、拼写检查和基因比对里都有它的影子。

Raft 的领导者选举、日志复制与安全性约束

AI 音乐的版权问题不是一句话能答的：训练端有 GEMA 在德国赢下 Suno 的判决，产出端美国版权局坚持「纯 AI 生成不受保护」，商用端平台条款决定了你拿到的是什么权利。本文把三笔账分开算清，给创作者一份实操清单。本文不构成法律意见。

多头潜在注意力（MLA）是 DeepSeek-V2/V3 与 Kimi K2 的注意力底座：把 K/V 低秩压缩进一个 512 维潜在向量，推理时缓存量只有完整 MHA 的约 1.8%，官方口径质量反而强于 MHA。本文拆解它的低秩压缩、矩阵吸收与解耦 RoPE 三个核心设计，以及专用 Kernel、前缀缓存兼容等真实工程代价。

你在 K 线前犹豫时，另一批参与者每秒完成上千次决策。本文拆解量化交易从因子挖掘到执行算法的流水线，核对规模 3 万亿级的中国量化行业与 2026 年落地的三层监管（高频认定：每秒 300 笔），并复盘 2024 年 2 月那场让「同质化」三个字上教科书教科书级的流动性危机。

FlashAttention 不近似、不改公式，却把注意力训练速度提高数倍、显存从 O(N²) 降到 O(N)——靠的是把「少走显存」当成一等目标：分块装进片上内存、用 online softmax 增量修正、达到 IO 复杂度理论下界。本文拆解它的算法原理与 v1→v2→v3 三代硬件适配，以及它管不了的事：KV cache 与自定义 mask。

Matt Pocock 开源的 Agent Skill 技能包（当日涨星 +888、★273,816、MIT）：27 个技能把「对齐→规格→拆票→TDD 实现→双轴评审」固化成智能体无法跳过的流程。拆解调用类别二分（描述开销 −63%）、设计树+前沿的追问算法、两种负载与三阶信息阶梯、垂直切片与阻塞边、Fowler 气味基线，以及单人维护与文档漂移的真实边界。

滑动窗口是双指针家族里最常用的范式，LeetCode 3 正是它的代表作。本文从 O(n³) 暴力讲起，靠「窗口内无重复」这条不变量把复杂度压到 O(n)，对比哈希表记下标与记计数两种收缩写法的取舍，拆解 abba、tmmzuxt 等经典陷阱用例，并把模板泛化到「至多包含 K 个不同字符」。