文献

J-GLOBAL ID：202502280894502675   整理番号：25A0220859

ZDD上での発展的演算の一般化

Generalization of Advanced Operations on ZDDs

著者 (3件)： 伝住周平 (NTT コミュニケーション科学基礎研) ,  西野正彬 (NTT コミュニケーション科学基礎研) ,  安田宜仁 (NTT コミュニケーション科学基礎研)
資料名： 人工知能学会人工知能基本問題研究会資料  (SIG-FPAI-C)
巻： 131st  ページ： 37-42  発行年： 2025年01月06日 
JST資料番号： X0830A  ISSN： 2436-4584  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・ZDD上での演算の中でもオールペア演算と呼ぶ演算を一般化した形式で表現される演算ならば実行可能なアルゴリズムへと具体化するテンプレートを提案。
・提案テンプレートは既存の演算の自然な一般化であり,テンプレートを用いた場合にも効率を失わず既存の演算を再現可能。
・加えて,既存のZDD演算では効率的に実現できなかった演算を決定グラフに関する深い知識なしに生成可能。

シソーラス用語： *二分決定グラフ ,  *発展 ,  *演算 ,  *汎化 ,  実現可能性 ,  アルゴリズム ,  *型
準シソーラス用語： *ZDD ,  *ソフトウェアテンプレート ,  *一般化 ,  実行可能性

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (3件)： ZDD ,  発展 ,  一般化