imported>TCSseminar |
imported>TCSseminar |
| Line 1: |
Line 1: |
| * 这是南京大学理论计算机科学学习小组的主页。
| | 截止2018.10.24 13:00，作业3已提交名单如下 |
| * 本学习小组由学生组织，旨在学习理论计算机科学的基础知识。
| | {| class="wikitable" |
| * 本学习小组对外开放，欢迎各方向的老师、研究生、以及本科生来参加。
| | |171250623 || 姜勇刚 |
| | |
| ==计算复杂性 Computational Complexity==
| |
|
| |
| :{|border="2" width="100%" cellspacing="4" cellpadding="3" rules="all" style="margin:1em 1em 1em 0; border:solid 1px #AAAAAA; border-collapse:collapse;empty-cells:show;"
| |
| |- | | |- |
| |bgcolor="#A7C1F2" align="center"|'''时间地点''' | | |DZ1733021 || 夏瑞 |
| |bgcolor="#A7C1F2" align="center"|'''Speakers''' | |
| |bgcolor="#A7C1F2" align="center"|'''Topics'''
| |
| |bgcolor="#A7C1F2" align="center"|'''Readings'''
| |
| |- | | |- |
| |align="center"| | | |DZ1833028 || 徐闽泽 |
| <font color = red>7:00'''pm''', 2018/6/7 </font><br> 计算机系楼 224
| |
| |align="center"| | |
| 宋仁杰
| |
| ||
| |
| :Class #P.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 9 <br>
| |
| [http://www.dcs.ed.ac.uk/home/mrj/ETHbook/chap2.ps Mark Jerrum's lecture notes]
| |
| | |
| |- | | |- |
| |align="center"| | | |151220130 || 伍昱名 |
| 7:00'''pm''', 2018/5/31<br> 计算机系楼 224
| |
| |align="center"| | |
| 刘雅辉
| |
| ||
| |
| :Alternating Turing machines.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 5
| |
| |- | | |- |
| |align="center"| | | |161250027 || 高忆 |
| 7:00'''pm''', 2018/5/25<br> 计算机系楼 225
| |
| |align="center"| | |
| 刘明谋
| |
| ||
| |
| :Interactive Proofs.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 8
| |
| |- | | |- |
| |align="center"| | | |MP1733012 || 陆璐 |
| 3:00'''pm''', 2018/4/20<br> 计算机系楼 224
| |
| |align="center"| | |
| 刘雅辉
| |
| ||
| |
| :Polynomial Hierarchy.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 5
| |
| |- | | |- |
| |align="center"| | | |MF1833009 || 陈越 |
| 3:00'''pm''', 2018/4/12<br> 计算机系楼 229
| |
| |align="center"| | |
| 潘笑吟
| |
| ||
| |
| :Space Complexity.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 4
| |
| |-
| |
| |align="center"|
| |
| 3:00'''pm''', 2018/3/29<br> 计算机系楼 319
| |
| |align="center"|
| |
| 陈海敏<br>
| |
| 凤维明
| |
| ||
| |
| :Class coNP and Randomized Computation.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 2, Chapter 7.
| |
| |-
| |
| |align="center"|
| |
| 3:00'''pm''', 2018/3/22<br> 计算机系楼 319
| |
| |align="center"|
| |
| 凤维明
| |
| ||
| |
| :Class NP and Reductions.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 2
| |
| |-
| |
| |align="center"|
| |
| 3:00'''pm''', 2018/3/15<br> 计算机系楼 319
| |
| |align="center"|
| |
| 樊一麟
| |
| ||
| |
| :Turing Machines and Class P.
| |
| ||
| |
| [http://theory.cs.princeton.edu/complexity/book.pdf Sanjeev Arora and Boaz Barak's Book]: Chapter 1
| |
| |- | | |- |
| | |DZ1833011 || 何雨橙 |
| |} | | |} |