Study Group

• 这是南京大学理论计算机科学学习小组的主页。
• 本学习小组由学生组织，旨在学习理论计算机科学的基础知识。
• 本学习小组对外开放，欢迎各方向的老师、研究生、以及本科生来参加。

理论计算机学习班

时间地点	Speakers	Topics	Readings
7:00pm, 2018/12/14 计算机系楼 224	凤维明	Probability-Generating Function and Galton–Watson Process	Galton–Watson process
7:00pm, 2018/12/11 计算机系楼 224	刘明谋	Lower Bound of Locality-Sensitive Hashing
10:00am, 2018/11/26 计算机系楼 224	凤维明	The Recursion of Counting Monotone CNF Solutions	Approximation via Correlation Decay when Strong Spatial Mixing Fails
7:00pm, 2018/6/29 计算机系楼 224	陈海敏	Randomized Computation (Ⅱ).	Sanjeev Arora and Boaz Barak's Book: Chapter 7.
7:00pm, 2018/6/22 计算机系楼 224	樊一麟	Boolean Circuits.	Sanjeev Arora and Boaz Barak's Book: Chapter 6.
7:00pm, 2018/6/15 计算机系楼 224	刘明谋	Interactive Proofs (Ⅱ).	Sanjeev Arora and Boaz Barak's Book: Chapter 8
7:00pm, 2018/6/7 计算机系楼 224	宋仁杰	Class #P.	Sanjeev Arora and Boaz Barak's Book: Chapter 9 Mark Jerrum's lecture notes
7:00pm, 2018/5/31 计算机系楼 224	刘雅辉	Alternating Turing machines.	Sanjeev Arora and Boaz Barak's Book: Chapter 5
7:00pm, 2018/5/25 计算机系楼 225	刘明谋	Interactive Proofs (Ⅰ).	Sanjeev Arora and Boaz Barak's Book: Chapter 8
3:00pm, 2018/4/20 计算机系楼 224	刘雅辉	Polynomial Hierarchy.	Sanjeev Arora and Boaz Barak's Book: Chapter 5
3:00pm, 2018/4/12 计算机系楼 229	潘笑吟	Space Complexity.	Sanjeev Arora and Boaz Barak's Book: Chapter 4
3:00pm, 2018/3/29 计算机系楼 319	陈海敏 凤维明	Class coNP and Randomized Computation (Ⅰ).	Sanjeev Arora and Boaz Barak's Book: Chapter 2, Chapter 7.
3:00pm, 2018/3/22 计算机系楼 319	凤维明	Class NP and Reductions.	Sanjeev Arora and Boaz Barak's Book: Chapter 2
3:00pm, 2018/3/15 计算机系楼 319	樊一麟	Turing Machines and Class P.	Sanjeev Arora and Boaz Barak's Book: Chapter 1