Special Year in Computational Complexity Theory

计算复杂性理论特别年

• 批准号: 9987077
• 负责人: Avi Wigderson
• 金额: $ 30万
• 依托单位: Institute For Advanced Study
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-09-01 至 2001-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9987077&HistoricalAwards=false
• 关键词: Special; Year; Computational; Complexity; Theory

Avi Wigderson9987077This project will support three senior researchers to participate in a special year on computational complexity theory at the Institute for Advanced Studies. These researchers will attract the participation of other top researchers in computational complexity. Computational complexity theory has opened up one of the most exciting fields of scientific and mathematical research over the last 20 years, with dramatic achievements and fundamental understandings appearing at a high rate. One obvious explanation for the recent progress in this field is that this research is guided by a few clear and focused questions, deeply motivated on scientific, practical and philosophical grounds. The most central of these are:P=NP?, or more generally, are the many natural computational problems we can't solve really difficult?NP=coNP?, or more generally, what constitutes a difficult theorem to prove:P=BPP?, or more generally, does randomization really help efficient computation?BPP=QP?, or more generally, can quantum mechanics be efficiently simulated classically?Resolving any of these questions is clearly very long term goal, but each has stimulated the development of concepts, problems, proof techniques and results which start paving a path towards a possible resolution.But what really characterized the progress, and explained much of the successes so far, was the unveiling of many rich and beautiful connections between the sets of concepts and sub-problems each of these major questions gave rise to. There is little doubt that such connections are, and will be, the foundation for understanding the major questions of complexity theory. Indeed, these connections are what is making the complex world of computational complexity into a theory. The focus of this special year at the Institute will be to better understand these connections and their implications, to unify and extend them, and to look for new ones.

Avi Wigderson9987077这个项目将支持三名高级研究人员参加高级研究所关于计算复杂性理论的特别年。这些研究人员将吸引其他顶尖研究人员参与计算复杂性。在过去的20年里，计算复杂性理论开辟了科学和数学研究中最令人兴奋的领域之一，取得了巨大的成就，并以很高的速度出现了基本的理解。对这一领域最新进展的一个明显解释是，这项研究是以几个明确和集中的问题为指导的，这些问题深深地基于科学、实践和哲学基础。其中最核心的问题是：P=NP？，或者更广泛地说，我们无法解决的许多自然计算问题真的很难吗？NP=coNP？，或者更一般地，什么构成了一个难以证明的定理：P=bpp？，或者更广泛地说，随机化真的有助于有效的计算吗？bpp=qp？或者更广泛地说，量子力学能否有效地被经典地模拟？解决这些问题显然是非常长期的目标，但每一个问题都刺激了概念、问题、证明技术和结果的发展，开始为可能的解决方案铺平道路。但真正描述这一进步的是什么，并解释了迄今为止的许多成功，揭示了这些概念和子问题之间的许多丰富而美丽的联系，这些主要问题中的每一个都产生了。毫无疑问，这种联系现在是，将来也将是理解复杂性理论主要问题的基础。事实上，正是这些联系将复杂的计算世界变成了一种理论。研究所这一特别年的重点将是更好地了解这些联系及其影响，统一和扩大这些联系，并寻找新的联系。