Kararlı Evlilik Probleminin bir örneği için en fazla istikrarlı evlilik sayısı nedir?


24

Kararlı Evlilik Sorunu: http://en.wikipedia.org/wiki/Stable_marriage_problem

Bir SMP örneği için, Gale-Shapley algoritmasının geri döndürdüğünden başka birçok istikrarlı evlilik yapılabileceğini biliyorum. Ancak, eğer sadece , erkek / kadın sayısı verilirse , şu soruyu sorarız - Maksimum istikrarlı evlilik sayısını veren bir tercih listesi yapabilir miyiz? Böyle bir sayıya üst sınır nedir?n

Yanıtlar:


24

erkek ve kadını olan bir örnek için , önemsiz üst sınırve daha iyi hiçbir şey bilinmez. Daha düşük bir sınır için, Knuth (1976) sabit eşleşmelerle sınırsız sayıda örnek verir ve Thurber (2002) bu aileyi .nnn!Ω(2.28n)n


4
Aslında, bu örneklerin ailesinin (ikisinin güçleri için) Irving ve Ω(2.28n)
Leather’dan kaynaklandığına ve Knuth’un

1
RW Irving ve P. Leather. Kararlı evliliklerin sayılmasının karmaşıklığı. SIAM Bilişim Dergisi, 15: 655-667,1986
gstat

18

Kararlı Bir Evlilik örneği için en fazla kararlı eşleşme sayısına ilişkin bir üst sınır, yüksek lisans tezimde verildi ve bu da Kararlı Oda Arkadaşı sorununa da genişletildi. Sınır büyüklüğünde ve gerçekte büyüklüğünde olduğu gösterilmelidir .O(n!/2n)O((n!)23)

Belge, http://mpla.math.uoa.gr/msc/ sayfasındaki 97 numaralı tezdir.



4

İyi bir örneği olduğu bilinmektedir erkek / kadın bir üstel numarası (olabilir sabit eşleşmeleri), ve üst tarafta bağlanan bir sıkı veren hala açıktır. Bkz. Algoritma Ansiklopedisi http://www.amazon.com/dp/0387307702O ( 2 n )nO(2n)


2
xn=3xn/222xn/44

1

Bu konuyla ilgili ilginç sonuçlar kitabın 24. ve 25. sayfalarında bulunabilir: Dan Gusfield ve Robert Irving'in Kararlı Evlilik Sorunu, MIT Press, 1989.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.