本論文では、優先度中立的マッチングの数学的構造について分析している。
まず、優先度中立的マッチングの集合は格子構造を持つことが知られているが、この格子構造は分配的ではないことを示している。つまり、安定マッチングの格子構造とは異なり、優先度中立的マッチングの格子では、2つのマッチングの最大下限がコーディネート単位の最小値とは限らない。
さらに、優先度中立的マッチングの格子は、部分順序集合上の回転の表現では表現できないことを示している。これは、安定マッチングの格子構造の重要な性質が優先度中立的マッチングには成り立たないことを意味する。
一方で、著者らは、すべての格子が優先度中立的マッチングの格子として表現できるわけではないことも示している。具体的には、ある特定の格子は優先度中立的マッチングの格子として表現できないことを証明している。
これらの結果から、優先度中立的マッチングの格子構造は安定マッチングの格子構造とは大きく異なり、その正確な性質は微妙であることが明らかになった。今後の研究では、優先度中立的マッチングの格子構造のさらなる特性解明が期待される。
Till ett annat språk
från källinnehåll
arxiv.org
Djupare frågor