Applications of Artihmetic Combinatorics in Computer Science
Applications of Artihmetic Combinatorics in Computer Science
批准号:
0729137
负责人:
Luca Trevisan
金额:
$33.8万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2007
资助国家:
美国
项目状态:
已结题
起止时间:
2007-09-01 至 2010-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Recent progress in arithmetic combinatorics has benefited from a convergence of methods from analysis, ergodic theory, combinatorics, and graph theory. This new machinery has led to spectacular progress on long-standing open questions, such as the Green-Tao theorem on arbitrarily long arithmetic progressions in the primes. This research is a systematic exploration of applications of such new techniques to theoretical computer science.Some of the analytic, graph-theoretic and combinatorial techniques have already had a number of applications to theoretical computer science, in such diverse areas as the design of sub-linear time algorithms, the construction of randomness extractors and the design of probabilistically checkable proofs. This research explores new applications of such techniques, as well as applications of the ergodic-theoretic techniques. This research is primarily concerned with a "technology transfer" from arithmetic combinatorics to computer science: increased collaboration between pure mathematicians working in arithmetic combinatorics and theoretical computer scientists will, however, be beneficial to both fields, and is likely to have a positive impact beyond theoretical computer science.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AF: Small: Spectral and SDP Techniques: Average-Case Analysis and Subexponential Algorithms
-
批准号:1815434
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2018
-
负责人:Luca Trevisan
-
依托单位:
EAGER: New Graph and CSP Algorithms Based on Spectral and SDP Techniques
-
批准号:1655215
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2016
-
负责人:Luca Trevisan
-
依托单位:
AF: Small: Graph Partitioning and Spectral Methods
-
批准号:1540685
-
项目类别:Standard Grant
-
资助金额:$28.97万
-
财政年份:2014
-
负责人:Luca Trevisan
-
依托单位:
AF: Small: Graph Partitioning and Spectral Methods
-
批准号:1216642
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2012
-
负责人:Luca Trevisan
-
依托单位:
AF: Small: Unconditional Lower Bounds in Approximability and Cryptography
-
批准号:1161812
-
项目类别:Continuing Grant
-
资助金额:$39.25万
-
财政年份:2011
-
负责人:Luca Trevisan
-
依托单位:
AF: Small: Unconditional Lower Bounds in Approximability and Cryptography
-
批准号:1017403
-
项目类别:Continuing Grant
-
资助金额:$49.86万
-
财政年份:2010
-
负责人:Luca Trevisan
-
依托单位:
Average-Case Complexity, Derandomization and Inapproximability
-
批准号:0515231
-
项目类别:Continuing Grant
-
资助金额:$20.0万
-
财政年份:2005
-
负责人:Luca Trevisan
-
依托单位:
CAREER: Randomized Computations and Probabilistically Checkable Proofs
-
批准号:0406156
-
项目类别:Standard Grant
-
资助金额:$8.39万
-
财政年份:2003
-
负责人:Luca Trevisan
-
依托单位:
CAREER: Randomized Computations and Probabilistically Checkable Proofs
-
批准号:9984703
-
项目类别:Standard Grant
-
资助金额:$12.59万
-
财政年份:2000
-
负责人:Luca Trevisan
-
依托单位:
海外基金