並列アルゴリズムに対する設計パラダイムと理論モデルの実現可能性に関する研究

1998 Fiscal Year Annual Research Report

• Project/Area Number: 10205209
• Research Institution: Nagoya Institute of Technology
• Principal Investigator: 和田 幸一 名古屋工業大学, 工学部, 助教授 (90167198)
• Co-Investigator(Kenkyū-buntansha): 陳 慰 名古屋工業大学, 工学部, 助手 (80262955) ; 中野 浩嗣 名古屋工業大学, 工学部, 助教授 (30281075)
• Keywords: PRAM / 再構成メッシュ / 仕事量保存アルゴリズム / 凸包 / エンベロープ / VHDL

Research Abstract

(1) 並列計算機理論モデルの検討と実現可能性:現在までに提案されている理論モデルを整理し、同期性、通信方式、抽象度等の点から比較検討し、実現可能性を探った。ここでは、PRAMの実現可能性を明らかにする目的で、PRAMの共有メモリへのアクセス方法に対するアルゴリズムを与え、ハードウェア記述言語であるVHDLを用いて記述することにより、詳細な性能評価を行なった(研究発表(15))。
(2) 並列アルゴリズムパラダイムの検討:並列アルゴリズムの最終目的は究極の高速化であるが、プロセッサの効率的な利用も重要な要素である。本研究では新しい現実的な理論並列計算機モデルの構築をも目的としているため、比較的モデルに依存せずに議論できる以下のパラダイムの検討を行なう。いずれも従来ヒューリスティックな取り扱いしかされていなかったので、統一的な取り扱いができる枠組と一般的な手法の開発を目指す。検討項目は以下の通りである。(a)逐次アルゴリズムにおけるパラダイムの効率的な並列化、(b)サブルーチンの一般化、(c)計算時間保存仕事量減少化手法、(d)仕事量保存高速化手法。今年度はこれらのうち、(c)と(d)を中心に計算幾何学やグラフの問題に対して考察した。研究発表(1)、(2)では並列計算機アーキテクチャを、研究発表(6)、(7)、(9)、(12)、(13)、(14)ではPRAMを、研究発表(4)(8)(10)では再構成メッシュをそれぞれ対象としている。特に、(b)に関しては、研究発表(13)においてソートやマージを一般化した問題を定義しその問題に対する計算時間、仕事量ともに最適な並列アルゴリズムを与えた。そのアルゴリズムには実現が難しい縦型分割統治法を使わず計算時間を最適にしている。また、(d)に関しては、研究発表(6)において、上エンベロープを求める仕事量を変更せず計算時間を高速化するアルゴリズムを与えているが、この方法は他の計算幾何学問題にも応用できるほど一般的な方法である。

Research Products

• [Publications] R.Lin,K.Nakano et al.: "A Scalable VLSI architecture for binary prefix sums" Proc.of IEEE 11th Int.Parallel Processing Symposium. 333-337 (1998)
• [Publications] K.Nakano et al.: "Broadcast-Efficient algorithms on the coarse-grain broadcast Communication model with few channels" Proc.of IEEE 11th Int.Parallel Processing Symposium. 31-35 (1998)
• [Publications] K.Wada,W.Chen: "Linear algorithms for a k-partition problem of planar graphs without specifying bases" Lecture Notes in Computer Science Graph-Thetetic Concepts Computer Science. 1517. 324-336 (1998)
• [Publications] K.Nakano,S.Olariu: "An efficient algorithm for row minima compatations on basic reconfigurable meshes" IEEE Trans.on Parallel and Distributed Systems. 9,6. 561-569 (1998)
• [Publications] K.Wada et al.: "Efficient algorithms for a mixed k-partition problem of graphs without specifying bases" Theoretical Computer Science. 201,1-2. 233-248 (1998)
• [Publications] W.Chen,K.Wada: "On computing the apper envelope of segments in parallel" Proc.of 27th Int.Conf.on Parallel Processing. 253-260 (1998)
• [Publications] W.Chen,K.Wada et al.: "Finding the conuex hull of diocs in parallel" J.of Computational Geometry and Applications. 8,3. 305-319 (1998)
• [Publications] T.Hayashi,K.Nakano et al.: "Efficient list ranking on the reconfigurable mesh,with applications" Theory of Computing Systems. 31. 593-611 (1998)
• [Publications] T.Hayashi,K.Nakano et al.: "Optinal parallel algorithms for proximate points,with applications" IEEE Trans.on Parallel and Distributed Systems. 9,12. (1998)
• [Publications] T.Hayashi,K.Nakano et al.: "An O(loglogn)^2)time convex hull algorithm on reconfigurable meshes" IEEE Trans.on Parallel and Distributed Systems. 9,12. (1998)
• [Publications] K.Nakano et al.: "Randomized O(loglogn)-round leader election protocols in packet radio networks" Proc.of Int.Sym.on Algorithms and Compatations. (1998)
• [Publications] W.Chen,K.Wada: "Multi-level divide-and-conquer:method for designing efficient parallel algorithms" Proc.of Int.Conf.on Parallel and Distributed Compaty and Networks. 555-560 (1998)
• [Publications] D.Z.Chen,W.Chen,K.Wada et al.: "Parallel algorithms for partitioning sorted sets and related problems" Algorithmica. (to appear). (1999)
• [Publications] C.D.Castanho,W.Chen,K.Wada: "A parallel algorithm for constructing strongly convex superhulls of points" 情報基礎理論ワークショップ(夏のLAシンポジウム). 62-67 (1998)
• [Publications] 今井,早川,河中,陳,和田: "PRAMのハードウェア化に関する設計と実現" 電子情報通信学会コンピュテーション研究会資料. (発表予定). (1999)