کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875447 1441954 2018 49 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Mean-payoff games with partial observation
ترجمه فارسی عنوان
بازی های متوسط ​​بازپرداخت با مشاهدات جزئی
کلمات کلیدی
بازی های کمی مشاهده جزئی تایید، سنتز، نظریه بازی،
ترجمه چکیده
بازی های متوسط ​​بازپرداخت مدل های کمی برای سیستم های واکنشی باز هستند. آنها به عنوان بازی هایی از مشاهدات کامل مورد مطالعه قرار گرفته اند. در این مقاله، خواص الگوریتمی چندین زیرمجموعه بازی های متوسط ​​بازپرداختی که بازیکنان اطلاعات نامتقارن در مورد وضعیت بازی دارند، مورد بررسی قرار می دهیم. این بازی ها به طور کلی غیر قابل تشخیص است و با توجه به تعریف کلاسیک مشخص نیست. ما نشان می دهیم که چنین بازی هایی تحت یک مفهوم کلی تر از استراتژی برنده تعیین می شود. ما همچنین بازی های متوسط ​​بازی را در نظر می گیریم که برنده آن می تواند برنده یک بازی چرخه ای محدود باشد. این کار چندین طبقه قابل قبول از بازی های متوسط ​​بازپرداخت اطلاعات نامتقارن را به دست می دهد که تنها به استراتژی های محدود حافظه نیاز دارد، از جمله تعمیم دادن بازی های کامل مشاهده که در آن استراتژی های موقعیتی کافی است. ما یک الگوریتم زمانی برای تعیین برنده دوم می دهیم.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Mean-payoff games are important quantitative models for open reactive systems. They have been widely studied as games of full observation. In this paper we investigate the algorithmic properties of several sub-classes of mean-payoff games where the players have asymmetric information about the state of the game. These games are in general undecidable and not determined according to the classical definition. We show that such games are determined under a more general notion of winning strategy. We also consider mean-payoff games where the winner can be determined by the winner of a finite cycle-forming game. This yields several decidable classes of mean-payoff games of asymmetric information that require only finite-memory strategies, including a generalization of full-observation games where positional strategies are sufficient. We give an exponential time algorithm for determining the winner of the latter.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 735, 29 July 2018, Pages 82-110
نویسندگان
, , , ,