Study Group: Difference between revisions

From TCS Wiki
Jump to navigation Jump to search
imported>TCSseminar
imported>TCSseminar
Line 33: Line 33:
|-
|-
|align="center"|
|align="center"|
<font color=red> 7:00'''pm''',  2018/5/25</font><br> 计算机系楼 225
7:00'''pm''',  2018/5/25<br> 计算机系楼 225
|align="center"|
|align="center"|
刘明谋
刘明谋

Revision as of 08:12, 30 May 2018

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

计算复杂性 Computational Complexity

时间地点 Speakers Topics Readings

待定

宋仁杰

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