WEKO3
アイテム
証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化
https://ipsj.ixsq.nii.ac.jp/records/23240
https://ipsj.ixsq.nii.ac.jp/records/232406bdcabac-6a5d-4d23-9091-c12e9dcaf6de
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-ARC04162027.pdf (205.8 kB)
|
Copyright (c) 2005 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2005-03-09 | |||||||
| タイトル | ||||||||
| タイトル | 証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Speedup by Simultaneous Multi-Path Search in Iterative Deepening Using Proof Number and Disproof Number | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 千葉工業大学 情報工学科 | ||||||||
| 著者所属 | ||||||||
| 千葉工業大学 情報工学科 | ||||||||
| 著者所属 | ||||||||
| 千葉工業大学 情報工学科 | ||||||||
| 著者所属 | ||||||||
| 千葉工業大学 情報工学科 | ||||||||
| 著者所属 | ||||||||
| 千葉工業大学 情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Chiba Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Chiba Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Chiba Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Chiba Institute of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Computer Science, Chiba Institute of Technology | ||||||||
| 著者名 |
鷹野, 芙美代
佐田, 宏史
前川, 仁孝
六沢, 一昭
宮崎, 収兄
× 鷹野, 芙美代 佐田, 宏史 前川, 仁孝 六沢, 一昭 宮崎, 収兄
|
|||||||
| 著者名(英) |
Fumiyo, Takano
Hiroshi, Sata
Yoshitaka, Maekawa
Kazuaki, Rokusawa
Nobuyoshi, Miyazaki
× Fumiyo, Takano Hiroshi, Sata Yoshitaka, Maekawa Kazuaki, Rokusawa Nobuyoshi, Miyazaki
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本稿では，PDSの複数の探索経路を同時に探索することにより，証明数の大きい節点に存在する解も高速に発見する逐次探索手法を提案する．証明数を用いた探索では，証明数の小さい節点は解である可能性が高いため，一般に証明数の小さい節点から探索する．そのため，証明数の大きい節点が解であった場合に多くの時間を必要とする．そこで証明数の大きい節点と小さい節点の複数経路を交互に探索することで証明数の大きい節点が解である場合でも早く解を見つけることができる．加えて探索時の情報を用いて各経路の探索順と探索量を動的に変更することでさらに効率良く探索できる．本稿では証明数などを用いて探索順・探索量を動的に変更し，評価した． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This paper proposes a fast sequential algorithm searching multiple paths simultaneously. A node with a small proof number has a high probability of a solution. Search algorithms using proof numbers searches only from a node with a small proof number. Though, it takes a long computation time if a solution is a node with a large proof number. The proposed algorithm searches alternately nodes with a large proof number and nodes with a small proof number. Additionally, it changes the amount of search and the order of search in each search path dynamically by using runtime information while searching. Finally, this paper evaluates the algorithm using proof numbers to change the amount of search and the order of search. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10096105 | |||||||
| 書誌情報 |
情報処理学会研究報告計算機アーキテクチャ（ARC） 巻 2005, 号 19(2004-ARC-162), p. 157-162, 発行日 2005-03-09 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
