文献

J-GLOBAL ID：201702215480065810   整理番号：17A1619248

ZDDと列挙問題-最新の技法とプログラミングツール

ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool

著者 (5件)： 戸田貴久 (電気通信大学大学院情報理工学研究科) ,  斎藤寿樹 (神戸大学大学院工学研究科) ,  岩下洋哲 (富士通研究所知識情報処理研究所) ,  川原純 (奈良先端科学技術大学院大学情報科学研究科) ,  湊真一 (北海道大学大学院情報科学研究科)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 34  号： 3  ページ： 3_97-3_120(J-STAGE)  発行年： 2017年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 列挙問題とは,与えられた条件を満たす対象(解)をすべて求める問題であり,電力網解析など社会のさまざまな問題への応用がある.さまざまな組合せ列挙問題に対して,問題の解集合を表現するデータ構造ZDDを高速に求める方法(トップダウンZDD構築法)を通して元の問題を効率的に解く汎用的な手法の研究が近年盛んに行われている.本論文ではトップダウンZDD構築に焦点を絞り,基礎となるアルゴリズムから,複雑な問題制約に対処するための発展的手法,プログラミングツールTdZddの基本的な使い方,さらに,具体的な応用問題を例にしたプログラミングまで解説する.(著者抄録)

シソーラス用語： *支援プログラム ,  *計算機プログラミング ,  電力系統 ,  *組合せ問題 ,  データ構造 ,  高速化 ,  計算機アルゴリズム ,  制約条件 ,  *計算理論
準シソーラス用語： ZDD ,  トップダウン処理 ,  *プログラミングツール ,  *数え上げ問題 ,  電力網 ,  *列挙問題

分類 (3件)： 計算機システム開発  (JD02010R) ,  計算理論  (JB02000A) ,  その他のオペレーションズリサーチの手法  (KA03070E)

タイトルに関連する用語 (5件)： ZDD ,  問題 ,  技法 ,  プログラミング ,  ツール