[论文解读] A stochastic matching model on hypergraphs

Youssef Rahmé, Pascal Moyal|arXiv (Cornell University)|Jul 30, 2019

Data Management and Algorithms参考文献 24被引用 11

一句话总结

该论文提出一种在超图上的随机匹配模型，以将成对匹配系统推广至肾脏交换和按订单组装系统等应用中的群体匹配。研究建立了系统稳定性的条件，证明尽管许多超图结构会导致稳定区域为空，但完全或近乎完全的均匀超图可实现非空稳定区域，并通过多维李雅普诺夫技术提供了精确或下界刻画。

ABSTRACT

Motivated by applications to a wide range of assemble-to-order systems, operations scheduling, healthcare systems and collaborative economy applications, we introduce a stochastic matching model on hypergraphs, extending the model in [15] to the case of hypergraphical (rather than graphical) matching structures. We address a discrete-event system under a random input of single items, simply using the system as an interface to be matched by groups of two or more. We study the stability of this stochastic system, for various hypergraph geometries.

研究动机与目标

• 将随机匹配模型从图推广至超图，以建模现实世界系统中的基于群体的兼容性。
• 分析此类系统的稳定性，定义为底层马尔可夫链的正 recurrence。
• 识别稳定区域非空的条件，特别是针对结构化的超图几何形态。
• 为特定超图类别提供稳定区域的精确或下界刻画。
• 为基于超图的匹配系统中的性能评估与策略比较奠定基础。

提出的方法

• 将物品到达建模为独立同分布过程，其类别分布在超图节点上。
• 通过超图表示兼容性，其中超边定义了大小至少为2的有效群体匹配。
• 定义匹配策略以在存在多个匹配选项时进行选择。
• 使用连续时间马尔可夫链将系统状态建模为每类的队列长度向量。
• 应用多维李雅普诺夫函数技术，以建立正 recurrence 和系统稳定性。
• 分析结构性质，如横截集、秩、反秩及环的存在性，以推导稳定性条件。

实验结果

研究问题

• RQ1 在何种超图几何结构下，超图上的随机匹配模型是稳定的（即底层马尔可夫链为正 recurrence）？
• RQ2 稳定区域如何依赖于超边大小、横截集大小和连通性等结构性特征？
• RQ3 能否为特定类别的超图（如完全或近乎完全的均匀超图）刻画非空稳定区域？
• RQ4 在存在群体匹配而非成对交互的系统中，哪些技术对证明稳定性有效？
• RQ5 与经典的图上成对随机匹配模型相比，本研究结果有何异同？

主要发现

• 对于许多超图结构，稳定区域可能为空，表明群体匹配系统通常比成对系统更难稳定。
• 对于完全的3-均匀超图，稳定区域非空且可明确刻画。
• 对于完全的3-均匀超图减去一个节点划分，导出了稳定区域的下界。
• 在所有考虑的超图配置中（包括完全和近乎完全的3-均匀超图），均匀测度 µu 被证明位于稳定区域内。
• 证明依赖于对横截集大小的有界性，并通过最小横截集的归纳构造，建立 µu(T') > 1/3，从而确保其属于稳定集 S1(H')。
• 研究结果表明，稳定性对超图几何结构高度敏感，包括秩、反秩以及环的存在性。