|
次号 |
时 间 |
讲授内容 |
|
1 |
25日下午: 14: 00--- 17: 00 |
PCP定理及不可近似问题 |
|
2 |
25日晚上: 19: 00--- 21: 00 |
膨胀图在随机算法中的应用 |
|
3 |
26日上午: 09: 00--- 12: 00 |
Walsh-Hadamard编码与弱PCP定理证明 |
|
4 |
26日下午: 15: 00--- 17: 00 |
PCP定理证明(1): 证明框架与路线 |
|
5 |
27日上午: 09: 00--- 12: 00 |
PCP定理证明(2): CSP问题范化问题 |
|
6 |
27日下午: 15: 00--- 17: 00 |
PCP定理证明(3): 间隙放大引理证明 |
地点：电信大楼3号楼 318室 BASICS实验室
主讲人：许道云 教授
南京大学博士，贵州大学计算机科学与技术学院院长。
主要研究方向为计算复杂性、可计算分析。主持有国家自然科学基金项目，曾经在《中国科学》、《软件学报》、《计算机科学与技术学报》、《Annals of Intelligence and Mathematics》等刊物上发表过论文。
研究方向包括：
1) SAT问题
2) 非单调推理及其计算复杂性
3) 可计算分析及其计算复杂性