The design of online policies for stochastic matching and revenue management settings is usually bound by the Bayesian prior that the demand process is formed by a fixed-length sequence of queries with unknown types, each drawn independently. This assumption 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. Thus, matching policies are often based on ``fluid'' LPs that only use the expectations of these distributions. This paper explores alternative stochastic models for online matching that allow for nonparametric, higher variance demand distributions. We propose two new models, \Indep and \Correl, that relax the serial independence assumption in different ways by combining a nonparametric distribution for the demand with standard assumptions on the arrival patterns -- adversarial or random-order. In our \Indep model, the demand for each type follows an arbitrary distribution, while being mutually independent across different types. In our \Correl model, the total demand follows an arbitrary distribution, and conditional on the sequence length, the type of each query is drawn independently. In both settings, we show that the fluid LP relaxation based on only expected demands can be an arbitrarily bad benchmark for algorithm design. We develop tighter LP relaxations for the \Indep and \Correl models that leverage the exact distribution of the demand, leading to matching algorithms that achieve constant-factor performance guarantees under adversarial and random-order arrivals. More broadly, our paper provides a data-driven framework for expressing demand uncertainty (i.e., variance and correlations) in online stochastic matching models.
翻译:用于随机匹配和收入管理设置的在线政策的设计通常受巴伊西亚人之前的巴伊西亚人的约束,即需求进程是由固定长度的询问序列组成的,这些查询类型不完全,每个类型都不同。这种序列独立的假设意味着每种类型的需求,即某一类型询问的数量,差异较小,而且大约是Poisson的分布。因此,匹配政策通常以“fluid' LP”为基础,只使用这些分布的预期。本文探讨了用于在线匹配的随机随机随机随机随机模式,允许非参数性、更高的差异需求分布。我们建议了两种新的模式,即\ Indep 和\ Correl,通过不同的方式放松序列独立性假设,将需求的非参数分布与关于抵达模式的标准假设(对抗或随机顺序)结合起来。因此,在我们的“Indeptep ” 模型中,每种类型的需求都遵循任意性分布,同时在不同类型中相互独立。在我们的驱动值模型中,总需求是在任意分配,在序列长度上固定的配置,在匹配的排序中,每类数据的排序中,我们可以独立地显示一个设计标准要求。