PVMによるSAT並列局所探索プログラム
スポンサーリンク
概要
- 論文の詳細を見る
充足可能性問題(SAT)は基本的な組み合わせ問題である.高速なSATの解法アルゴリズムとして局所探索法があるが, 大規模な問題にも対応するため更なる高速化の重要性が高まっている.そこで, 本稿では局所探索法をネットワーク並列計算用ソフトウェアシステムでであるPVM(Parallel Virtual Machine)で並列化して実行する高速化手法を提案する.局所探索法のTRYという実行単位を各計算機で並列に実行するTRY同時実行により, 効率的に高速化できることを示した.さらに, 2nd DIMACS Implementation Challengeのsatisfiabilityのベンチマークに対して計算機実験を行い, これまで解かれていなかった例題をワークステーション70台を用いて8, 500秒程で解くことができた.
- 一般社団法人情報処理学会の論文
- 2000-03-02
著者
-
宮崎 修一
京都大学学術情報メディアセンター
-
岡部 寿男
京都大学 大型計算機センター
-
宮崎 修一
京都大学 学術情報メディアセンター
-
岩間 一雄
京都大学 大学院情報学研究科
-
梅本 潤
京都大学 大学院情報学研究科
関連論文
- 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)
- 最大サイズ最大安定度マッチング問題に対する近似下限の改良
- FECとPath-Diversityを利用した回復可能なストリーミング(セッション4 : マルチメディア通信とその応用)
- 京都大学におけるATMネットワークの構成と利用(マルチメディアを利用したキャンパスネットワーク)
- IPのためのATMシグナリングプロトコルIP-SVC
- 可変通信速度PSK変復調器を利用したVSAT局間コンピュータネットワーク基礎実験
- ネットワーク仮想記憶を利用した連続メディアの伝送方式
- 枝コストに制限を加えたk-Canadian Traveller Problemの競合比解析 (コンピュテーシヨン)
- 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- 安全なギガビットネットワーク(KUINS-3)の構築と運用
- BS-8-11 2部グラフ上での分担供給可能な割当て制限付き資源配分問題(BS-8.情報通信とエネルギー管理の統合技術,シンポジウムセッション)
- マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張
- マジックプロトコル利用によるプライバシーに配慮したShibboleth属性交換の拡張
- プライバシー保護に配慮したShibbolethにおける属性交換の拡張(インターネット及び一般)
- プライバシー保護に配慮したShibbolethにおける属性交換の拡張(インターネット及び一般)
- QoSネットワーク上のマルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良析
- 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計(学生セッション,学生セッション,一般)
- 男女平等安定マッチング問題に対する近似アルゴリズム
- 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム
- LA-7 ランダムタイブレークによる安定マッチングの導出(A. アルゴリズム・基礎)
- DHCP/DNS/HTTP の連携による家電機器の自動設定及び閲覧システム
- 一般化されたオンライン独立頂点集合問題の競合化
- 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
- 座席予約問題における競合比の上下限の改良 (Theoretical foundations of computing)
- DS-1-6 オンラインOVSF符号割当問題における競合比の上下限の改良(DS-1. COMP学生シンポジウム,シンポジウムセッション)
- 2ポート共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの厳密な競合比解析
- マルチキュースイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良(計算理論とアルゴリズムの新展開)
- 共有メモリ型スイッチにおけるオンラインバッファ管理アルゴリズムの競合比の改良
- 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)
- 3人部屋安定ルームメイト問題のNP完全性
- DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
- 安定結婚問題に対する1.875-近似アルゴリズム
- 入札額の範囲が制限された正直なオークション
- 枝コストに制限を加えたk-Canadian Traveller Problemの競合比解析
- 安定マッチング問題に関する最近の話題(「社会的インタラクションにおける知」及び一般)
- 段階的秘密交換プロトコルを利用した配達内容証明が可能な電子メール配送システム設計上の検討(学生セッション)
- サイクル上でのグラフ探索問題に対する最適なオンラインアルゴリズム
- サイクルグラフ上での地図作成問題に対する重み付き最近傍アルゴリズム
- 試問予定表作成問題の計算複雑さ
- 不正を検出できるネットワーク軍人将棋
- LINPACKとFFTによるHPFコンパイラfhpfの生産性の評価(性能評価,「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- LINPACK と FFTによるHPFコンパイラfhpfの生産性の評価(性能評価, 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2006))
- バス結合マルチプロセッサ型ベクトル計算機における線形計算アルゴリズムの評価
- インターネット技術によるホームネットワーキングへの期待(「インターネット技術とホームネットワーキング総合特集号」)
- SATに対する局所探索法のベクトル化
- SATに対する局所探索法のベクトル化
- 局所探索法による安定結婚問題の近似
- 京都大学におけるATM-LANの利用と運用
- D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション)
- 輻輳したATM網においてTCPのデッドロックを回避する動的粒度制御アルゴリズム
- 枝コストに制限を加えた k-Canadian Traveller Problem の競合比解析
- IPv6におけるサイトローカルアドレスのステートレス自動設定
- 安定結婚問題に対する局所探索近似アルゴリズムの改良
- 座席予約問題における競合比の上下限の改良
- 第三者機関の仲介を必要としない配達証明付き電子メールシステムの設計
- 2.ルータ上のバッファ管理問題に対するオンラインアルゴリズム(インターネットとアルゴリズム)
- 安定結婚問題
- D-1-4 最大化および最小化アルゴリズムにおける近似度の関係
- PVMによるSAT並列局所探索プログラム
- PVMによるSAT並列局所探索プログラム
- 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学)
- Qos保証マルチキャスト対応IPネットワークにおける課金プロトコルの提案
- PS-106-6 人工血管壁への細菌侵入に関する研究 : エラストマーシールドダクロングラフトとゼラチンコーティングダクロングラフトにおける検討(PS-106 心血管 基礎,ポスターセッション,第112回日本外科学会定期学術集会)
- Host Identity Protocol を用いた, ユビキタスネットワークのセキュアな提供方法
- DS-1-1 希望リスト変更による男性最良安定マッチングの改善(DS-1.COMP学生シンポジウム,シンポジウムセッション)
- 複数PAアドレス型IPv6マルチホーミングサイトにおける送信元アドレス依存動的経路制御
- 同一の送受信アドレスを持つ大量メールの効率判定手法(認証とセキュリティ,インターネットと情報倫理教育,一般)