用哈希表和双向链表实现 O(1) 的查询、更新与淘汰，并梳理哨兵节点和边界处理。

按行回溯放置皇后，用列和两条对角线集合完成常数时间冲突检测。

从完整中序遍历到利用 BST 有序性质的迭代查找，比较三种中序后继解法及其复杂度。

Token Recycling 不额外训练 draft model，而是保存目标模型验证时产生的 top-k 候选，用轻量邻接矩阵构造草稿树，再通过 Tree Attention 一次验证多条路径。