サイバーページ論文概要

摘要

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