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的作业),至少一…