Computer-Aided Analysis and Design of Algorithms

计算机辅助算法分析与设计

• 批准号: 20700005
• 负责人: HORIYAMA Takashi
• 金额: $ 2.66万
• 依托单位: Saitama University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2008
• 资助国家: 日本
• 起止时间: 2008 至 2010
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20700005/
• 关键词: アルゴリズム理論; 理論的性能保証; アルゴリズム; 情報基礎; 計算複雑さ; 性能保証; 計算機援用; タイリング; オークション; 計算幾何学

This research project has the following three main results. (1) We have designed algorithms for enumerating Tsume-Shogi by the reverse method. As a result, we can prove the longest mating-moves for a given set of Shogi-pieces. (2) We have designed algorithms for generating fundamental domains of p4-tiling (i.e., the tiling by 4-fold rotation) and p6-tiling (i.e., the tiling by 6-fold rotation) based on the reverse search. (3) We have designed algorithms for enumerating the unfoldings of polyhedra. By enumerating all unfoldings and checking their overlapping, we have solved an open problem for hundreds of years : Is every edge-unfolding of Platonic solids nonoverlapping? The answer is yes!

本研究项目有以下三个主要成果。(1)我们已经设计了算法，通过反向方法枚举Tsume-Shogi。因此，我们可以证明最长的交配移动一组给定的将棋片。(2)我们已经设计了用于生成p4平铺的基本域的算法（即，通过4倍旋转的平铺）和P6平铺（即，通过6倍旋转的平铺）。(3)我们设计了计算多面体展开数的算法。通过列举所有的展开并检查它们的重叠，我们解决了一个几百年来悬而未决的问题：柏拉图立体的每一个边展开都不重叠吗？答案是肯定的！

项目成果

Fine-Grained Power Gating Based on the Controlling Value of Logic Elements

基于逻辑元件控制值的细粒度功率门控

• 发表时间: 2008
• 期刊: IEICE Transactions on Fundamentals vol.E91-A, no.12
• 作者: L.Chen;T.Horiyama;Y.Nakamura;S.Kimura
• 通讯作者: S.Kimura

正多面体の展開図の列挙

正多面体展开图的列举

• 发表时间: 2010
• 作者: 庄子亘;堀山貴史
• 通讯作者: 堀山貴史

金図式・銀図式・桂馬図式の全列挙

金图、银图、凯马图完整列表

• 发表时间: 2009
• 作者: 太田圭亮;河原純伊藤大雄;堀山貴史
• 通讯作者: 堀山貴史

Fine-Grained Power Gating Based on the Controlling Value of Logic Gates

基于逻辑门控制值的细粒度功率门控

• 发表时间: 2008
• 作者: L. Chen;T. Horiyama;Y. Nakamura;S. Kimura
• 通讯作者: S. Kimura

Power Optimization of Sequential Circuits Using Switching Activity Based Clock Gating

• DOI: 10.1587/transfun.e93.a.2472
• 发表时间: 2010-12
• 期刊: IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
• 作者: Xin Man;T. Horiyama;S. Kimura