بازی ازدحامی

بازی‌های ازدحامی دسته‌ای در نظریه بازی‌ها هستند که در سال ۱۹۷۳ توسط رزنتال مطرح شدند. در یک بازی ازدحامی بازیکنان و منابع را تعریف می‌کنیم و سود هر بازیکن به منابعی که انتخاب می‌کند و تعداد بازیکنانی که همان منابع را انتخاب می‌کنند بستگی دارد. بازی‌های ازدحامی حالت خاصی از بازی‌های پتانسیلی می‌باشند. رزنتال ثابت کرد که هر بازی ازدحامی یک بازی پتانسیلی نیز می‌باشد و بعدها مندرر و شاپلی (۱۹۹۶) عکس آن را اثبات کردند: به ازای هر بازی پتانسیلی، یک بازی ازدحامی با تابع پتانسیل یکسان موجود است.
مقدمه
یک شبکه ترافیکی را در نظر بگیرید که دو بازیکن از نقطه O حرکت خود را آغاز می‌کنند و می‌خواهند به نقطه T برسند. فرض کنید نقطه O با مسیرهای ارتباطی A و B به نقطه T متصل است، به صورتی که مسیر A کمی از مسیر B طول کمتری دارد (به عبارت دیگر مسیر A با احتمال بیشتری توسط هر بازیکن انتخاب می‌شود). اما هردو راه ارتباطی به سادگی شلوغ می‌شود؛ به این معنا که هر چه تعداد بازیکن بیشتری از یک مسیر عبور کنند تاخیر هر بازیکن بیشتر می‌شود. در نتیجه عبور هر دو بازیکن از مسیر یکسان باعث تاخیر اضافی خواهد شد. نتیجه مطلوب در این بازی درصورتی کسب می‌شود که دو بازیکن همکاری کرده و از مسیرهای متفاوتی عبور کنند. آیا می‌توان چنین نتیجه‌ای گرفت؟ و اگر چنین است، هزینه هر بازیکن چه خواهد بود؟
تعریف
بازی‌های ازدحامی گسسته دارای اجزای زیرند:
یک مجموعه از عناصر ازدحام‌پذیر
بازیکن
یک مجموعه متناهی از استراتژی‌های برای هر بازیکن بدین صورت که هر استراتژی زیرمجموعه‌ای از می‌باشد.
به‌ازای هر عنصر و یک بردار از استراتژی‌های ، باری که این عنصر متحمل می‌شود به صورت می‌باشد.
به‌ازای هر عنصر ، یک تابع تاخیر به صورت
به‌ازای استراتژی داده شده، بازیکن تاخیری معادل متحمل می‌شود. فرض کنید که هر مثبت و صعودی به صورت یکنواخت است.
مثال
گراف جهت‌دار زیر را در نظر بگیرید. هر بازیکن دو استراتژی برای انتخاب دارد تا از A به B برسد. در نتیجه در کل ۴ حالت برای رسیدن بازیکنان به مقصد موجود است. ماتریس زیر، هزینه بازیکنان را به صورت تاخیری که بسته به انتخابشان متحمل می‌شوند، نشان می‌دهد.
گراف جهت‌دار یک بازی ازدحامی ساده
+ماتریس هزینه
p2/p1
A
B
A
(۵،۵)
(۲،۳)
B
(۳،۲)
(۶،۶)
در این بازی، استراتژی‌های (A,B) و (B,A) تعادل نش خالص هستند. این بدین دلیل است که هر تغییری توسط هر بازیکن باعث افزایش هزینه او می‌شود (توجه کنید که اعداد جدول هزینه را نشان می‌دهند. در نتیجه بازیکنان مقادیر کوچکتر را ترجیح می‌دهند)
وجود تعادل نش
وجود تعادل نش را می‌توان با ساختن یک تابع پتانسیلی که به هر وضعیت خروجی یک مقدار نسبت می‌دهد اثبات کرد. علاوه بر این، ساختن این تابع نشان می‌دهد یافتن بهترین پاسخ به صورت تکرارشونده به تعادل نش منجر می‌شود. تابع ذکرشده را به صورت تعریف می‌کنیم. توجه کنید که این تابع همان رفاه اجتماعی نیست؛ بلکه بیشتر یک نوع انتگرال گسسته محسوب می‌شود. ویژگی اصلی تابع پتانسیلی این است که اگر یک بازیکن استراتژی خود را تفییر دهد، تغییر تاخیر او برابر با تغییر در تابع پتانسیل باشد.حالتی را در نظر بگیرید که بازیکن استراتژی خود را از به تغییر می‌دهد. عناصری که در هر دو استراتژی هستند بدون تغییر باقی می‌مانند و عناصری که این بازیکن آن‌ها را رها می‌کند (به عبارت دیگر ) تابع پتانسیل را به مقدار کاهش می‌دهند و همچنین عناصری که این بازیکن به آن‌ها می‌پیوندد (به عبارت دیگر ) تابع پتانسیلی را به اندازه افزایش می‌دهند. این تغییر در پتانسیل دقیقا با تغییر تاخیر برای این بازیکن برابر می‌باشد. در نتیجه تابع تعریف‌شده در حقیقت یک تابع پتانسیل می‌باشد.
بازی‌های ازدحامی پیوسته
بازی‌های ازدحامی پیوسته حالت حدی این نوع بازی‌ها به‌طوری‌که هستند. در این حالت، بازیکنان را بی‌نهایت کوچک در نظر می‌گیریم. همچنان را مجموعه متناهی از عناصر ازدحام‌پذیر تعریف می‌کنیم. درعوض به‌جای مشخص کردن بازیکن در حالت گسسته، نوع بازیکن داریم به صورتی که هر نوع بازیکن به که نشان‌دهنده نرخ ترافیک برای آن نوع است، مرتبط است. هر نوع بازیکن یک استراتژی از مجموعه که مجزا در نظر گرفته می‌شوند،را انتخاب می‌کند. همانند قبل، فرض کنید که یکنوا و مثبت می‌باشد اما فرض پیوسته بودن را هم به آن‌ها اضافه می‌کنیم. درنهایت، به بازیکنان از یک نوع اجازه می‌دهیم به‌طور نسبی بین مجموعه استراتژی‌شان توزیع شوند. بدین صورت که به ازای استراتژی مقدار برابر با کسری از بازیکنان نوع که از استراتژی استفاده می‌کنند، می‌باشد. فرض کنید داریم: .
وجود تعادل در حالت پیوسته
توجه کنید در این حالت استراتژی‌ها مجموعه استراتژی پروفایل‌های می‌باشند. برای یک مجموعه استراتژی با اندازه ، مجموعه تمام پروفایل‌های معتبر زیرمجموعه فشرده‌ای از می‌باشد. همانند قبل، تابع پتانسیل را به صورت با جایگزینی انتگرال گسسته با نوع استاندارد آن، تعریف می‌کنیم.
به عنوان تابع استراتژی، به دلیل پیوسته بودن و ، نیز پیوسته است. در نتیجه با توجه به قضیه ارزش فوق‌العاده، مقدار کمینه سراسری خود را می‌گیرد.
آخرین گام این است که نشان دهیم، کوچکترین مقدار همان تعادل نش می‌باشد. فرض کنید برخلاف این، یک مجموعه موجود است به صورتی که مقدار را کمینه می‌کند اما تعادل نش نیست. سپس برای یک نوع می‌توان برای انتخاب کنونی بهبود داد. به عبارت دیگر داریم: . حال مقدار کوجک را از بازیکنانی که استراتژی را دارند، می‌گیریم و آن‌ها را به استراتژی تغییر می‌دهیم. حال، برای هر ، بار آن را با اندازه افزایش داده‌ایم. در نتیجه مقدار آن در ، در این حالت برابر می‌باشد. با مشتق گرفتن از از این انتگرال، تغییرات تقریبا برابر با با خطای خواهد بود. همین تحلیل تغییرات برای زمانی که به یال‌های داخل نگاه کنیم صادق خواهد بود.
بنابراین، تغییرات در پتانسیل تقریبا برابر با که مقداری منفی است، می‌باشد. این تناقض بوده و نتیجه می‌گیریم کمینه نشده‌است. درنتیجه، کمینه باید یک تعادل نش باشد.
کیفیت راه حل‌ها و هزینه هرج و مرج
به دلیل وجود تعادل نش در بازی‌های ادغامی پیوسته، طبعا موضوع بعدی تجزیه و تحلیل کیفیت این تعادل‌ها می‌باشد. میزان کیفیت تعادل‌ها را به صورت نسبت مجموع تاخیر در تعادل نش و حالت بهینه که به هزینه هرج و مرج معروف است، استخراج می‌کنیم. در ابتدا، با یک شرط بر روی توابع تاخیر کار را آغاز می‌کنیم:
تعریف تاخیر ملایم است در صورتی که به ازای هر داریم:
حال اگر تاخیر ملایم بود، یک تعادل نش می‌باشد و یک اختصاص بهینه منابع است و سپس داریم: . به عبارت دیگر، هزینه هرج و مرج برابر با می‌باشد. برای اثبات این مطلب می‌توانید به مراجعه کنید.
بازی پتانسیل