文献

J-GLOBAL ID：201702240047985627   整理番号：17A1284659

3つの変形ナップザック問題の形式的導出【JST・京大機械翻訳】

The Formal Derivation of Three Forms of 0-1 Knapsack Problems

著者 (3件)： You Ying (江西師范大学計算机信息工程学院,江西 南昌,330022) ,  Yang Qinghong (江西師范大学計算机信息工程学院,江西 南昌,330022) ,  Qi Leilei (江西師范大学計算机信息工程学院,江西 南昌,330022)
資料名： Jiangxi Shifan Daxue Xuebao (Ziran Kexue Ban)  (Jiangxi Shifan Daxue Xuebao (Ziran Kexue Ban))
巻： 41  号： 2  ページ： 116-121  発行年： 2017年 
JST資料番号： C3228A  ISSN： 1000-5862  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 0-1ナップサック問題のいくつかの変形問題を深く研究した上で、二進法配列の方式を用いて、いくつかのナップサック問題のプログラム仕様を形式化し、プログラム変換技術によって問題解決の再帰関係を獲得し、3つの変形ナップサック問題のアルゴリズム導出プロセスを提案した。アルゴリズムの信頼性を効果的に保証することができて,この方法は,サブセットと問題,船搭載などの問題において一般的に適用されることができた。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 問題解決 ,  船舶 ,  *ナップサック問題 ,  アルゴリズム ,  信頼性 ,  プログラム変換 ,  部分集合
準シソーラス用語： バイナリー , 【Automatic Indexing@JST】

著者キーワード (5件)： formal derivation ,  0-1 knapsack problem ,  vector of binary ,  program specification ,  recurrence relation

分類 (3件)： 計算理論  (JB02000A) ,  その他のオペレーションズリサーチの手法  (KA03070E) ,  数値計算  (JE02000J)

タイトルに関連する用語 (2件)： ナップザック問題 ,  導出