1

高等理论计算机 I

 3 years ago
source link: https://zhiqiang.org/cs/advanced-theoretical-computer-science-i-lectures.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

高等理论计算机 I

作者: 张志强

, 发表于 2008-09-19

, 共 672 字 , 共阅读 118 次

姚期智教授给清华大学新入学研究生开的一门课,课程内容:

在经典计算复杂性方面:NP 完全性,多项式空间复杂性,对数空间复杂性,交互式证明系统,随机复杂性,去随机化,概率检验证明系统,电路复杂性,通信复杂性,判定树复杂性等。在量子计算复杂性方面将包括:量子计算模型,量子电路,量子 Fourier 变换算法, Shor 算法, Grover 量子搜索算法,量子纠错码,冯诺依曼墒等。

从这里可以看出理论计算机的一些主要的方向。按照姚先生的说法,这些是做理论的学生,多少都应该知道一点的东西,这样跟别人讨论的时候才不会 embarrass。Researcher 不应该局限于自己所专注的领域,眼界要开阔; 这也是开这门课的主要原因。

[1] Complexity Theory: A Modern Approach, Sanjeev Arora and Boaz Barak.
[2] Quantum Computation and Quantum Information, Michael Nielsen and Isaac Chuang.
[3] Lecture nots: Quantum Computation, instructor Umesh Vazirani

这门课有 I , II 两个学期。这个学期主要讲量子计算和量子信息的一些东西吧。我恰好跟着写一些关于量子的东西放到这里,当然都是简单介绍性质的,目的是大家看了之后,对一些 NC 的东西有简单的辨别力,比如新浪科技的这篇瑞士实验显示量子信息传输速度远超光速

Q. E. D.

avatar-0.jpg

About Joyk


Aggregate valuable and interesting links.
Joyk means Joy of geeK