文献

J-GLOBAL ID：201802216732979148   整理番号：18A1387028

指数生成関数の線形分解のためのZDDSを用いた厳密な最適化法【JST・京大機械翻訳】

An Exact Optimization Method Using ZDDs for Linear Decomposition of Index Generation Functions

著者 (3件)： Nagayama Shinobu ,  Sasao Tsutomu ,  Butler Jon
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： ISMVL  ページ： 144-149  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,インデックス生成関数の線形分解のためのゼロ抑制二値決定図(ZDDs)を用いた正確な最適化手法を提案した。提案した方法は,指数関数の指標集合を再帰的に分割することにより,厳密な最適解を探索する。ZDDsはコンパクトで一意的に集合を表すことができるので,インデックス集合の分割をコンパクトかつ一意的に表現できる。このように,提案方法は,ZDDsを用いることによって効率的に部分解(インデックスセットの分割)を再利用することができて,冗長な解法探索を避けることができた。ベンチマーク指数生成関数を用いた実験結果は,ZDDsの有効性を示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *線形性 ,  最適化手法 ,  *最適化 ,  指数関数 ,  ベンチマーク ,  再利用 ,  *母関数 ,  冗長性
準シソーラス用語： 最適解 ,  決定図 , 【Automatic Indexing@JST】

分類 (1件)： その他のオペレーションズリサーチの手法  (KA03070E)

タイトルに関連する用語 (5件)： 指数 ,  生成関数 ,  線形 ,  分解 ,  最適化