刷新
{{item.name}}会员
Algorithm Lower Bounds via Proof Complexity
通过证明复杂性确定算法下界
基本信息
- 批准号：569525-2022
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2022
- 资助国家：加拿大
- 起止时间：2022-01-01 至 2023-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
computational complexity, algorithms, proof complexity, optimization, linear programming, approximation algorithms, lower bounds
计算复杂性，算法，证明复杂性，优化，线性规划，近似算法，下界
项目成果
期刊论文数量（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 }}
Grosser, StefanSN其他文献
Grosser, StefanSN的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
相似海外基金
CAREER: Lower Bounds for Shallow Circuits
职业生涯：浅层电路的下限
- 批准号：
2338730 - 财政年份：2024
- 资助金额：
$ 1.53万 - 项目类别：
Continuing Grant
Complexity Lower Bounds from Expansion
扩展带来的复杂性下限
- 批准号：
23K16837 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Branching Program Lower Bounds
分支程序下界
- 批准号：
RGPIN-2019-06288 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
- 批准号：
RGPIN-2019-05543 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual
Lower bounds on ranks of nontrivial toric vector bundles
非平凡环面向量丛的秩下界
- 批准号：
558713-2021 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Bringing upper and lower bounds closer in computational geometry
使计算几何中的上限和下限更加接近
- 批准号：
567959-2022 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Superlinear lower bounds for Boolean circuits
布尔电路的超线性下界
- 批准号：
545945-2020 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Algorithms and lower bounds for monotone dualization and tensor decomposition of constraint satisfaction hypergraphs
约束满足超图的单调对偶化和张量分解的算法和下界
- 批准号：
576241-2022 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Alliance Grants
Superlinear lower bounds for Boolean circuits
布尔电路的超线性下界
- 批准号：
545945-2020 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Average-Case Lower Bounds in Boolean Circuit Complexity
布尔电路复杂性的平均情况下限
- 批准号：
RGPIN-2016-06467 - 财政年份：2021
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual