1996 Fiscal Year Annual Research Report

半定値計画法に基づく高性能近似アルゴリズムの研究

Research Project

Project/Area Number	07680370
Research Category	Grant-in-Aid for Scientific Research (C)
Research Institution	Chuo University
Principal Investigator	浅野孝夫中央大学, 理工学部, 教授 (90124544)
Keywords	近似アルゴリズム / 半定値計画法 / 離散アルゴリズム / 充足化可能性 / 計算量
Research Abstract	本研究は、半定値計画法に基づく高性能近似アルゴリズムの最近の研究動向を研究調査し,半定値計画法の可能性および限界を分類・整理・検討し、それに基づいて、高性能近似アルゴリズムを提案し、その性能と計算量を理論的に解析する同時にその限界を解明することを目的としている。目的を達成するため、本年度は昨年度の研究を引き継ぎ、ネットワーク問題の代表的問題である最大カット問題、最適クラスタリング問題、充足化可能性最大化問題に対して、半定値計画法および凸計画法に基づく高性能近似アルゴリズムの最近の研究動向をさらに詳細に検討した。そして、充足化可能性最大化問題に対して、半定値計画法および凸計画法を組み合わせた方法が、極めて有効であることを発見し、従来の性能比をさらに一層向上させる近似アルゴリズムを得た。また、その性能を実際的観点からも評価するため、プログラム化し、計算機比較実験を実行中である。さらに、関連する離散問題に対しても、情報の構造を最大限に活用し、半定値計画法および凸計画法を組み合わせた方法に基づいて、逐次的なアルゴリズムおよび効率的並列アルゴリズムの研究開発を行った。もちろん逐次アルゴリズムについては理論的解析だけではなく、従来の手法が存在するときにはそれも含めて計算機比較実験をし、それを通して提案するアルゴリズムの実際的性能を評価・検討することが大切であるので、それも現在実行中である。世界的には欧米のアルゴリズム理論の研究者が,集中的にこの半定値計画法に基づいた高性能近似アルゴリズムの研究を遂行していて、重要な論文が最新の国際会議のプロシ-ディングに掲載されることが多いので、海外の研究者との情報交換も積極的に行い精力的に研究を進めてきた。また、本研究を通して得られた成果を、情報処理学会のアルゴリズム研究会報告およびScandinavian Workshop on Algorithm Theory,Nordic Journal of Computingに発表している。

Research Products

(6 results)

All Other

All Publications (6 results)

[Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Proc.5th SWAT (Scandinavian Workshop on Algorithm Theory). 5. 100-111 (1996)
[Publications] Takao Asano: "A Refinement of Yannakakis's Algorithm for MAX SAT" 情報処理学会(アルゴリズム研究会報告). 96-AL-54-11. 81-88 (1996)
[Publications] Takao Ono: "An Approximation Algorithm for MAX 3SAT" 情報処理学会論文誌. 37-10. 1760-1764 (1996)
[Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Nordic Journal of Computing. 3印刷中(採録決定). (1996)
[Publications] Takao Asano: "Approximation Algorithms for MAX SAT : Yannakakis vs.Goemans-Williamson" Proc.5th Isradi Symposium on Theory of Computing and Systems. (採録決定). (1997)
[Publications] Takao Asano: "Constructing a Bipartite Graph of Maximum Connectivity with Prescribed Degrees" Networks. (採録決定). (1997)

1996 Fiscal Year Annual Research Report

半定値計画法に基づく高性能近似アルゴリズムの研究

Principal Investigator

浅野 孝夫 中央大学, 理工学部, 教授 (90124544)

Research Products

[Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Proc.5th SWAT (Scandinavian Workshop on Algorithm Theory). 5. 100-111 (1996)

[Publications] Takao Asano: "A Refinement of Yannakakis's Algorithm for MAX SAT" 情報処理学会(アルゴリズム研究会報告). 96-AL-54-11. 81-88 (1996)

[Publications] Takao Ono: "An Approximation Algorithm for MAX 3SAT" 情報処理学会論文誌. 37-10. 1760-1764 (1996)

[Publications] Takao Asano: "Approximation Algorithms for the Maximum Satisfiability Problem" Nordic Journal of Computing. 3印刷中(採録決定). (1996)

[Publications] Takao Asano: "Approximation Algorithms for MAX SAT : Yannakakis vs.Goemans-Williamson" Proc.5th Isradi Symposium on Theory of Computing and Systems. (採録決定). (1997)

[Publications] Takao Asano: "Constructing a Bipartite Graph of Maximum Connectivity with Prescribed Degrees" Networks. (採録決定). (1997)

浅野孝夫中央大学, 理工学部, 教授 (90124544)