Hasadsiz mos kelish - Envy-free matching

Yilda iqtisodiyot va ijtimoiy tanlov nazariyasi, an hasadsiz taalukli (EFM) odamlar o'rtasidagi "narsalar" bilan mos kelishdir, ya'ni hasadsiz bu ma'noda, hech kim o'z "narsasini" boshqa odam bilan almashtirishni xohlamaydi. Ushbu atama bir nechta turli xil sharoitlarda ishlatilgan.

Bozorlarda pul bilan

Bir nechta xaridorlar va bir nechta tovarlar bo'lgan bozorni ko'rib chiqing va har bir tovarning narxi bo'lishi mumkin. Narx-vektorni hisobga olgan holda, har bir xaridorda talab qo'yildi - xaridorning barcha to'plamlar uchun foydasini maksimal darajada oshiradigan to'plamlar to'plami (agar xaridor barcha to'plamlarni juda qimmat deb hisoblasa, ushbu to'plam bo'sh to'plamni o'z ichiga olishi mumkin).

An hasadsiz mos kelish (narx-vektor berilgan) - bu har bir agent o'z talabiga binoan to'plamni oladigan mos keladigan narsa. Bu shuni anglatadiki, biron bir agent boshqa agentning paketini bir xil narxlarda olishni istamaydi.[1] Ushbu sozlamaning misoli ijara uyg'unligi muammo - har bir xonaga narx belgilashda ijarachilarni (agentlarni) xonalarga (narsalarga) moslashtirish.

An hasadsiz narx bu hasadsiz mos keladigan narx-vektor. Bu a-ning bo'shashishi Valrasiya muvozanati: a Valrasiya muvozanati EF narxi va EF mos kelishidan iborat bo'lib, qo'shimcha ravishda har bir buyum mos kelishi yoki nolga teng bo'lishi kerak. Ma'lumki, valrasiya muvozanatida moslik qiymatlar yig'indisini maksimal darajaga ko'taradi, ya'ni bu maksimal vaznga mos kelish. Biroq, sotuvchining daromadi past bo'lishi mumkin. Bu EF narxlanishini yumshatishga undaydi, bunda sotuvchi daromadni oshirish uchun zaxira narxlaridan foydalanishi mumkin.[2][3][4][5][6][7]

Pulsiz bozorlarda

Kasalxonalarda yashash uchun shifokorlarni moslashtirish muammosini ko'rib chiqing. Har bir shifokorda afzallik munosabati shifoxonalarda (kasalxonalarni eng yaxshisidan eng yomoniga qarab saralash) va har bir shifoxonada shifokorlarga nisbatan afzallik bor (eng yaxshi va yomon darajadagi shifokorlarning reytingi). Har bir shifokor ko'pi bilan bitta kasalxonada ishlashi mumkin va har bir shifoxonada ko'pi bilan belgilangan miqdordagi shifokorlar bo'lishi mumkin (shunday deb nomlanadi imkoniyatlar kasalxonada). Biz shifokorlarni shifoxonalarga moslashtirmoqchimiz. Pul o'tkazmalariga yo'l qo'yilmaydi. Bunday mos kelish "yomon" bo'lishi mumkin bo'lgan ikkita usul mavjud:

  1. Mos keladigan narsa bor haqli hasad agar shifokor bo'lsa d va kasalxona h, shu kabi d afzal ko'radi h uning hozirgi ish beruvchisi ustidan va h afzal ko'radi d uning hozirgi xodimlaridan biri ustidan.
  2. Mos keladigan narsa bor chiqindilar agar shifokor bo'lsa d va kasalxona h, d hozirgi ish beruvchiga nisbatan h ni afzal ko'rsa, h ba'zi bo'sh lavozimlarga ega va h afzal ko'radi d bo'sh lavozim ustidan.

An hasadsiz mos kelish hech qanday asosli hasadsiz mos keladi. Bu bo'shashish barqaror moslik: a barqaror moslik bu ham hasad qilmaydigan, ham chiqindilarsiz mos keladigan moslama.

Panjara tuzilishi

Bir-biriga mos keladigan muammolarda barqaror mosliklar mavjud va ularni topish mumkin Geyl-Shapli algoritmi. Shuning uchun, EF mosliklari ham mavjud. Umuman olganda turli xil EF o'yinlari bo'lishi mumkin. Barcha EF o'yinlarining to'plami a panjara. Barqaror uyg'unliklar to'plami (ular EF o'yinlarining quyi qismi) a sobit nuqta a Tarskiy operatori o'sha panjara ustida.[8]

Ham yuqori, ham pastki kvotalar

Ko'pincha kasalxonalarda nafaqat yuqori kvotalar (imkoniyatlar) mavjud, balki ular ham mavjud pastki kvotalar - har bir shifoxonaga kamida minimal miqdordagi shifokorlar tayinlanishi kerak.[9] Bunday muammolarda barqaror mosliklar mavjud bo'lmasligi mumkin (garchi barqaror moslik mavjudligini tekshirish oson bo'lsa ham, chunki qishloq kasalxonalari teoremasi, barcha barqaror o'yinlarda har bir kasalxonaga tayinlangan shifokorlar soni bir xil). Bunday hollarda EF-ga mos kelishini tekshirish tabiiydir. Zarur shart - barcha quyi kvotalar yig'indisi ko'pi bilan shifokorlar sonidir (aks holda, umuman mos keladigan mos kelmaydi). Bunday holda, agar barcha shifoxona-shifoxonalar juftlari maqbul bo'lsa (har bir shifokor har qanday kasalxonani ishsizlikdan afzal ko'radi va har qanday shifoxona har qanday shifokorni bo'sh lavozimga afzal ko'radi), demak, EFga mos kelish har doim mavjud bo'ladi.[9]

Agar barcha juftliklar qabul qilinmasa, u holda EF mos kelmasligi mumkin. EFM mavjudligini quyidagi yo'l bilan hal qilish mumkin. Masalaning yangi nusxasini yarating, unda yuqori kvotalar asl muammoning quyi kvotalari, pastki kvotalar esa 0 ga teng. Yangi masalada har doim barqaror moslik mavjud va ularni samarali topish mumkin. Asl muammo EF-ga mos keladi, agar-va-agar, yangi muammoning barqaror mos kelishida har bir shifoxona to'la.[10]

EF maksimal darajada mos kelishini topish uchun algoritmni takomillashtirish mumkin.[11]

Hasadni kamaytirish

Yuqorida ta'riflanganidek, hasadsiz uyg'unlik faqat yo'q qiladi haqli hasad, qaerda shifokor d kasalxonaga yotqizilgan boshqa shifokorga hasad qiladi h afzal ko'rgan d. Biroq, hatto EFMda ham shifokor bo'lishi mumkin d va kasalxona h shu kabi d afzal ko'radi h uning hozirgi ish beruvchisi ustidan, lekin h afzal ko'rmaydi d uning hozirgi har qanday xodimiga nisbatan. Buni "asossiz hasad" deb atash mumkin. Hech qanday hasadsiz mos keladigan narsa har bir shifokorni birinchi tanloviga mos keladigan kamdan-kam hollarda bo'ladi. Agar bunday "umuman hasadsiz uyg'unlik" mavjud bo'lmasa, "hasad miqdori" ni minimallashtiradigan mos keladigan narsalarni topish hali ham oqilona. Hasad miqdorini o'lchashning bir necha yo'li mavjud, masalan: barcha shifokorlarga nisbatan hasad holatlarining umumiy miqdori yoki bitta shifokorga to'g'ri keladigan hasadlarning maksimal miqdori.[12]

Ikki tomonlama grafikalarda

Og'irlikda ikki tomonlama grafik G = (X+Y, E), an hasadsiz mos kelish a taalukli unda tengsiz vertex yo'q X ga to'g'ri keladigan vertexga qo'shni Y.[13] Ning tepalari deylik X odamlarni, tepaliklarni ifodalaydi Y uylarni va odam orasidagi chekkani anglatadi x va uy y haqiqatni anglatadi x yashashga tayyor y. Shunday qilib, EFM bu uylarni odamlarga qisman ajratishdir, shunda har bir uysiz odam hech kimga uyi bor odamga hasad qilmasligi kerak, chunki u baribir ajratilgan uyni yoqtirmaydi.

To'yingan har bir mos keladigan narsa X hasaddan xoli, va har bir bo'sh mos keladigan narsa hasaddan xoli.

Bundan tashqari, agar |NG(X) | ≥ | X | ≥ 1 (qayerda NG(X) qo'shnilarining to'plamidir X yilda Y), keyin G bo'sh bo'lmagan EFMni tan oladi.

Bu bo'shashish Xollning nikoh sharti, agar shunday bo'lsa |NG(X') | ≥ | X '| uchun har bir kichik X"ning X, keyin X- to'yingan moslik mavjud.

Kekni kesishda

Atama hasadsiz mos kelish boshqa kontekstda ham ishlatilgan: samaradorligini oshirish algoritmi hasadsiz tortni kesish.[14]

Shuningdek qarang

Adabiyotlar

  1. ^ Aley, Said; Jayn, Kamol; Malekian, Azarakhsh (2010 yil 24-iyun). "O'tkazilmaydigan kommunal xizmatlar bilan ikki tomonlama mos keladigan bozorlarda raqobatdosh muvozanat". arXiv:1006.4696 [cs.GT ].
  2. ^ Gurusvami, Venkatesan; Xartlin, Jeyson D. Karlin, Anna R.; Kempe, Devid; Kenyon, Kler; McSherry, Frank (2005). Daromadni ko'paytirish uchun hasadsiz narxlash to'g'risida. Diskret algoritmlar bo'yicha o'n oltinchi yillik ACM-SIAM simpoziumi materiallari. SODA '05. Filadelfiya, Pensilvaniya, AQSh: Sanoat va amaliy matematika jamiyati. 1164–1173-betlar. ISBN  9780898715859.
  3. ^ Briest, Patrik (2008). "Yagona byudjetlar va hasadsiz narxlanish muammosi". Asetoda, Luka; Damgard, Ivan; Goldberg, Lesli Ann; Xoldorsson, Magnus M.; Ingolfsdóttir, Anna; Walukievich, Igor (tahr.). Avtomatika, tillar va dasturlash. Kompyuter fanidan ma'ruza matnlari. 5125. Springer Berlin Heidelberg. 808-819 betlar. CiteSeerX  10.1.1.205.433. doi:10.1007/978-3-540-70575-8_66. ISBN  9783540705758. Yo'qolgan yoki bo'sh sarlavha = (Yordam bering)
  4. ^ Chen, Ning; Ghosh, Arpita; Vassilvitskii, Sergey (2011). "SIAM (sanoat va amaliy matematikalar jamiyati)". Hisoblash bo'yicha SIAM jurnali. 40 (3): 623–645. CiteSeerX  10.1.1.193.6235. doi:10.1137/080740970.
  5. ^ Vang, Yajun; Lu, Pinyan; Im, Sungjin (2010 yil 13-dekabr). Ta'minotning umumiy cheklovlari bilan hasadsiz narxlanish. Internet va tarmoq iqtisodiyoti. Kompyuter fanidan ma'ruza matnlari. 6484. Springer, Berlin, Geydelberg. pp.483–491. doi:10.1007/978-3-642-17572-5_41. ISBN  978-3-642-17571-8.
  6. ^ Feldman, Mixal; Fiat, Amos; Leonardi, Stefano; Sankovski, Pyotr (2012). Daromadni byudjet bilan hasadsiz ko'p birlikli kim oshdi savdosiga etkazish. Elektron tijorat bo'yicha 13-ACM konferentsiyasi materiallari. EC '12. Nyu-York, NY, AQSh: ACM. 532-549 betlar. doi:10.1145/2229012.2229052. ISBN  9781450314152. S2CID  15639601.
  7. ^ Chen, Ning; Deng, Xiaotie (2014 yil 1-fevral). "Ko'p mahsulot bozorida hasadsiz narxlanish". Algoritmlar bo'yicha ACM operatsiyalari. 10 (2): 7:1–7:15. CiteSeerX  10.1.1.297.784. doi:10.1145/2567923. ISSN  1549-6325. S2CID  15309106.
  8. ^ Vu, Tsinyun; Roth, Alvin E. (2018 yil 1-may). "Hasadsiz uyg'unliklarning panjarasi". O'yinlar va iqtisodiy xatti-harakatlar. 109: 201–211. doi:10.1016 / j.geb.2017.12.016. ISSN  0899-8256.
  9. ^ a b Fragiadakis, Doniyor; Ivasaki, Atsushi; Troyan, Piter; Ueda, Suguru; Yokoo, Makoto (2016 yil 1-yanvar). "Minimal kvotalar bilan strategik moslashuv". Iqtisodiyot va hisoblash bo'yicha ACM operatsiyalari. 4 (1): 6:1–6:40. doi:10.1145/2841226. ISSN  2167-8375. S2CID  1287011.
  10. ^ Yokoi, Yu (2017 yil 17-aprel). "Quyi kvotalar bilan hasadsiz o'yinlar". arXiv:1704.04888 [cs.GT ].
  11. ^ "Ommabop o'yinlar qanchalik yaxshi?" (PDF). www.cse.iitm.ac.in saytida. Arxivlandi asl nusxasi (PDF) 2019 yil 17-yanvarda. Olingan 16 yanvar 2019.
  12. ^ Tadenuma, Koichi (2011), "Hamkorlik, hamjihatlik va mos keladigan muammolarda minimal hasad", Flerbaida, Mark; Salles, Moris; Veymark, Jon A. (tahr.), Ijtimoiy etika va normativ iqtisodiyot, Tanlov va farovonlikni o'rganish, Springer Berlin Heidelberg, 155–167 betlar, doi:10.1007/978-3-642-17807-8_6, ISBN  9783642178078
  13. ^ Segal-Halevi, Erel; Aigner-Xorev, Elad (2019 yil 28-yanvar). "Ikki tomonlama grafikalardagi hasadsiz o'yinlar va ularning adolatli bo'linishga tatbiq etilishi". arXiv:1901.09527 [cs.DS ].
  14. ^ Sen, Sandip; Nuchia, Stiven V. (2001 yil 1-avgust). Agentlarning hasadsiz bo'linmalarining maqbulligini oshirish. Aqlli agentlar VIII. Kompyuter fanidan ma'ruza matnlari. 2333. Springer, Berlin, Geydelberg. pp.277–289. doi:10.1007/3-540-45448-9_20. ISBN  978-3-540-43858-8.