强稳定、弱稳定和超稳定匹配有什么区别?

What is the difference between strongly stable, weakly stable and super stable matching?

我在阅读稳定婚姻问题(SMP,https://en.wikipedia.org/wiki/Stable_marriage_problem)时无动于衷,我遇到了强稳定、弱稳定和超稳定匹配等术语。它们有什么区别?

在我看来,这是三种稳定的匹配状态,对匹配偏好列表有不同程度的要求。

其中超级稳定最严格,其次是强稳定,弱稳定最后限制最少。

假设有一对流氓情侣(m,w)在一次匹配中没有匹配到对方,他们会在以下情况下破坏匹配的属性:

  • 如果 m strictly 更喜欢 (>) w 而不是他现在的搭档并且 w strictly 更喜欢 m 而不是她现在的搭档,匹配是甚至 弱稳定匹配 .
  • 如果 m 严格地 更喜欢 (>) w 而不是他现在的伴侣,并且 w 认为 m 不比 (>=) 她现在的伴侣差合作伙伴,匹配不能是强稳定匹配
  • 如果 m 认为 w 不比 (>=) 他现在的伴侣差,并且 w 严格地 更喜欢 (>) m 而不是她现在的伴侣合作伙伴,匹配也不能是强稳定匹配
  • 如果 m 认为 w 不比 (>=) 他现在的伴侣差并且 w 认为 m 不比 (>=)她现在的对象,配对将不再是超级稳定的配对