权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

計算量クラスの理論的な分離と自動設計システムの評価への応用

计算复杂性类别的理论分离及其在自动设计系统评估中的应用

基本信息

批准号：
11780227
负责人：
岩本宙造
金额：
$ 1.15万
依托单位：
Hiroshima University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份：
1999
资助国家：
日本
起止时间：
1999 至 2000
项目状态：
已结题

项目摘要

本研究では,計算機の能力は計算時間やハードウェアサイズを増やせば真に上昇するという「計算量クラスの階層性」の理論的証明を目標としている.平成12年度は,以下の研究成果を得た.これらの成果は,自動設計システムの評価の為のテスト例題の生成に応用が期待できる.1.最も単純な並列処理システムであるセルオートマトンに対して,計算に並列性の概念を採り入れた交代性セルオートマトンが決定性(直列性)セルオートマトンよりも真に能力が高いという「計算量の階層性」を証明した.また,交代性による加速定理も証明した.これらの結果は,モルドバ共和国で2001年5月に開催される国際会議(International Conference on Machines, Computations and Universality)に採択が決定している.2.対数時間一様論理回路族に対して,段数t(n)と素子数z(n)を,それぞれ,(1+ο(1))t(n)logz(n)と(dt(n)+ψ(n)log^2z(n))(z(n))^2に増加すれば,真に計算能力が上昇するという階層定理を証明した.本結果は,クウェートで開催された国際会議(10th International Conference on computing and Information)にて公表した.会議録は2001年に出版される予定である.3.代表的な直列計算機モデルであるチューリング機械の時間・領域階層定理を証明した.本結果は,ブルガリアで開催された研究集会(9th International Colloquium on Numerical Analysis and Computer Science with Applications)にて招待講演として成果を発表した.

In this research, the computer's ability and calculation time are really risingするという「Calculation amount クラスのstratification」Theory’s proof target としている.Heisei 12 Degree, the following research results are obtained. The results are automatically designed and evaluated.スト Example のGeneration に応 Use できる.1. The most も単Pure な parallel processing システムであるセルオートマトンに対して, the concept of calculation and parallelism, the concept of parallelism, the concept of parallelism, the concept of interchangeability, and the concept of parallelism.がDeterminative(linearity)セルオートマトンよりも真にabilitiesが高いという「Calculation level "Proof of sex", proof of acceleration theorem of sex, proof of the result of "acceleration theorem", "Republic of Korea" was held in May 2001. Conference on Machines, Computations and Universality) is determined by している.2. The number of time-theoretic loop family に対して, the number of segments t(n) and the number of primes z(n)を, それぞれ, (1+ο(1))t(n)logz(n)と( dt(n)+ψ(n)log^2z(n))(z(n))^2に Increase the calculation power. The rise of the hierarchy theorem is proved. This result is the result of the international conference on the rise of the hierarchy theorem (10th International Conference on computing and Information), published in 2001. Proceedings of the conference were published in 2001 and are scheduled to be published. 3. Represented by Inline ComputerデルであるチューリングMechanical Time・Domain Hierarchy TheoremをProofした.This result is は, ブルガリアで开気された Research Conference (9th International Colloquium on Numerical Analysis and Computer Science with Applications) hosted a lecture and presented the results.