课题基金 / 基金详情

Foundations of Complexity Theory

Foundations of Complexity Theory
复杂性理论的基础
批准号:
0310466
负责人:
Boaz Barak
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2003
资助国家:
美国
项目状态:
已结题
起止时间:
2003-06-01 至 2007-01-31

项目摘要

项目成果

Boaz Barak的其他基金

相似基金

相关文献

中文摘要
翻译
复杂性理论解决了解决给定计算问题需要多少资源的问题。 近年来,复杂性理论在许多科学和工程学科中找到了联系和应用。 该项目计划在广泛的领域研究复杂性理论。 主题包括通信复杂性,决策树,量子算法,量子密码学和复杂性理论中的其他基础问题。 我们的目标是深入了解计算的本质,以便可以在任何模型中最有效地执行计算任务。 可以预见的是,各种各样的代数和组合技术将被用来探索这些主题。近年来,两个最有趣的科学发展来自于复杂性理论可以用于密码学的认识,以及量子力学可以用于执行强大的计算。 这些领域的进展引起了广大科学界的兴趣,因为它们的相关性是深远的。 该项目的研究可能会导致这两个领域的进一步重大进展。在更广泛的公共教育领域,首席研究员近年来就复杂性,密码学和量子计算等各种主题发表了许多演讲。 这些讲座中有许多是面向普通观众,通常是本科生。 这些讲座,如果精心设计,可以激发年轻人的求知欲,并发展他们对计算科学的兴趣。 随着这些领域研究的进一步发展,可以预期公众的认识和兴趣将进一步提高,从而有利于加强科学教育。
英文摘要
Complexity theory addresses the question of how much resource is needed to solve a given computational problem. In recent years complexity theory has found connections and applications in many scientific and engineering disciplines. This project plans to investigate complexity theory across a broad front. The topics include communication complexity, decision trees, quantum algorithms, quantum cryptography, and other foundational issues in complexity theory. Te goal is to gain deep insights into the nature of computation, so that one can most effectively perform computational tasks in any model. It is expected that a variety of algebraic and combinatorial techniques will be called upon to explore these topics.Two of the most interesting scientific developments in recent years spring from the realization that complexity theory can be utilized for cryptography, and that quantum mechanics can be used for performing powerful computation. Advances in these fronts have attracted interest from scientific communities at large, as their relevance is far-reaching. The research of this project could lead to substantial further progress in these two areas.In the broader domain of public education, the Principal Investigator has given many speeches in recent years on various topics on complexity, cryptography and quantum computing. Many of these talks are geared toward general audiences and often undergraduate students. These lectures, if thoughtfully designed, can stimulate the intellectual curiosity of young minds and develop their interest in the computing sciences. With further advances of research in these areas, one can expect that public awareness and interest will be further enhanced to the good of a stronger scientific education.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Large: Collaborative Research: Algebraic Proof Systems, Convexity, and Algorithms
  • 批准号:
    1565264
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $86.5万
  • 财政年份:
    2016
  • 负责人:
    Boaz Barak
  • 依托单位:
TWC: Small: Complexity Assumptions for Cryptographic Schemes
  • 批准号:
    1618026
  • 项目类别:
    Standard Grant
  • 资助金额:
    $50.0万
  • 财政年份:
    2016
  • 负责人:
    Boaz Barak
  • 依托单位:
Women In Theory Workshop
  • 批准号:
    0813748
  • 项目类别:
    Standard Grant
  • 资助金额:
    $1.0万
  • 财政年份:
    2008
  • 负责人:
    Boaz Barak
  • 依托单位:
CT-ISG: Cryptographic Foundations for Next-Generation Security Applications
  • 批准号:
    0627526
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $40.0万
  • 财政年份:
    2006
  • 负责人:
    Boaz Barak
  • 依托单位:
海外基金