• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Annual Research Report

制約最適化問題のSAT変換による解法とその並列分散処理に関する研究

Research Project

Project/Area Number 20240003
Research InstitutionKobe University

Principal Investigator

田村 直之  Kobe University, 学術情報基盤センター, 教授 (60207248)

Co-Investigator(Kenkyū-buntansha) 番原 睦則  神戸大学, 学術情報基盤センター, 准教授 (80290774)
平山 勝敏  神戸大学, 海事科学研究科, 准教授 (00273813)
井上 克巳  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)
岩沼 宏治  山梨大学, 医学工学総合研究部, 教授 (30176557)
鍋島 英知  山梨大学, 医学工学総合研究部, 准教授 (10334848)
Keywords制約最適化問題 / 並列処理・分散処理 / 計算機システム
Research Abstract

当初の研究計画に沿い各テーマの研究を進め,以下の主な成果を得た.
(A1)SAT変換型CSPソルバーを開発し,国際CSPソルバー競技会のグローバル制約部門で第1位となった.また,2次元Stripパッキング問題への応用研究を行い,未解決問題の解決に成功した.(A2)動的CSPのSAT変換について,得られるSAT問題の系列間に一致制約を導入し,ソフト制約あるいはMax-SAT問題として記述する方法を考案した.(A3)命題時相論理ののSAT変換について,有限モデル検査技術の拡張適用の可能性について検討を行い,予備的な結果を得た.(A4)分散CSPのSAT変換に関連して,分散プランニングおよびメカニズムデザインに関する研究を進め,論文発表を行った(最優秀論文賞1件,最優秀学生論文賞1件).(B1)DPLLに基づくSATソルバーにOrder encoding専用のアルゴリズムを組み込み,高速化を実現する方法を考案した.
(B2)モデル生成型定理証明器およびSATソルバーに極小モデル生成機能を付加する方法を考案し,システムの実装および性能評価を行った.(C1,D1)学習節を共有・再利用しながら複数のソルバーが協調的に解く並列ソルバーのプロトタイプを作成し,予備実験を行った.従来型の網羅的な問題分割手法を適用した場合,クライアントの台数増加に伴い性能向上の鈍化が見られるため,これを克服するためにランダムな問題分割と複数の探索戦略を併用する手法を考案し,評価実験によりその有用性を示した.また,学習節の再利用が有効に働くと想定されるMax-CSP/COPについて.ソルバーシステムの開発を進めた.

  • Research Products

    (36 results)

All 2009 2008 Other

All Journal Article (17 results) (of which Peer Reviewed: 11 results) Presentation (18 results) Remarks (1 results)

  • [Journal Article] Compiling Finite Linear CSP into SAT2009

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Constraints Vol. 14, Issue 2

      Pages: 254-272

  • [Journal Article] Multi-MaxSAT : ラグランジュ分解・調整法を用いたWeighted Max-SAT問題の解法2009

    • Author(s)
      黒田 陽之
    • Journal Title

      電子情報通信学会論文誌D Vol. J92-D, No. 1

      Pages: 51-60

  • [Journal Article] Adaptive Price Update in Distributed Lagrangian Relaxation Protocol2009

    • Author(s)
      Katsutoshi Hirayama
    • Journal Title

      8th International Conference on Autonomous Agentsand Multiagent Systems (AAMAS-2009) (掲載確定)

      Pages: to appear

    • Peer Reviewed
  • [Journal Article] Directed Soft Arc Consistency in Pseudo-trees2009

    • Author(s)
      Toshihiro Matsui
    • Journal Title

      8th International Conference on Autonomous Agentsand Multiagent Systems (AAMAS-2009) (掲載確定)

      Pages: to appear

    • Peer Reviewed
  • [Journal Article] 論理プログラミングから解集合プログラミングへ2008

    • Author(s)
      井上克巳
    • Journal Title

      コンピュータソフトウェア Vol. 25, No. 3

      Pages: 20-32

  • [Journal Article] 適切な掲載数を決定するキーワード広告オークションプロトコルの提案2008

    • Author(s)
      櫻井祐子
    • Journal Title

      コンピュータ ソフトウェア Vol. 25, No. 4

      Pages: 60-67

  • [Journal Article] マルチエージェント部分観測可能マルコフ決定過程のプラン構築への通信の導入2008

    • Author(s)
      田崎 誠
    • Journal Title

      コンピュータ ソフトウェア Vol, 25, No. 4

      Pages: 226-237

  • [Journal Article] チーム選択問題のための架空名義操作不可能なオークションメカニズムの提案2008

    • Author(s)
      斎藤 恭昌
    • Journal Title

      コンピュータ ソフトウェア Vol. 25, No. 4

      Pages: 199-207

  • [Journal Article] Introducing Communication in Dis-POMDPs with Locality of Interaction2008

    • Author(s)
      Makolo Tasaki
    • Journal Title

      IEEE/WIC/ACM International Conference onIntelligent Agent Technology (IAT-2008)

      Pages: 169-175

    • Peer Reviewed
  • [Journal Article] Beyond quasi-linear utility : strategy/false-name-proof multi←unit auctionprotocols (Best Paper Award)2008

    • Author(s)
      Yuko Sakurai
    • Journal Title

      IEEE/WIC/ACM International Conference onIntelligent Agent Technology (IAT-2008)

      Pages: 417-423

    • Peer Reviewed
  • [Journal Article] Keyword Auction Protocol for Dynamically Adjusting the Number of Advertisements2008

    • Author(s)
      Yuko Sakurai
    • Journal Title

      IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-2008)

      Pages: 410-416

    • Peer Reviewed
  • [Journal Article] Not All Agents Are Equal : Scaling up Distributed POMDPs for Agent Networks2008

    • Author(s)
      Janusz Marecki
    • Journal Title

      Seventh International Joint Conference on Autonomous Agents and Multi-Agent System(AAMAS-2008)

      Pages: 485-492

    • Peer Reviewed
  • [Journal Article] Anonymity-Proof Shapley Value : Extending Shapley Value for Coalitiohal Games in Open Environments (Best Student Paper Award)2008

    • Author(s)
      Naoki Ohta
    • Journal Title

      Seventh International Joint Conference onAutonomous Agents and Multi-Agent System(AAMAS-2008)

      Pages: 927-934

    • Peer Reviewed
  • [Journal Article] Resource Constrained Distributed Constraint Optimization with Virtual Variables2008

    • Author(s)
      Toshihiro Matsui
    • Journal Title

      23rcl AAAI Conference on Artificial Intelligence(AAAI-2008)

      Pages: 120-125

    • Peer Reviewed
  • [Journal Article] System Description of a SAT-based CSP Solver Sugar2008

    • Author(s)
      Naoyuki Tamura
    • Journal Title

      Third International CSP Solver Competition

      Pages: 71-75

    • Peer Reviewed
  • [Journal Article] Sugar++ : ASAT-based MAx-CSP/COP Solver2008

    • Author(s)
      Tomoya Tanjo
    • Journal Title

      Third International CSP Solver Competition

      Pages: 77-82

    • Peer Reviewed
  • [Journal Article] A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

    • Author(s)
      Takehide Soh
    • Journal Title

      15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRAO8) (掲載確定)

    • Peer Reviewed
  • [Presentation] PrologからJavaへのトランスレータ処理系の設計と実装2009

    • Author(s)
      丹生智也
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山グリーンホテル
    • Year and Date
      2009-03-10
  • [Presentation] SAT変換に基づく制約ソルバーSugar2009

    • Author(s)
      番原睦則
    • Organizer
      第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)
    • Place of Presentation
      高山グリーンホテル
    • Year and Date
      2009-03-10
  • [Presentation] 並列分散型SATソルバにおける探索空間の分割手法の提案2009

    • Author(s)
      高見明秀
    • Organizer
      電子情報通信学会技術研究報告IEICE-SS-444, pp. 23-28
    • Place of Presentation
      佐賀大学
    • Year and Date
      2009-03-02
  • [Presentation] 制約充足/最適化テクニックを用いた会議プログラム自動生成ツールの開発2008

    • Author(s)
      西村直史
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] 組合せオークションのための架空名義操作不可能なメカニズムの特性2008

    • Author(s)
      東藤大樹
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] クラーク税を用いた戦略的操作不可能な費用分担メカニズムの提案2008

    • Author(s)
      佐藤恭史
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] Take-It-or-Leave-Itに基づく再配分オークションメカニズムの提案2008

    • Author(s)
      斎藤恭昌
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] セキュアキーワード広告オークションプロトコルの提案.2008

    • Author(s)
      櫻井祐子
    • Organizer
      合同エージェントワークショップ&シンポジウム2008(JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      合同エージェントワークショップ&シンポジウム2008 (JAWS-2008)
    • Place of Presentation
      大津プリンスホテル
    • Year and Date
      20081029-20081031
  • [Presentation] 自動メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      第7回情報科学技術フォーラム(FIT・2008)
    • Place of Presentation
      慶應義塾大学湘南藤沢キャンパス
    • Year and Date
      20080902-20080904
  • [Presentation] 匿名操作不可能シャプレィ値 : 開環境での協力ゲームにおける効率的に表IB/求解可能な解概念2008

    • Author(s)
      大田直樹
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Year and Date
      20080611-20080613
  • [Presentation] 自助メカニズムデザインによる架空名義入札に頑健な組合せオークションメカニズムの構築2008

    • Author(s)
      大森由総
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Year and Date
      20080611-20080613
  • [Presentation] 予算制約を考慮した架空名義入札に頑健なオー'クションプロトコルの提案2008

    • Author(s)
      櫻井祐子
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Year and Date
      20080611-20080613
  • [Presentation] 人工知能学会全国大会プログラム自助作成ツールの開発2008

    • Author(s)
      西村直史
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Year and Date
      20080611-20080613
  • [Presentation] ネットワーク分散部分観測可能マルコフ決定過程におけるプラン構築への通信の導入2008

    • Author(s)
      岩成祐樹
    • Organizer
      第22回人工知能学会全国大会
    • Place of Presentation
      ときわ市民ホール(旭川市)
    • Year and Date
      20080611-20080613
  • [Presentation] 分散ラグランジュ緩和プロトコルにおける適応的な価格更新2008

    • Author(s)
      平山勝敏
    • Organizer
      合同エージェントワークショップ&シンポジウム2008(JAWS-2008)
    • Place of Presentation
      大津市
    • Year and Date
      2008-10-29
  • [Presentation] 極小モデル生成とジヨブシヨツプスケジューリング問題の解法2008

    • Author(s)
      越村三幸
    • Organizer
      日本ソフトウェア科学会第25回大会
    • Place of Presentation
      筑波大学東京キャンパス
    • Year and Date
      2008-09-12
  • [Presentation] モデル生成法を用いた極小モデル生成2008

    • Author(s)
      鹿甲憲秀
    • Organizer
      第7回情報科学技術フォーラム
    • Place of Presentation
      慶應義塾大学湘南藤沢キャンパス
    • Year and Date
      2008-09-03
  • [Remarks]

    • URL

      http://www.edu.kobe-u.ac.jp/istc-tamlab/cspsat/

URL: 

Published: 2010-06-11   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi