離散アルゴリズムの高品質化・高性能化・高速化の研究

1998 Fiscal Year Annual Research Report

• Project/Area Number: 10680364
• Research Institution: Chuo University
• Principal Investigator: 浅野 孝夫 中央大学, 理工学部, 教授 (90124544)
• Keywords: 離散アルゴリズム / グラフ / ネットワーク / 組合せ最適化 / 近似アルゴリズム / 最大充足化問題

Research Abstract

理論と応用の両面から、離散アルゴリズムの高品質化・高性能化・高速化の研究を実行し、今後の高度情報化社会の基盤となるアルゴリズムの発展に貢献することが本研究の目的である。その目的を達成するために以下の研究を実行した。
1. 計算幾何、グラフ・ネットワークアルゴリズム、組合せ最適化、並列・分散アルゴリズムの分野でこれまでに提案された高品質・高性能・高速アルゴリズムの技法を研究調査した。特に、半正定値計画法およびネットワークフローに基づく高性能近似アルゴリズム、数理計画、組合せ幾何学、グラフアルゴリズムの高速化技法などの関連新技法の有効性を研究調査・検討した。
2. 1の研究調査・検討の実行においては、離散アルゴリズムや計算量の分野で最先端の研究をしている内外の研究者と情報およびアイデアを交換した。
3. 離散アルゴリズムの応用分野の例として、情報ネットワーク、マルチメディアの世界での高品質高速画像情報伝送や高信頼通信ネットワーク構築等の技術を研究対象として取り上げ、離散アルゴリズム・並列分散アルゴリズムの重要性を研究調査・検討した。
4. 上記1、2、3の調査・検討に基づき、情報ネットワークや離散アルゴリズムの各分野で理論的にも実用的にも要求度の高い問題に対して、高品質・高性能・高速アルゴリズムと有効な新技法を提案した。特に、最大充足化問題は内外の研究者によって精力的に研究が進められているので、これまでの申請者の研究背景を生かして最高性能のアルゴリズムを提案した。
5. 提案した高性能近似アルゴリズムの実用性を検証するために、プログラミングし、ワークステーション上で大規模なデータのもとで計算機実験中である。さらに、得られた成果を学術論文として内外の学会等で発表した。

Research Products

• [Publications] 浅野 孝夫: "論理システム解析のための高性能近似アルゴリズム" 情報処理学会誌. 39・7. 683-688 (1998)
• [Publications] 山下慶子: "半局所改善に基づく 3-Set Couer 近似アルゴリズム" 情報処理学会(アルゴリズム研究会報告). 62・3. 17-24 (1998)
• [Publications] 浅野 孝夫: "ネットワークアルゴリズムの理論的高速化の研究動向" 日本オペレーションズリサーチ学会第10回RAMPシンポジウム論文集. 10. 1-16 (1998)
• [Publications] 小野 孝男: "摂動法によるMAX SAT近似アルゴリズムの改良" 電子情報通信学会論文誌 D-I. J81-0-I. 1107-1111 (1998)
• [Publications] 浅野 孝夫: "アルゴリズムとデータ構造(8群コンピュータ8-2編)" オーム社(電子情報通信学会編電子情報通信ハンドブック), (1016-1029) (1998)
• [Publications] 佐々木建昭: "計算代数と計算幾何" 岩波書店, 184 (1998)