グリッド計算環境上で動作する並列制約解消システムに関する研究

2007 Fiscal Year Annual Research Report

• Project/Area Number: 17500094
• Research Institution: Kobe University
• Principal Investigator: 田村 直之 Kobe University, 学術情報基盤センター, 教授 (60207248)
• Co-Investigator(Kenkyū-buntansha): 番原 睦則 神戸大学, 学術情報基盤センター, 准教授 (80290774)
• Keywords: 制約充足問題 / グリッド計算 / 並列計算

Research Abstract

本年度は,以下の研究成果を得た.
・Order Encodingに基づいたCSPソルバーの開発・改良
制約充足問題(CSP)および制約最適化問題(COP)をSAT問題に変換する手法としてOrder Encodin法を提案し, Order Encoding法に基づいたCSPソルバーSugarの開発・改良を行った(http://bach.istc.kobe-u.ac.jp/sugar/).
開発したシステムについて第2回国際CSPソルバー競技会に参加した所,N変数整数制約式部門で4位の成績を得た.また,その後の改良により一位相当となる性能向上が実現でき,この方法の有効性を確認できた.
・グリッド計算環境上での並列CSPソルバーの開発
制約最適化問題について,上記の制約ソルバーSugarを用い,さらに10台の計算エージェントからなるグリッド計算環境で並列に求解するシステムの研究・開発およびオープンショップ・スケジューリング問題をベンチマークとして評価を行った.SATソルバーの学習節を再利用する方法の採用により,1.3倍から4.9倍の速度改善結果を得ることができ,本システムの有効性を確認できた.

Research Products

• [Journal Article] Sugar: A CSP to SAT Translator Based on Order Encoding (2008)
  • Author(s): Naoyuki Tamura
  • Journal Title: Proceedings of the Second International CSP Solver Competition Pages: 65ル69
  • Description: 「研究成果報告書概要(和文)」より
  • Peer Reviewed
• [Journal Article] PrologからJavaへのトランスレータ処理系とその応用 (2007)
  • Author(s): 番原 睦則
  • Journal Title: コンピュータソフトウェア 第24巻・第3号 Pages: 75-86
  • Peer Reviewed
• [Presentation] グリッド計算環境上でのショップ・スケジューリング問題のSAT変換による解法 (2007)
  • Author(s): 多賀 明子
  • Organizer: スケジューリング・シンポジウム2007講演論文集
  • Place of Presentation: 京都大学
  • Year and Date: 2007-09-29
  • Description: 「研究成果報告書概要(和文)」より
• [Presentation] ショップ・スケジューリング問題のSAT変換による解法 (2007)
  • Author(s): 田村 直之
  • Organizer: スケジューリング・シンポジウム2007講演論文集
  • Place of Presentation: 京都大学
  • Year and Date: 2007-09-29
• [Remarks]
  • URL: http://bach.istc.kobe-u.ac.jp/sugar/