文献

J-GLOBAL ID：201702255882150003   整理番号：17A0992513

パートナーユニット決定問題の計算量について【Powered by NICT】

On the complexity of the partner units decision problem

著者 (1件)： Teppan Erich Christian (Universitaet Klagenfurt, Austria)
資料名： Artificial Intelligence  (Artificial Intelligence)
巻： 248  ページ： 112-122  発行年： 2017年 
JST資料番号： E0180C  ISSN： 0004-3702  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： パートナーユニット問題は,CCTV監視や鉄道安全システムのような種々の工業的応用分野をもつ論理プログラミングコミュニティのための認められた硬ベンチマーク問題である。問題の最適化版に存在する多くの計算量の結果が,実用的な観点からはより重要な決定変異体の複雑性は広く知られていない。本論文では,パートナー単位決定問題は一般におよび工業的に重要な種々の部分問題に対してもNP完全であることを示した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 最適化 ,  *決定問題 ,  論理プログラミング ,  *計算量 ,  コミュニティ ,  ベンチマーク
準シソーラス用語： NP完全性 ,  部分問題 ,  複雑性 , 【Automatic Indexing@JST】

著者キーワード (3件)： パートナーユニット問題 ,  計算の複雑さ ,  NP完全性

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)

タイトルに関連する用語 (3件)： パートナー ,  決定問題 ,  計算量