{"links":{},"id":23240,"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00023240","sets":["1164:1579:1598:1602"]},"path":["1602"],"owner":"1","recid":"23240","title":["証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化"],"pubdate":{"attribute_name":"公開日","attribute_value":"2005-03-09"},"_buckets":{"deposit":"8f5b4fd8-3130-40a9-8464-4ced9724c519"},"_deposit":{"id":"23240","pid":{"type":"depid","value":"23240","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"証明数・反証数を閾値とした反復深化法の複数経路同時探索による高速化"},{"subitem_title":"Speedup by Simultaneous Multi-Path Search in Iterative Deepening Using Proof Number and Disproof Number","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2005-03-09","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"千葉工業大学 情報工学科"},{"subitem_text_value":"千葉工業大学 情報工学科"},{"subitem_text_value":"千葉工業大学 情報工学科"},{"subitem_text_value":"千葉工業大学 情報工学科"},{"subitem_text_value":"千葉工業大学 情報工学科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Computer Science, Chiba Institute of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of 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/23240/files/IPSJ-ARC04162027.pdf"},"date":[{"dateType":"Available","dateValue":"2007-03-09"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ARC04162027.pdf","filesize":[{"value":"205.8 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":"44"}],"accessrole":"open_date","version_id":"37323b43-05b7-4926-a042-d995f7815059","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2005 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"鷹野, 芙美代"},{"creatorName":"佐田, 宏史"},{"creatorName":"前川, 仁孝"},{"creatorName":"六沢, 一昭"},{"creatorName":"宮崎, 収兄"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Fumiyo, Takano","creatorNameLang":"en"},{"creatorName":"Hiroshi, Sata","creatorNameLang":"en"},{"creatorName":"Yoshitaka, Maekawa","creatorNameLang":"en"},{"creatorName":"Kazuaki, Rokusawa","creatorNameLang":"en"},{"creatorName":"Nobuyoshi, Miyazaki","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10096105","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では，PDSの複数の探索経路を同時に探索することにより，証明数の大きい節点に存在する解も高速に発見する逐次探索手法を提案する．証明数を用いた探索では，証明数の小さい節点は解である可能性が高いため，一般に証明数の小さい節点から探索する．そのため，証明数の大きい節点が解であった場合に多くの時間を必要とする．そこで証明数の大きい節点と小さい節点の複数経路を交互に探索することで証明数の大きい節点が解である場合でも早く解を見つけることができる．加えて探索時の情報を用いて各経路の探索順と探索量を動的に変更することでさらに効率良く探索できる．本稿では証明数などを用いて探索順・探索量を動的に変更し，評価した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"162","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告計算機アーキテクチャ（ARC）"}],"bibliographicPageStart":"157","bibliographicIssueDates":{"bibliographicIssueDate":"2005-03-09","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"19(2004-ARC-162)","bibliographicVolumeNumber":"2005"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"created":"2025-01-18T22:54:41.959098+00:00","updated":"2025-01-22T20:30:53.916918+00:00"}