We consider the classical online bipartite matching problem in the probe-commit model. In this problem, when an online vertex arrives, its edges must be probed to determine if they exist, based on known edge probabilities. A probing algorithm must respect commitment, meaning that if a probed edge exists, it must be used in the matching. Additionally, each online vertex has a patience constraint which limits the number of probes that can be made to an online vertex's adjacent edges. We introduce a new configuration linear program (LP) which we prove is a relaxation of an optimal offline probing algorithm. Using this LP, we establish the following competitive ratios which depend on the model used to generate the instance graph, and the arrival order of its online vertices: - In the worst-case instance model, an optimal $1/e$ ratio when the vertices arrive in uniformly at random (u.a.r.) order. - In the known independently distributed (i.d.) instance model, an optimal $1/2$ ratio when the vertices arrive in adversarial order, and a $1-1/e$ ratio when the vertices arrive in u.a.r. order. The latter two results improve upon the previous best competitive ratio of $0.46$ due to Brubach et al. (Algorithmica 2020), which only held in the more restricted known i.i.d. (independent and identically distributed) instance model. Our $1-1/e$-competitive algorithm matches the best known result for the prophet secretary matching problem due to Ehsani et al. (SODA 2018). Our algorithm is efficient and implies a $1-1/e$ approximation ratio for the special case when the graph is known. This is the offline stochastic matching problem, and we improve upon the $0.42$ approximation ratio for one-sided patience due to Pollner et al. (EC 2022), while also generalizing the $1-1/e$ approximation ratio for unbounded patience due to Gamlath et al. (SODA 2019).
翻译:我们考虑在探测- 承诺模式中, 经典的在线双叶双叶匹配问题。 在这个问题中, 当在线顶端到达时, 必须根据其已知的边缘概率, 对其边缘进行检测以确定它们是否存在。 测试算法必须尊重承诺, 也就是说如果发现边缘存在, 就必须在匹配中使用它。 此外, 每个在线顶端都有一个耐性限制, 从而限制可以做到在线顶端的 20 个 Overtex 相邻边缘的探测器数量。 我们引入一个新的配置直线比( LP), 我们证明这是一个最佳的离线算法。 使用这个 LP, 我们建立以下的竞争比率, 取决于用来生成实例图的模型, 意味着如果检测边缘存在, 则必须在匹配时使用。 最坏的情况模型, 当顶端温度以随机( u. a. r. ) 排序时, 最佳的 美元比值将限制为 20- 。 ( 已知的直径直线( 和直径直线 ) (i/ d) 模型, 当脊椎比以正对正对正对正对正对正的,, 最高的汇率的汇率则以正对正对正, 。</s>