The design of online algorithms for matching markets and revenue management settings is usually bound by the assumption that the demand process is formed by a fixed-length sequence of queries with unknown types, each drawn independently. This notion of serial independence implies that the demand of each type, i.e., the number of queries of a given type, has low variance and is approximately Poisson-distributed. This paper proposes a nonparametric framework for modeling arrival sequences in online stochastic matching that departs from the serial independent assumption. We propose two models, INDEP and CORREL, that capture different forms of serial correlations by combining a nonparametric distribution for the demand with standard assumptions on the arrival patterns -- adversarial or random order. The INDEP model can capture arbitrary serial correlations within each customer type but assumes cross-sectional independence across types, whereas the CORREL model captures common shocks across customer types. We demonstrate that fluid relaxations, which rely solely on demand expectations, have arbitrarily bad performance guarantees. In contrast, we develop new algorithms that achieve optimal (constant-factor) performance guarantees in each model. Our mathematical analysis includes tighter linear programming (LP) relaxations that leverage distribution knowledge, and a new lossless randomized LP rounding scheme for INDEP. We test our new LP relaxations and rounding scheme in simulations on real and synthetic data, and find that they consistently outperform well-established matching algorithms, especially on real data sequences that exhibit greater demand variance.
翻译:在线匹配市场与收益管理场景的算法设计通常受限于以下假设:需求过程由未知类型的查询构成固定长度序列,且各查询类型独立抽取。这种序列独立性意味着每种类型的需求(即给定类型的查询数量)具有低方差且近似服从泊松分布。本文提出了一种非参数化框架来建模在线随机匹配中的到达序列,该框架突破了序列独立假设。我们提出了INDEP和CORREL两种模型,通过将需求的非参数分布与到达模式(对抗性或随机顺序)的标准假设相结合,捕捉不同形式的序列相关性。INDEP模型能够捕捉每种客户类型内部的任意序列相关性,但假设类型间存在横截面独立性;而CORREL模型则捕捉跨客户类型的共同冲击。我们证明仅依赖需求期望的流体松弛方法具有任意差的性能保证。相比之下,我们开发的新算法在每个模型中都能达到最优(常数倍)性能保证。我们的数学分析包括:利用分布知识构建更紧致的线性规划(LP)松弛方法,以及针对INDEP模型提出新的无损随机化LP舍入方案。通过在真实与合成数据上的仿真实验,我们测试了新的LP松弛方法与舍入方案,发现其持续优于成熟的匹配算法,在展现更高需求方差的真实数据序列上表现尤为突出。