文献

J-GLOBAL ID：202202232397203031   整理番号：22A3000268

ZDDを用いた組合せ遷移ソルバー

著者 (7件)： 伊藤健洋 (東北大) ,  川原純 (京大) ,  中畑裕 (奈良先端科学技術大学院大) ,  宋剛秀 (神戸大) ,  鈴木顕 (東北大) ,  照山順一 (兵庫県大) ,  戸田貴久 (電通大)
資料名： 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集  (Abstracts. Fall National Conference of Operations Research Society of Japan)
巻： 2022  ページ： 132-133  発行年： 2022年09月13日 
JST資料番号： F0952B  ISSN： 1883-1893  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

本文一部表示： 1.はじめに.独立集合遷移問題とは,グラフGと,G上の独立集合SとTを入力とし,独立集合であることを保ちながら,SからTに遷移可能かを判定する問題である[3].具体的には,独立集合の遷移の1ステップを,その集合に含まれる頂点を任意に1つ削除...【本文一部表示】

シソーラス用語： *探索問題 ,  実現可能性 ,  規則 ,  *二分決定グラフ ,  応用プログラム ,  *ソルバ ,  *遷移規則
準シソーラス用語： ZDD ,  *ゼロサプレス型二分決定グラフ ,  実行可能性 ,  *組合せ遷移問題

分類 (3件)： 人工知能  (JE08000Z) ,  グラフ理論基礎  (IA02020S) ,  数値計算  (JE02000J)

タイトルに関連する用語 (4件)： ZDD ,  組合せ ,  遷移 ,  ソルバー