WEKO3
アイテム
ZDDと列挙問題 - 最新の技法とプログラミングツール
http://hdl.handle.net/10228/00006890
http://hdl.handle.net/10228/00006890310eb608-01e5-40ef-ac42-c99b3baffff8
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
10308196.pdf (1.0 MB)
|
|
| アイテムタイプ | 学術雑誌論文 = Journal Article(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-08-27 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||
| 資源タイプ | journal article | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | ZDDと列挙問題 - 最新の技法とプログラミングツール | |||||||||||||
| 言語 | ja | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | ZDDs and enumeration problems: State-of-the-art techniques and programming tool | |||||||||||||
| 言語 | en | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 著者 |
戸田, 貴久
× 戸田, 貴久× 斎藤, 寿樹
WEKO
22890
× 岩下, 洋哲× 川原, 純× 湊, 真一 |
|||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | 列挙問題とは，与えられた条件を満たす対象(解)をすべて求める問題であり，電力網解析など社会のさまざまな問題への応用がある．さまざまな組合せ列挙問題に対して，問題の解集合を表現するデータ構造ZDDを高速に求める方法(トップダウンZDD構築法)を通して元の問題を効率的に解く汎用的な手法の研究が近年盛んに行われている.本論文ではトップダウンZDD構築に焦点を絞り，基礎となるアルゴリズムから，複雑な問題制約に対処するための発展的手法，プログラミングツールTdZddの基本的な使い方，さらに，具体的な応用問題を例にしたプログラミングまで解説する. | |||||||||||||
| 言語 | ja | |||||||||||||
| 抄録 | ||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||
| 内容記述 | Combinatorial enumeration problems are to find all combinations of items (solutions) that satisfy given constraints. There are many applications to various problems that are closely related to real-life such as power distribution network analysis. Recent researches have paid attention to a generic framework for computing various combinatorial enumeration problems through the method of efficiently constructing the data structure, ZDD, for all solutions of those problems in a top-down fashion, which is thus called top-down ZDD construction. The paper focuses on this subject and provides a comprehensive survey on algorithms that the construction is based on, an extended method for efficiently handling complicated constraints, the basics of the programming tool, TdZdd, that allows us to easily develop top-down construction-based programs, and practical programming examples of some applied problems. | |||||||||||||
| 言語 | en | |||||||||||||
| 書誌情報 |
en : コンピュータ ソフトウェア ja : Computer Software 巻 34, 号 3, p. 97-120, 発行日 2017-08-09 |
|||||||||||||
| 出版社 | ||||||||||||||
| 出版者 | 日本ソフトウェア科学会 | |||||||||||||
| 言語 | ja | |||||||||||||
| DOI | ||||||||||||||
| 関連タイプ | isIdenticalTo | |||||||||||||
| 識別子タイプ | DOI | |||||||||||||
| 関連識別子 | https://doi.org/10.11309/jssst.34.3_97 | |||||||||||||
| CRID | ||||||||||||||
| 関連タイプ | isIdenticalTo | |||||||||||||
| 識別子タイプ | URI | |||||||||||||
| 関連識別子 | https://cir.nii.ac.jp/crid/1390001204737083904 | |||||||||||||
| NCID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN10075819 | |||||||||||||
| ISSN | ||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||
| 収録物識別子 | 0289-6540 | |||||||||||||
| 著作権関連情報 | ||||||||||||||
| 権利情報 | Copyright (c) 2017 日本ソフトウェア科学会. ここに掲載した著作物の利用に関する注意 本著作物の著作権は日本ソフトウェア科学会に帰属します．本著作物は著作権者である日本ソフトウェア科学会の許可のもとに掲載するものです．ご利用に当たっては「著作権法」に従うことをお願いいたします． | |||||||||||||
| 著作権関連情報 | ||||||||||||||
| 権利情報 | Copyright (c) 2017 Japan Society for Software Science and Technology. Notice for the use of this material: The copyright of this material is retained by the Japan Society for Software Science and Technology (JSSST). This material is published on this web site with the agreement of the JSSST. Please comply with Copyright Law of Japan if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. | |||||||||||||
| 出版タイプ | ||||||||||||||
| 出版タイプ | VoR | |||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||
| 査読の有無 | ||||||||||||||
| 値 | yes | |||||||||||||
| 研究者情報 | ||||||||||||||
| URL | https://hyokadb02.jimu.kyutech.ac.jp/html/100000980_ja.html | |||||||||||||
| 論文ID（連携） | ||||||||||||||
| 値 | 10308196 | |||||||||||||
| 連携ID | ||||||||||||||
| 値 | 6300 | |||||||||||||
