2020年终总结
2020年已经过去一天多了。或许对于大多数人来说，这是很糟心的一年，发生了太多不…
证明SAT的NP完全性（NP-completeness）
看懂本文需要提前有哪些知识？ 知道什么是图灵机，非确定图灵机 知道什么是SAT问…
关于布尔电路的一些笔记
布尔电路（Boolean Circuit），是计算复杂度理论中的一个重要模型。但…
薄一波《若干重大决策与事件的回顾》节选 读书笔记
我之所以选择这本书的节选作为我的读书笔记，是因为它虽然名为“回顾”，包含对之前事…
《黑格尔法哲学批判<导言>》读书笔记
读书笔记管中窥豹
密码保护：一个虚假的轻小说
无法提供摘要。这是一篇受保护的文章。
一个真实的轻小说
第一章 相遇 故事总是在你不经意的时候悄然而至。 2018 年夏末，伴随着最后一…
2. 非确定性
当一个机器在任意一个给定状态，并读入下一个输入符号时，到达的状态是确定的（且只有…
1. 有限自动机
一般我们会用状态图来描述一个有限自动机（Finite Automata）。它有且…