Mertens-barqaror muvozanat - Mertens-stable equilibrium

Mertens barqarorligi a echim tushunchasi kooperativ bo'lmagan o'yin natijasini taxmin qilish uchun ishlatiladi. Barqarorlikning taxminiy ta'rifi Elon Kohlberg tomonidan taklif qilingan va Jan-Fransua Mertens^[1] cheklangan sonli o'yinchilar va strategiyalar bilan o'yinlar uchun. Keyinchalik, Mertens^[2] Shrixari Govindan va Mertens tomonidan ishlab chiqilgan yanada kuchli ta'rifni taklif qildi.^[3] Ushbu echim kontseptsiyasi endi Mertens barqarorligi yoki shunchaki barqarorlik deb nomlanadi.

Ning boshqa yaxshilanishlari singari Nash muvozanati^[4]ichida ishlatilgan o'yin nazariyasi barqarorlik Nash muvozanatlari to'plamining kerakli xususiyatlarga ega bo'linmalarini tanlaydi. Barqarorlik boshqa aniqliklarga qaraganda kuchli mezonlarni talab qiladi va shu bilan ko'proq kerakli xususiyatlarning qondirilishini ta'minlaydi.

Aniqlashning kerakli xususiyatlari

Tozalashlar ko'pincha qabul qilinishi mumkinligi, orqaga qarab induksiya va oldinga siljish uchun dalillardan kelib chiqqan. Ikki o'yinchi o'yinida qabul qilinadigan qaror qoidasi chunki o'yinchi boshqasining kuchi ustun bo'lgan har qanday strategiyani ishlatmaydigan (qarang) Strategik ustunlik ). Orqaga induksiya har qanday holatda ham o'yinchining maqbul harakatlari uning va boshqalarning keyingi harakatlari maqbul bo'lishini taxmin qiladi. Nozik chaqirildi subgame mukammal muvozanat orqaga qarab indüksiyonun zaif versiyasini amalga oshiradi va tobora kuchayib borayotgan versiyalari ketma-ket muvozanat, mukammal muvozanat, deyarli mukammal muvozanat va to'g'ri muvozanat. Oldinga indüksiyon har qanday hodisada o'yinchining maqbul harakatlari uning kuzatuvlariga mos keladigan har doim boshqalarning o'tmishdagi harakatlarining maqbulligini taxmin qiladi. Oldinga indüksiyon^[5] o'yinchining ma'lumot to'plamiga bo'lgan ishonchi faqat boshqalarning ushbu ma'lumotlarga erishishga imkon beradigan maqbul strategiyalariga bo'lgan ehtimolini belgilaydigan ketma-ket muvozanat bilan qondiriladi.

Kohlberg va Mertens echim kontseptsiyasi ularni qondirishi kerakligini ta'kidladilar invariantlik bu strategik vaziyatning ko'plab ekvivalent namoyishlari orasida qaysi biriga bog'liqligiga bog'liq emasligi printsipi keng ko'lamli o'yin ishlatilgan. Shunday qilib, bu faqat kamaytirilganga bog'liq bo'lishi kerak normal shakldagi o'yin ortiqcha bo'lgan sof strategiyalar yo'q qilingandan so'ng olinadi, chunki ularning barcha o'yinchilar uchun to'lovlari boshqa sof strategiyalar aralashmasi bilan takrorlanishi mumkin. Mertens^[6][7] ning ahamiyatini ta'kidladi kichik olamlar echim kontseptsiyasi faqat o'yinchilarning afzalliklarining tartib xususiyatlariga bog'liq bo'lishi kerakligi va o'yinda tashqi o'yinchilarning harakatlari asl o'yinchilarning mumkin bo'lgan strategiyalari va to'lovlariga hech qanday ta'sir ko'rsatmaydigan o'yinchilar mavjudligiga bog'liq emasligi printsipi.

Kohlberg va Mertens misollar orqali ushbu xususiyatlarning hammasini bitta Nash muvozanatini tanlaydigan eritma tushunchasidan olish mumkin emasligini isbotladilar. Shuning uchun ular echim kontseptsiyasi Nash muvozanati to'plamining yopiq bog'langan pastki qismlarini tanlashni taklif qilishdi.^[8]

Barqaror to'plamlarning xususiyatlari

• Qabul qilinadigan va mukammallik: Barqaror to'plamdagi har bir muvozanat mukammal va shuning uchun qabul qilinadi.
• Orqaga induksiya va oldinga induksiya: Barqaror to'plam bir xil normal shaklga ega bo'lgan mukammal eslash bilan har qanday keng formadagi o'yinlarda kvazal-mukammallikni va shu sababli ketma-ket muvozanatni keltirib chiqaradigan normal o'yin shakli muvozanatini o'z ichiga oladi. Barqaror to'plamning quyi to'plami to'plamdagi har qanday muvozanatda past javob beradigan kuchsiz hukmronlik qilingan strategiya va strategiyalarni iterativ ravishda yo'q qilishda saqlanib qoladi.
• Invariance va Small Worlds: O'yinning barqaror to'plamlari - bu asl o'yinchilarning mumkin bo'lgan strategiyalari va to'lovlarini saqlab qolgan holda joylashtirilgan har qanday kattaroq o'yinlarning barqaror to'plamlarining proektsiyalari.^[9]
• Parchalanish va pleyerni ajratish. Ikki mustaqil o'yin mahsulotining barqaror to'plamlari ularning barqaror to'plamlari mahsulotidir. O'yinchini agentlarga ajratish barqaror to'plamlarga ta'sir qilmaydi, chunki o'yin daraxti bo'ylab hech qanday yo'l ikkita agentning harakatlarini o'z ichiga olmaydi.

Ikkala o'yinchi uchun mukammal eslash va umumiy to'lovlar bilan barqarorlik ushbu xususiyatlarning atigi uchtasiga teng: barqaror to'plam faqat hukmron bo'lmagan strategiyalardan foydalanadi, deyarli mukammal muvozanatni o'z ichiga oladi va kattaroq o'yinga qo'shilishdan himoyalanadi.^[10]

Barqaror to'plamning ta'rifi

Barqaror to'plam matematik ravishda o'yinchilarning strategiyalarini aralash aralash strategiyalarni buzish natijasida olingan buzilgan o'yinlar maydonidagi Nash muvozanati grafigidagi yopiq bog'langan mahalladan proektsion xaritaning zarurligi bilan belgilanadi. Ushbu ta'rif yaqin atrofdagi muvozanatga ega bo'lgan har bir yaqin o'yinlardan ko'proq narsani talab qiladi. Asosiyat shundan iboratki, proektsiyaning deformatsiyaning chegaraga to'g'ri kelmasligini talab qiladi, bu esa Nash muvozanatini belgilaydigan sobit nuqta muammosining tashvishlari yaqin echimlarga ega bo'lishini ta'minlaydi. Ehtimol, bu yuqorida sanab o'tilgan barcha kerakli xususiyatlarni olish uchun zarurdir.

Mertens gomologiya uchun ishlatiladigan koeffitsient moduliga qarab bir nechta rasmiy ta'riflarni taqdim etdi kohomologiya.

Rasmiy ta'rif ba'zi bir yozuvlarni talab qiladi. Berilgan o'yin uchun ${ displaystyle G}$ ruxsat bering ${ displaystyle Sigma}$ aralash strategiyalar o'yinchilarining soddaligi mahsuloti bo'lishi. Har biriga ${ displaystyle 0 < delta leq 1}$, ruxsat bering ${ displaystyle P _ { delta} = {, epsilon tau mid 0 leq epsilon leq delta, tau in Sigma , }}$ va ruxsat bering ${ displaystyle qisman P _ { delta}}$ uning bo'lishi topologik chegara. Uchun $P_ {1}} dagi { displaystyle eta$ ruxsat bering ${ displaystyle { bar { eta}}}$ har qanday sof strategiyaning minimal ehtimoli bo'lishi. Har qanday kishi uchun $P_ {1}} dagi { displaystyle eta$ buzilgan o'yinni aniqlang ${ displaystyle G ( eta)}$ har bir o'yinchining strategiyasi to'plami bo'lgan o'yin sifatida ${ displaystyle n}$ bilan bir xil ${ displaystyle G}$, lekin strategiya profilidan to'lov qayerda ${ displaystyle tau}$ bu to'lov ${ displaystyle G}$ profildan ${ displaystyle sigma = (1 - { bar { eta}}) tau + eta}$. Buni ayting ${ displaystyle sigma}$ ning buzilgan muvozanati ${ displaystyle G ( eta)}$ agar ${ displaystyle tau}$ ning muvozanatidir ${ displaystyle G ( eta)}$. Ruxsat bering ${ displaystyle { mathcal {E}}}$ buzilgan muvozanat yozishmalarining grafigi bo'ling ${ displaystyle P_ {1}}$, ya'ni grafik ${ displaystyle { mathcal {E}}}$ bu juftlarning to'plamidir ${ displaystyle ( eta, sigma) P_ {1} times Sigma} da$ shu kabi ${ displaystyle sigma}$ ning buzilgan muvozanati ${ displaystyle G ( eta)}$. Uchun ${ displaystyle ( eta, sigma) in { mathcal {E}}}$, ${ displaystyle tau ( eta, sigma) equiv ( sigma - eta) / (1 - { bar { eta}})}$ ning mos keladigan muvozanati ${ displaystyle G ( eta)}$. Belgilash ${ displaystyle p}$ dan tabiiy proyeksiya xaritasi ${ displaystyle { mathcal {E}}}$ ga ${ displaystyle P_ {1}}$. Uchun ${ displaystyle E subseteq { mathcal {E}}}$, ruxsat bering ${ displaystyle E_ {0} = {, (0, sigma) in E , }}$va uchun ${ displaystyle 0 < delta leq 1}$ ruxsat bering ${ displaystyle (E _ { delta}, qismli E _ { delta}) = p ^ {- 1} (P _ { delta}, qisman P _ { delta}) cap E}$. Nihoyat, ${ displaystyle { check {H}}}$ ga tegishli Texnik kohomologiya butun son koeffitsientlari bilan.

Quyida Mertens ta'riflarining eng ko'p qamrab olingan * -stabillik deb nomlangan versiyasi keltirilgan.

* -Stable to'plamining ta'rifi: ${ displaystyle S subseteq Sigma}$ * ba'zi bir yopiq ichki qism uchun * barqaror to'plamdir ${ displaystyle E}$ ning ${ displaystyle { mathcal {E}}}$ bilan ${ displaystyle E_ {0} = {, 0 , } marta S}$ u quyidagi ikkita xususiyatga ega:

• Ulanish: Har bir mahalla uchun ${ displaystyle V}$ ning ${ displaystyle E_ {0}}$ yilda ${ displaystyle E}$, to'plam ${ displaystyle V setminus qisman E_ {1}}$ bog'liq bo'lgan tarkibiy qismga ega yopilish ning mahallasi ${ displaystyle E_ {0}}$ yilda ${ displaystyle E}$.
• Kogomologik mohiyat: ${ displaystyle p ^ {*}: { {H}} ^ {*} (P _ { delta}, qisman P _ { delta}) to { check {H}} ^ {*} (E_) { delta}, qisman E _ { delta})}$ kimdir uchun nolga teng emas ${ displaystyle delta> 0}$.

Agar kohomologiya yoki homologiyada muhim ahamiyatga ega bo'lsa homotopiya, keyin zaifroq ta'rif olinadi, bu asosan parchalanish xususiyatining kuchsiz shaklida farqlanadi.^[11]

Adabiyotlar