理论计算机科学
问题形式：某问题的复杂度/某算法的界/某模型的能力；证据：证明；文化：单作者或小团队、STOC/FOCS/SODA、arXiv 与 ECCC。本章讲理论结果如何被评价（紧、新技术、解决开放问题），以及理论与实践的互动方式。
- 一个新的证明技术可能比结果本身更重要
- 理论会议接受”部分进展”
- 与实践的距离不等于价值的距离
问题形式：某问题的复杂度/某算法的界/某模型的能力；证据：证明；文化：单作者或小团队、STOC/FOCS/SODA、arXiv 与 ECCC。本章讲理论结果如何被评价（紧、新技术、解决开放问题），以及理论与实践的互动方式。