可探索的实验笔记

用可视化和交互，重新发明计算机科学概念。

从具体问题开始，先试朴素想法，看见它为什么不够用，再用可交互的 trace 发明最小的新工具。

trace 快照
queue = [B, C]
visited = {A, B, C}

先试一个朴素方法

学习路径

先抓住一个小而真实的痛点，而不是直接背定义。

把第一版想法画出来，看清它在哪里变得吃力。

只加入一个能解决痛点的新工具。

再连接到代码、不变量、复杂度和知识图谱。

精选概念

概念

草稿

判断是否存在某个真值赋值让布尔公式为真，并区分“寻找赋值”和“检查一个赋值”。

草稿

让每个预测簇只按其中最多的参考标签得分，快速评价聚类是否“干净”。

草稿

通过为每个门设置辅助变量，并加入局部门约束，把电路可满足性实例翻译为 SAT 实例。

草稿

判断是否存在某个布尔赋值让电路输出 1，并理解一个赋值为什么是可高效检查的证书。

图谱

概念节点通过前置、对比、使用关系连接，每一页都能看见自己在学习地图中的位置。

路线预览

路线图让第一版保持聚焦，同时给算法、系统、理论和数据结构留下扩展空间。