Meta-Algorithms versus Circuit Lower Bounds

元算法与电路下界

基本信息

  • 批准号:
    298363-2012
  • 负责人:
  • 金额:
    $ 2.48万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    Discovery Grants Program - Individual
  • 财政年份:
    2015
  • 资助国家:
    加拿大
  • 起止时间:
    2015-01-01 至 2016-12-31
  • 项目状态:
    已结题

项目摘要

Computers have dramatically changed our lives. We can now efficiently solve many computational problems that would be impossible to solve without computers. Yet, many important problems still seem beyond the reach of even our most powerful super-computers. Is the apparent difficulty of these problems real (intrinsic to the problem), or these problems do have efficient algorithmic solutions that we haven't been able to discover yet? The field of computational complexity studies precisely this question: what problems require excessive computational resources (computation time, memory, etc.)? In addition to clarifying the boundary of what can be solved efficiently, identifying computationally hard problems also has important practical consequences. For instance, the security of virtually all cryptographic systems in use today (including electronic banking) relies on the unproven assumptions that certain computational problems are very hard to solve. Thus, proving that such problems are actually hard would prove that these cryptographic protocols are truly secure. One of important discoveries of modern complexity theory is the deep connection between proving the hardness of computational problems and designing efficient algorithms for related computational problems. The two tasks are like Ying and Yang of Computer Science: progress in one is impossible without progress in the other. The main goal of the proposed research is to gain better insight into this connection, and exploit it to make further progress in both computational hardness and efficient algorithm design.
计算机极大地改变了我们的生活。我们现在可以有效地解决许多没有计算机就不可能解决的计算问题。然而,许多重要的问题似乎仍然超出了我们最强大的超级计算机的能力范围。这些问题的表面困难是真实的(问题的内在),还是这些问题确实有我们还没有发现的有效算法解决方案? 计算复杂性领域研究的正是这个问题:什么问题需要过多的计算资源(计算时间、内存等)?除了明确什么是可以有效解决的边界外,识别计算困难的问题也具有重要的实际意义。例如,今天使用的几乎所有密码系统(包括电子银行)的安全性都依赖于未经证实的假设,即某些计算问题很难解决。因此,证明这些问题实际上很难将证明这些加密协议是真正安全的。 现代复杂性理论的一个重要发现是深层联系 在证明计算问题的难度和设计相关计算问题的有效算法之间。这两个任务就像计算机科学中的阴阳:一个方面的进展不可能在另一个方面没有进展。 所提出的研究的主要目标是更好地了解这种联系,并利用它在计算难度和有效的算法设计方面取得进一步的进展。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Kabanets, Valentine其他文献

AC0[p] Lower Bounds against MCSP via the Coin Problem
AC0[p] 通过硬币问题针对 MCSP 的下界
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Golovnev, Alexander;Ilango, Rahul;Impagliazzo, Russell;Kabanets, Valentine;Kolokolova, Antonina;Tal, Avishay
  • 通讯作者:
    Tal, Avishay

Kabanets, Valentine的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Kabanets, Valentine', 18)}}的其他基金

Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
  • 批准号:
    RGPIN-2019-05543
  • 财政年份:
    2022
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
  • 批准号:
    RGPIN-2019-05543
  • 财政年份:
    2021
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
  • 批准号:
    RGPIN-2019-05543
  • 财政年份:
    2020
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
  • 批准号:
    RGPIN-2019-05543
  • 财政年份:
    2019
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2018
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Pseudorandomness and complexity
伪随机性和复杂性
  • 批准号:
    298363-2007
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Pseudorandomness and complexity
伪随机性和复杂性
  • 批准号:
    298363-2007
  • 财政年份:
    2010
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual

相似海外基金

Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2018
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2014
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Algorithm Engineering for NP-hard Problems: Parameterized Algorithms versus Established Techniques
NP 难问题的算法工程:参数化算法与现有技术
  • 批准号:
    230839996
  • 财政年份:
    2013
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Research Grants
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Meta-Algorithms versus Circuit Lower Bounds
元算法与电路下界
  • 批准号:
    298363-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Discovery Grants Program - Individual
Palliative care algorithms for HF dyads: 1-year versus 2-year predicted survival
心衰二元组的姑息治疗算法:1 年与 2 年预测生存率
  • 批准号:
    8728671
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
Palliative care algorithms for HF dyads: 1-year versus 2-year predicted survival
心衰二元组的姑息治疗算法:1 年与 2 年预测生存率
  • 批准号:
    8261797
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
Palliative care algorithms for HF dyads: 1-year versus 2-year predicted survival
心衰二元组的姑息治疗算法:1 年与 2 年预测生存率
  • 批准号:
    8338911
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
Palliative care algorithms for HF dyads: 1-year versus 2-year predicted survival
心衰二元组的姑息治疗算法:1 年与 2 年预测生存率
  • 批准号:
    8521390
  • 财政年份:
    2011
  • 资助金额:
    $ 2.48万
  • 项目类别:
Foundations of computing with continuous data: algorithms versus experiments with physical systems
连续数据计算的基础:算法与物理系统实验
  • 批准号:
    EP/C525361/1
  • 财政年份:
    2006
  • 资助金额:
    $ 2.48万
  • 项目类别:
    Research Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了