Proving and Using Pseudorandomness
Proving and Using Pseudorandomness
批准号:
1639631
负责人:
Richard Karp
金额:
$2.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-07-01 至 2017-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Notions of pseudorandomness and quasirandomness have been developed and investigated in several areas of theoretical computer science, combinatorics and number theory (including complexity theory, cryptography, graph theory, additive combinatorics and analytic number theory) to answer such questions such as the following. What does it mean for a fixed object to be "random-like"? Is it possible to turn existence proofs that use the probabilistic method into explicit constructions? Is it possible to simulate randomized algorithms deterministically? When can heuristic arguments that treat the primes as a random set of integers be turned into rigorous proofs? In the setting of additive combinatorics, what is the minimal set of tests that primes have to satisfy in order to guarantee that they contain arithmetic progressions (or other structures)?At a very high level, the appeal of such notions is that one can easily prove that certain properties are true for random objects, using probabilistic methods, and then transfer such properties to pseudorandom objects, provided that the pseudorandomness ?fools? the probabilistic techniques. A theme of this workshop will be how to leverage weak pseudorandomness properties, fooling simple classes of tests, in order to derive stronger pseudorandomness properties related to more complex tests. The workshop will explore unconditional constructions of pseudorandom objects at the frontier of progress, such as pseudorandom generators for small-space computations, small-depth circuits with modular gates, threshold circuits, and formulas in disjunctive normal form.The workshop will bring together complexity theorists, combinatorial mathematicians, number theorists, probabilists and algorithm designers interested in the foundations and uses of pseudo-randomness. It will be open to all potential participants, and the workshop findings (including videorecordings of presentations) will be distributed to the public for comment and engagement. The organizers will encourage students to attend the workshop, and will actively recruit scientists from a diversity of backgrounds to contribute to a wide range of applications.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Brain and Computation
-
批准号:1744126
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:2017
-
负责人:Richard Karp
-
依托单位:
Learning, Algorithm Design and Beyond Worst-Case Analysis
-
批准号:1639629
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Computational Challenges in Machine Learning
-
批准号:1639630
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Optimization and Decision-Making Under Uncertainty
-
批准号:1639628
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Women in Theory 2016
-
批准号:1636967
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Uncertainty in Computation
-
批准号:1639627
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2016
-
负责人:Richard Karp
-
依托单位:
Connections Between Algorithm Design and Complexity Theory
-
批准号:1540284
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Approximate Counting, Markov Chains and Phase Transitions
-
批准号:1540286
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Network Biology
-
批准号:1540285
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Algorithmic Game Theory and Practice
-
批准号:1540283
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2015
-
负责人:Richard Karp
-
依托单位:
Spectral Algorithms: From Theory to Practice
-
批准号:1443133
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
The Mathematics Underlying Cryptography
-
批准号:1443136
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Securing Computation
-
批准号:1443135
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Coding: From Practice to Theory
-
批准号:1443134
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2014
-
负责人:Richard Karp
-
依托单位:
Big Data and Differential Privacy
-
批准号:1346565
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2013
-
负责人:Richard Karp
-
依托单位:
CCF: AF: EAGER: Systematic Construction of Heuristic Algorithms for Combinatorial Optimization Problems in Biology
-
批准号:1052553
-
项目类别:Standard Grant
-
资助金额:$25.94万
-
财政年份:2010
-
负责人:Richard Karp
-
依托单位:
Workshop:Planning for a Cross-Cutting Initiative on Theory of Networked Computation
-
批准号:0601893
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Richard Karp
-
依托单位:
Design and Analysis of Internet Algorithms: Routing, Filtering, Overlay Design and Influence of Heterogeneity
-
批准号:0515259
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2005
-
负责人:Richard Karp
-
依托单位:
ITR: Analysis of Internet Algorithms: Optimization, Game Theory and Competitive Analysis
-
批准号:0081698
-
项目类别:Continuing Grant
-
资助金额:$49.98万
-
财政年份:2000
-
负责人:Richard Karp
-
依托单位:
Computational Problems in Physical Mapping and Sequencing
-
批准号:9601046
-
项目类别:Continuing Grant
-
资助金额:$72.5万
-
财政年份:1996
-
负责人:Richard Karp
-
依托单位:
国内基金
海外基金
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
-
批准号:52073127
-
项目类别:面上项目
-
资助金额:58.0万元
-
批准年份:2020
-
负责人:Alidad Amirfazli
-
依托单位:
Molecular Interaction Reconstruction of Rheumatoid Arthritis Therapies Using Clinical Data
-
批准号:31070748
-
项目类别:面上项目
-
资助金额:34.0万元
-
批准年份:2010
-
负责人:Christine Nardini
-
依托单位: