Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem
Brief Announcement: Applying Predicate Detection to the Stable Marriage Problem
复制标题
简短公告：将谓词检测应用于稳定婚姻问题
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
V. Garg
中科院分区：
文献类型：
--
作者：
V. Garg
我们证明了在谓词检测的背景下开发的许多技术适用于稳定婚姻问题。标准Gale-Shapley算法可以作为检测线性谓词的一种特殊情况导出。我们还证明了计算切片技术可以用来表示所有约束稳定匹配的集合。
We show that many techniques developed in the context of predicate detection are applicable to the stable marriage problem. The standard Gale-Shapley algorithm can be derived as a special case of detecting linear predicates. We also show that techniques in computation slicing can be used to represent the set of all constrained stable matchings.