{"links":{},"id":18458,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00018458","sets":["934:1119:1142:1143"]},"path":["1143"],"owner":"1","recid":"18458","title":["AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索"],"pubdate":{"attribute_name":"公開日","attribute_value":"2004-10-15"},"_buckets":{"deposit":"6e582816-522c-4a3e-a811-eb77a05079f1"},"_deposit":{"id":"18458","pid":{"type":"depid","value":"18458","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"AND/OR木における証明数・反証数を用いた階層的挟み撃ち探索"},{"subitem_title":"Hierarchical Pincers Attack Search Using Proof Numbers and Disproof Numbers for AND/OR Tree","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"アルゴリズム・数値計算","subitem_subject_scheme":"Other"}]},"item_type_id":"3","publish_date":"2004-10-15","item_3_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"千葉工業大学情報科学部情報工学科"},{"subitem_text_value":"株式会社両毛システムズ"},{"subitem_text_value":"千葉工業大学情報科学部情報工学科"},{"subitem_text_value":"千葉工業大学情報科学部情報工学科"},{"subitem_text_value":"千葉工業大学情報科学部情報工学科"}]},"item_3_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Faculty of Information and Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Ryomo Systems Co., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Faculty of Information and Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Faculty of Information and Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Faculty of Information and Computer Science, Chiba Institute of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/18458/files/IPSJ-TACS4511026.pdf"},"date":[{"dateType":"Available","dateValue":"2006-10-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-TACS4511026.pdf","filesize":[{"value":"256.4 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"16"},{"tax":["include_tax"],"price":"0","billingrole":"11"},{"tax":["include_tax"],"price":"0","billingrole":"14"},{"tax":["include_tax"],"price":"0","billingrole":"15"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"4ed220f6-2a67-4ca6-bfff-d89df979cc26","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2004 by the Information Processing Society of Japan"}]},"item_3_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鷹野, 芙美代"},{"creatorName":"関根, 敦史"},{"creatorName":"佐田, 宏史"},{"creatorName":"前川, 仁孝"},{"creatorName":"六沢, 一昭"}],"nameIdentifiers":[{}]}]},"item_3_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Fumiyo, Takano","creatorNameLang":"en"},{"creatorName":"Atsushi, Sekine","creatorNameLang":"en"},{"creatorName":"Hiroshi, Sata","creatorNameLang":"en"},{"creatorName":"Yoshitaka, Maekawa","creatorNameLang":"en"},{"creatorName":"Kazuaki, Rokusawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_3_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11833852","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_3_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7829","subitem_source_identifier_type":"ISSN"}]},"item_3_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本論文では階層的挟み撃ち探索を用いたAND/OR木の並列探索手法について提案する．証明数の小さい節点は解である可能性が高い．そのため，証明数を用いるAND/OR木の並列探索の多くは証明数の小さい節点から探索する．しかし証明数の大きい節点が解である場合は，解を見つけるのに多くの時間を必要とする．そこで，証明数の小さい節点と証明数の大きい節点の探索を並列に行い，さらに証明数の小さい節点に多くのプロセッサを割り当てる並列探索手法を提案する．このように複数プロセッサで探索することにより，従来の探索法では解を見つけるまでに時間がかかる証明数の大きい節点が解である場合にも，探索時間を短縮することができる．提案手法を共有メモリ型並列計算機に実装して評価した．評価の結果，逐次探索では時間のかかる問題に対し，スーパリニアスピードアップが確認された．","subitem_description_type":"Other"}]},"item_3_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"This paper proposes a parallel AND/OR tree search algorithm using the hierarchical pincers attack search. Parallel processing algorithms of AND/OR tree search are proposed. Many of them search a tree from a node having a small proof number. When a solution is a node having a large proof number, they need a long computation time. Therefore, the proposed algorithm uses the hierarchical pincers attack search. It is able to search from a node having a small proof number and a node having a large proof number simultaneously. Additionally, many processors search some nodes having a small proof number, and a few processors search some nodes having a large proof number. The proposed algorithm is implemented on a shared memory multiprocessor and evaluated. The result shows super linear speedup by parallel processing when sequential search needs a long computation time.","subitem_description_type":"Other"}]},"item_3_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"289","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌コンピューティングシステム（ACS）"}],"bibliographicPageStart":"280","bibliographicIssueDates":{"bibliographicIssueDate":"2004-10-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"SIG11(ACS7)","bibliographicVolumeNumber":"45"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:51:11.443981+00:00","updated":"2025-01-22T22:45:17.134903+00:00"}