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

離散アルゴリズムの性能保証自動化パラダイム

离散算法的性能保证自动化范例

基本信息

批准号：
17700014
负责人：
堀山貴史
金额：
$ 2.18万
依托单位：
Saitama University (2007)Kyoto University (2005-2006)
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2005
资助国家：
日本
起止时间：
2005 至 2007
项目状态：
已结题

项目摘要

情報化社会の大規模化と多様化は、計算機による処理能力の向上と処理対象への柔軟な適応によるところが大きい。これは、コンピュータの処理速度の向上に顕著に見られるハードウェアの進歩に加えて、ソフトウェアのアルゴリズム革新に支えられている。ここに、アルゴリズムの設計と性能保証があらゆる分野の基礎として重視されてきている。アルゴリズムの性能保証には、理論的な性能解析が必要不可欠であるが、アルゴリズム設計と同じく人手で行っており、設計者の職人芸的なセンスに依存するところが大きい。本研究の主題は、アルゴリズムの理論的性能解析に計算機を援用することにある。これにより、定型的作業の負荷を減らし、思考の抽象度を高めることによる生産性の向上が期待できる。本年度は、アルゴリズム的ゲーム理論の立場から、オークションのアルゴリズムの性能解析に関して検討を行った。具体的には、音楽ファイルなどの複製コストが無視できるほど小さく無限供給可能な商品に対する1ラウンド秘密入札オークションを対象とし、誘因両立性を持つアルゴリズムを設計した。また、入札の最高額と最低額の比rに関する競合比解析を提案し、本アルゴリズムの競合比がln r+1となることを示した。同様の観点から既存アルゴリズムの競合比をrの関数として解析し、小さなrに関しては提案アルゴリズムの競合比が常に良いことを示した。

The large-scale development of the information society and the diversification of computer processing capabilities and the flexibility of processing objects The processing speed of this kind of equipment is increasing rapidly. The design and performance of the company are guaranteed. The performance assurance of the design system is based on theoretical analysis. It is necessary to design and design the system according to the requirements of the designer. The theme of this study is to analyze the theoretical performance of computers. The load of the work is reduced, the abstraction of the thinking is high, the productivity is high, and the expectation is high. This year, we will discuss the theoretical position and performance analysis of the system. Specific, sound, copy, copy. The ratio of the highest amount to the lowest amount of the input is r+1. The same point is that the competition ratio between the existing and the small proposals is always good.