use*_*648 0 algorithm proof pattern-matching stable-marriage
我目前正在阅读算法的书,并遇到了稳定的匹配问题.一个问题浮现在脑海里,我很好奇,但这本书没有回答.在每个SMP中,总是可以有一对,每个最喜欢另一个？就像在经典的婚姻例子中一样.是否总有一对有一个女人和一个男人在哪里都排在彼此的首选？
一个反例:
M1 prefers W1.
M2 prefers W2.
W1 prefers M2.
W2 prefers M1.
没有可能的配对,其中两个成员都获得最高的偏好.