一个广义的婚姻定理

我们考虑简单图上的集值映射，并探讨是否存在相异选择。相异一词在文中定义，我们给出了相异选择存在的充要条件。该方法推广了 Hall 的经典婚姻定理。我们定义了集值映射的相异核，并给出了相异核与相异选择的计算方法。我们将主要定理应用于 Ryser 关于部分预填充拉丁方补全的一个结果，并由此导出 Hall 的婚姻定理。