بازی ازدحامی

بازی‌های ازدحامی دسته‌ای در نظریهٔ بازی‌ها هستند که در سال ۱۹۷۳ توسط رزنتال مطرح شدند. در یک بازی ازدحامی بازیکنان و منابع را تعریف می‌کنیم و سود هر بازیکن به منابعی که انتخاب می‌کند و تعداد بازیکنانی که همان منابع را انتخاب می‌کنند بستگی دارد. بازی‌های ازدحامی حالت خاصی از بازی‌های پتانسیل می‌باشند. رزنتال ثابت کرد که هر بازی ازدحامی یک بازی پتانسیل نیز می‌باشد و بعدها مندرر و شاپلی (۱۹۹۶) عکس آن را اثبات کردند: به ازای هر بازی پتانسیلی، یک بازی ازدحامی با تابع پتانسیل یکسان موجود است.

مقدمه

یک شبکهٔ ترافیکی را در نظر بگیرید که دو بازیکن از نقطهٔ O حرکت خود را آغاز می‌کنند و می‌خواهند به نقطهٔ T برسند. فرض کنید نقطهٔ O با مسیرهای ارتباطی A و B به نقطهٔ T متصل است، به صورتی که مسیر A کمی از مسیر B طول کمتری دارد (به عبارت دیگر مسیر A با احتمال بیشتری توسط هر بازیکن انتخاب می‌شود). اما هردو راه ارتباطی به سادگی شلوغ می‌شود؛ به این معنا که هر چه تعداد بازیکن بیشتری از یک مسیر عبور کنند تأخیر هر بازیکن بیشتر می‌شود. در نتیجه عبور هر دو بازیکن از مسیر یکسان باعث تأخیر اضافی خواهد شد. نتیجهٔ مطلوب در این بازی درصورتی کسب می‌شود که دو بازیکن همکاری کرده و از مسیرهای متفاوتی عبور کنند. آیا می‌توان چنین نتیجه‌ای گرفت؟ و اگر چنین است، هزینهٔ هر بازیکن چه خواهد بود؟

وجود تعادل نش

وجود تعادل نش را می‌توان با ساختن یک تابع پتانسیلی که به هر وضعیت خروجی یک مقدار نسبت می‌دهد اثبات کرد. علاوه بر این، ساختن این تابع نشان می‌دهد یافتن بهترین پاسخ به صورت تکرارشونده به تعادل نش منجر می‌شود. تابع ذکرشده را به صورت  تعریف می‌کنیم. توجه کنید که این تابع همان رفاه اجتماعی  نیست؛ بلکه بیشتر یک نوع انتگرال گسسته محسوب می‌شود. ویژگی اصلی تابع پتانسیلی این است که اگر یک بازیکن استراتژی خود را تفییر دهد، تغییر تأخیر او برابر با تغییر در تابع پتانسیل باشد.
حالتی را در نظر بگیرید که بازیکن  استراتژی خود را از  به  تغییر می‌دهد. عناصری که در هر دو استراتژی هستند بدون تغییر باقی می‌مانند و عناصری که این بازیکن آن‌ها را رها می‌کند (به عبارت دیگر ) تابع پتانسیل را به مقدار  کاهش می‌دهند و همچنین عناصری که این بازیکن به آن‌ها می‌پیوندد (به عبارت دیگر ) تابع پتانسیلی را به اندازهٔ  افزایش می‌دهند. این تغییر در پتانسیل دقیقاً با تغییر تأخیر برای این بازیکن برابر می‌باشد. در نتیجه تابع تعریف‌شده در حقیقت یک تابع پتانسیل می‌باشد.

بازی‌های ازدحامی پیوسته

بازی‌های ازدحامی پیوسته حالت حدی این نوع بازی‌ها به‌طوری‌که  هستند. در این حالت، بازیکنان را بی‌نهایت کوچک در نظر می‌گیریم. همچنان  را مجموعهٔ متناهی از عناصر ازدحام‌پذیر تعریف می‌کنیم. درعوض به‌جای مشخص کردن بازیکن در حالت گسسته،  نوع بازیکن داریم به صورتی که هر نوع بازیکن به  که نشان‌دهندهٔ نرخ ترافیک برای آن نوع است، مرتبط است. هر نوع بازیکن یک استراتژی از مجموعه  که مجزا در نظر گرفته می‌شوند،را انتخاب می‌کند. همانند قبل، فرض کنید که  یکنوا و مثبت می‌باشد اما فرض پیوسته بودن را هم به آن‌ها اضافه می‌کنیم. درنهایت، به بازیکنان از یک نوع اجازه می‌دهیم به‌طور نسبی بین مجموعهٔ استراتژی‌شان توزیع شوند. بدین صورت که به ازای استراتژی  مقدار  برابر با کسری از بازیکنان نوع  که از استراتژی  استفاده می‌کنند، می‌باشد. فرض کنید داریم: .

وجود تعادل در حالت پیوسته

توجه کنید در این حالت استراتژی‌ها مجموعه استراتژی پروفایل‌های  می‌باشند. برای یک مجموعه استراتژی  با اندازهٔ  ، مجموعهٔ تمام پروفایل‌های معتبر زیرمجموعهٔ فشرده‌ای از  می‌باشد. همانند قبل، تابع پتانسیل را به صورت  با جایگزینی انتگرال گسسته با نوع استاندارد آن، تعریف می‌کنیم.
به عنوان تابع استراتژی، به دلیل پیوسته بودن و ، نیز پیوسته است. در نتیجه با توجه به قضیهٔ ارزش فوق‌العاده، مقدار کمینهٔ سراسری خود را می‌گیرد.
آخرین گام این است که نشان دهیم، کوچکترین مقدار  همان تعادل نش می‌باشد. فرض کنید برخلاف این، یک مجموعه  موجود است به صورتی که مقدار را کمینه می‌کند اما تعادل نش نیست. سپس برای یک نوع می‌توان  برای انتخاب کنونی  بهبود داد. به عبارت دیگر داریم: . حال مقدار کوجک  را از بازیکنانی که استراتژی  را دارند، می‌گیریم و آن‌ها را به استراتژی  تغییر می‌دهیم. حال، برای هر ، بار آن را با اندازهٔ افزایش داده‌ایم. در نتیجه مقدار آن در ، در این حالت برابر  می‌باشد. با مشتق گرفتن از از این انتگرال، تغییرات تقریباً برابر با  با خطای  خواهد بود. همین تحلیل تغییرات برای زمانی که به یال‌های داخل  نگاه کنیم صادق خواهد بود.
بنابراین، تغییرات در پتانسیل تقریباً برابر با  که مقداری منفی است، می‌باشد. این تناقض بوده و نتیجه می‌گیریم  کمینه نشده‌است. در نتیجه، کمینهٔ  باید یک تعادل نش باشد.

کیفیت راه حل‌ها و هزینهٔ هرج و مرج

به دلیل وجود تعادل نش در بازی‌های ادغامی پیوسته، طبعاً موضوع بعدی تجزیه و تحلیل کیفیت این تعادل‌ها می‌باشد. میزان کیفیت تعادل‌ها را به صورت نسبت مجموع تأخیر در تعادل نش و حالت بهینه که به هزینهٔ هرج و مرج معروف است، استخراج می‌کنیم. در ابتدا، با یک شرط بر روی توابع تأخیر کار را آغاز می‌کنیم:
تعریف تأخیر ملایم است در صورتی که به ازای هر  داریم: 
حال اگر تأخیر ملایم بود، یک تعادل نش می‌باشد و یک اختصاص بهینه منابع است و سپس داریم: . به عبارت دیگر، هزینهٔ هرج و مرج برابر با می‌باشد. برای اثبات این مطلب می‌توانید به این نوشته مراجعه کنید.