証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化(数値計算アルゴリズム(2), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
スポンサーリンク
概要
- 論文の詳細を見る
本稿では, PDSの複数の探索経路を同時に探索することにより, 証明数の大きい節点に存在する解も高速に発見する逐次探索手法を提案する. 証明数を用いた探索では, 証明数の小さい節点が解である可能性が高いため, 一般に証明数の小さい節点から探索する. そのため, 証明数の大きい節点が解であった場合に多くの時間を必要とする. そこで証明数の大きい節点と小さい節点の複数経路を交互に探索することで証明数の大きい節点が解である場合でも早く解を見つけることができる. 加えて探索時の情報を用いて各経路の探索順と探索量を動的に変更することでさらに効率良く探索できる. 本稿では証明数などを用いて探索順・探索量を動的に変更し, 評価した.
- 一般社団法人情報処理学会の論文
- 2005-03-07
著者
-
宮崎 収兄
千葉工業大学
-
前川 仁孝
千葉工業大学情報工学科
-
佐田 宏史
千葉工業大学情報科学部情報工学科
-
六沢 一昭
千葉工業大学情報科学部情報工学科
-
鷹野 芙美代
早稲田大学コンピュータ・ネットワーク工学科:日本学術振興会
-
前川 仁孝
千葉工業大学
-
鷹野 芙美代
千葉工業大学情報科学部情報工学科
-
宮崎 収兄
千葉工業大学情報科学部情報工学科
-
六沢 一昭
千葉工大 情報科学
-
佐田 宏史
千葉工業大学 情報工学科
-
六沢 一昭
千葉工業大学 情報工学科
-
鷹野 芙美代
千葉工業大学 情報工学科
関連論文
- 欧州の情報技術への研究支援と日本の取組み
- 階層的挟み撃ち探索における探索の重複領域の削減手法
- ニュートン補間法によるベクトル予測を用いた動きベクトル検出処理の高速化手法(一般セッション(4))
- ニュートン補間法によるベクトル予測を用いた動きベクトル検出処理の高速化手法
- スタティックスケジューリングを用いた電子回路シミュレーションの粗粒度/近細粒度階層型並列処理手法
- 電力系統過渡安定度計算の階層的並列処理手法
- 電子回路シミュレーションの階層的並列処理手法
- 電子回路シミュレーションの階層的並列処理手法
- 電子回路シミュレーションの粗粒度/近細粒度階層的並列手法
- 4Y-2 初心者のための気象情報システムの構築(情報システムの構築(1),一般講演,コンピュータと人間社会)
- 5X-9 コンピュータ用語による英語学習システム(教育支援システム,一般講演,コンピュータと人間社会)
- 2X-6 WWWを利用したドイツ語入門講座
- 2S-7 気象情報システムの構築 : wwwを用いた初心者向け気象学習支援
- 3K-4 電力過渡安定度計算の効率的な処理方法に関する研究
- 英単語発音学習システムの構築
- インタラクティブWebアンケートシステム
- 気象情報システムの構築
- D-3-9 先読みを考慮したヒューリスティックスケジューリングアルゴリズム
- B-028 ストリーミングSIMD拡張命令を用いた電子回路シミュレータSPICE3の高速化(B分野:ソフトウェア,一般論文)
- 電磁界解析のための有限要素・境界要素併用法の並列処理
- 有限要素法と境界要素法を利用した電磁界解析の並列処理
- 編集にあたって(マルチコアにおけるソフトウェア)
- 2S-1 データベース型電子掲示板
- 3J-2 WWWを利用した点字学習者支援環境
- 5H-4 火災シミュレータにおける評価支援システム
- 1Q-10 FTPを用いたマルチメディアメールシステムの構築
- WWWを利用した日本語点字学習者のための支援環境の構築
- 点字学習者支援システムの構築
- データベース型電子掲示板の試作
- Javaによる火災シミュレータの構築
- マルチメディアメールシステム
- B-025 評価関数の精度による階層的挟み撃ち探索の性能評価(B分野:ソフトウェア,一般論文)
- 多変量解析を用いた感性データベース
- 二段階圧縮法のXMLへの適用
- 高速検索を可能とする日本語テキストの二段階圧縮法
- 多変量解析を用いた感性データベース
- 二段階圧縮法のXMLへの適用
- ファイル検索システムのための二段階圧縮法
- 2000-DBS-122-56 二段階圧縮法を用いた大規模テキストファイルの検索と圧縮
- DE2000-78 二段階圧縮法を用いた大規模テキストファイルの検索と圧縮
- 2P-10 検索効率を考慮したテキストファイル圧縮の検討
- 圧縮ファイルに直接検索を行なう一手法
- ワールド・ワイド・データベースの実験システム
- 不完全情報の広域問合せ
- ワールド・ワイド・データベースの問合せ処理
- ワールド・ワイド・データベースシステムの設計
- 広域検索のための関係代数の拡張
- 広域検索のための関係代数の拡張
- テキストファイルにおける圧縮率と検索効率の向上
- 1Q-7 画像データベースの検索方法についての一考察
- 証明数・反証数を用いた反復深化法における複数経路並行探索の並列化(HPC-6 : 並列アプリケーション)
- ベクトル量子化における画像信号に一般化調和解析を用いた画像符号化
- AND節点の並列探索を加えたAND/OR木階層的挟み撃ち探索(アルゴリズム)
- 一般化調和解析を併用したベクトル量子化による画像符号化
- 証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化(数値計算アルゴリズム(2), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索(アルゴリズム・数値計算)
- MATLABからC言語への変換における変数の動的解析削減手法(HPC-12 : 最適化と性能評価)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 命令キャッシュを考慮したコード生成法による方程式求解の高速化手法(ARC-4 : 実行スケジューリング)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- AND/OR木におけるAND節点に対する並列探索の評価(CPSY-3 性能評価)(2004年並列/分散/協調処理に関する「青森」サマーワークショップ(SWoPP青森2004))
- 一般化調和解析とベクトル量子化の併用による画像圧縮
- D-11-57 一般化調和解析を用いたベクトル量子化による画像圧縮の改善
- D-14-17 一般化調和解析の処理効率の向上に関する研究
- C-011 命令フェッチコストを考慮したコード生成法による電子回路シミュレーションの高速化(C分野:アーキテクチャ・ハードウェア)
- A-8-4 ビリヤード習得のための学習システムの構築
- D-11-160 共有メモリ型並列コンピュータ上のステレオマッチングの並列処理手法
- A-8-3 携帯電話を用いたネットワーク投票システムの試作
- A-8-1 ビリヤード支援システムの構築
- J-19 小領域分割法によるステレオマッチングのプロセッサ割り当て手法(画像処理2-1,J.グラフィクス・画像)
- キャッシュヒット率を考慮したステレオマッチングの並列処理
- G-27 局面評価値による重み付けを利用した反復深化法の並列処理手法(人工知能(一般),G.人工知能)
- D-8-20 共有メモリ型並列計算機における詰将棋プログラムの階層型挟み撃ち探索
- D-3-10 クラウト法を用いた電力系統過渡安定度計算の粗粒度並列処理手法
- 仮説概念を用いた広域情報検索
- 配列間接アクセスを用いないコード生成法による電子回路シミュレーションの高速化とその並列処理
- 配列間接アクセスを用いないコード生成法による電子回路シミュレーションの高速化とその並列処理
- 電磁界解析における有限要素・境界要素併用法の並列処理手法
- 電磁界解析における有限要素・境界要素併用法の並列処理手法
- マルチプロセッサシステム上でのCFDの並列処理に関する研究
- 並列処理の導入による有限要素・境界要素併用解析法の高速化
- リカレントニューラルネットワークにおける学習の並列処理
- OSCARアプリケーション専用目的コンパイラにおける超階層マクロデータフロー処理手法
- マルチプロセッサシステム上での回路シミュレーションの並列処理手法
- OSCAR上でのスパース行列直接解法の並列処理
- OSCAR上での直接法を用いた回路シミュレーションの並列処理
- 専用目的コンパイラ開発用並列化中間言語とその処理系
- K_011 e-Learningにおける学習支援システム(K分野:ヒューマンコミュニケーション&インタラクション)
- K-031 古本屋支援システム(K分野:ヒューマンコミュニケーション&インタラクション)
- 証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化(数値計算アルゴリズム(2), 「ハイパフォーマンスコンピューティングとアーキテクチャの評価」に関する北海道ワークショップ(HOKKE-2005))
- D-6-10 分散メモリ型計算機による有限要素・境界要素併用法の高速化(D-6. コンピュータシステム)
- D-17-4 モンテカルロ法を用いたデリバティブ・プライジングの並列処理手法
- D-3-1 コード生成法によるループフリーコードの計算手法
- 格上げ制限2相施錠方式の拡張
- 格上げ制限2相施錠方式の性能評価
- 格上げ制限2相施錠方式の性能評価
- 格上げ制限2相施錠方式の性能について
- 並行処理制御における2相施錠方式の改良
- 4K-7 オブジェクト指向データベースの並行処理制御
- L-019 WebサービスにおけるBtoCのためのレーティングサービスについて(L.インターネット)
- 不完全データベースと広域データベース検索 (メディア統合および環境統合のための高機能データベースシステム、および一般)
- 女性向けフリーマガジンと連動するサイトにおけるユーザの行動分析