2020年终总结
2020年已经过去一天多了。或许对于大多数人来说，这是很糟心的一年，发生了太多不…
证明SAT的NP完全性（NP-completeness）
看懂本文需要提前有哪些知识？ 知道什么是图灵机，非确定图灵机 知道什么是SAT问…
关于布尔电路的一些笔记
布尔电路（Boolean Circuit），是计算复杂度理论中的一个重要模型。但…
2. 非确定性
当一个机器在任意一个给定状态，并读入下一个输入符号时，到达的状态是确定的（且只有…
1. 有限自动机
一般我们会用状态图来描述一个有限自动机（Finite Automata）。它有且…
一天理解傅里叶变换
原文：http://blogs.zynaptiq.com/bernsee/dft…
开个新坑
做一个乐器识别的程序（其实就是把别人的程序翻译成python。。） github…
看剧学英语
记录一下英剧/美剧中一些口语的表达 The IT Crowd Se…
立个flag
从今天到这学期结束，每天看至少两节coursera课程（或1/2的作业），至少一…