کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4942093 1436984 2017 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the complexity of the partner units decision problem
ترجمه فارسی عنوان
در پیچیدگی مسئله تصمیم گیری واحدهای شریک
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر هوش مصنوعی
چکیده انگلیسی
The partner units problem is an acknowledged hard benchmark problem for the logic programming community with various industrial application fields like CCTV surveillance or railway safety systems. Whereas many complexity results exist for the optimization version of the problem, complexity for the decision variant, which from a practical point of view is more important, is widely unknown. In this article we show that the partner units decision problem is NP-complete in general and also for various subproblems of industrial importance.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Artificial Intelligence - Volume 248, July 2017, Pages 112-122
نویسندگان
,