Combinatorial Aspects of Randomness and Complexity
Combinatorial Aspects of Randomness and Complexity
批准号:
8912586
负责人:
Michael Sipser
金额:
$0.0万
依托单位国家:
美国
项目类别:
Continuing grant
财政年份:
1989
资助国家:
美国
项目状态:
已结题
起止时间:
1989-08-01 至 1993-01-31
中文摘要
本项目研究两个相关领域:1。2.明确布尔函数复杂度的下界。复杂性理论背景下随机性的应用与理解。在第一个领域,目标是加强现有的证明有限计算模型下界的方法。寻找新的方法,可以用来分析无限制的模型,如一般布尔电路。PI将利用这些问题的无限类似来应用描述性集合论的概念。在第二个领域中,将考虑一些关于随机性的问题。重点介绍了扩展图作为一类通用随机对象的使用,以及伪随机生成的设计与应用。
英文摘要
This project studies two related areas: 1. Lower bounds on the complexity of explicit Boolean functions and 2. The application and understanding of randomness in the context of complexity theory. In the first area the goal is to strengthen current methods for proving lower bounds on restricted computational models. New approaches are sought that may be used to analyze unrestricted models such as general Boolean circuits. The PI will draw upon infinitary analogs of these problems to apply concepts from descriptive set theory. In the second area several problems concerning randomness will be considered. In particular, the use in of expanded graphs as a type of universal random object, and the design and application of pseudorandom generation.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Randomness in Computation and Proof
-
批准号:9503322
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1995
-
负责人:Michael Sipser
-
依托单位:
Combinatorial Methods in Circuit Complexity
-
批准号:9212184
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1992
-
负责人:Michael Sipser
-
依托单位:
Studies in Randomness and Complexity
-
批准号:8602062
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:Michael Sipser
-
依托单位:
Computational Complexity and Algorithms
-
批准号:8105555
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1981
-
负责人:Michael Sipser
-
依托单位:
国内基金
海外基金
基于构件软件的面向可靠安全Aspects建模和一体化开发方法研究
-
批准号:60503032
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2005
-
负责人:毛晓光
-
依托单位: