Online Matching with Size-Based and Convex Delays
Pith reviewed 2026-07-02 04:34 UTC · model grok-4.3
The pith
Size-based delays in online matching encode as a metrical task system on a 2^{n-1}-point metric, settling the deterministic competitive ratio up to constants, while polynomial convex delays with positive initial slope admit O(1)-competitive
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that any MPMD-Size instance on an n-point metric reduces via a succinct encoding to an equivalent metrical task system on a 2^{n-1}-point metric, which immediately settles the deterministic competitive ratio up to constants; separately, when the convex delay is a non-negative monotone polynomial satisfying f'(0) greater than zero, an explicit deterministic algorithm achieves O(1) competitiveness on any uniform metric.
What carries the argument
The succinct encoding of an MPMD-Size instance on an n-point metric as a metrical task system on a 2^{n-1}-point metric, which preserves competitiveness.
If this is right
- The deterministic competitive ratio for MPMD-Size is settled up to constant factors and depends only on the number of points n.
- An O(1)-competitive deterministic algorithm exists for MPMD-Convex on uniform metrics whenever the polynomial delay has positive derivative at zero.
- All bounds hold independently of the total number of arriving requests m.
- The Omega(n) lower bound previously shown for convex delays does not apply to the subclass of polynomials with positive initial slope.
Where Pith is reading between the lines
- The exponential-size encoding may let existing metrical-task-system lower-bound techniques transfer directly to produce matching lower bounds.
- Analogous state-compression encodings could be attempted for other online problems whose delay cost depends on the set of pending requests.
- The sharp distinction created by whether f'(0) equals zero suggests that the local behavior of the delay function near the origin controls whether constant competitiveness is possible.
- Extending the O(1) result from uniform metrics to general metrics for the same polynomial class would require new techniques beyond the encoding used for size-based delays.
Load-bearing premise
The delay functions must belong exactly to the studied classes: non-negative monotone functions of the number of unmatched requests for size-based delays, and non-negative monotone polynomials with positive derivative at zero for convex delays.
What would settle it
A concrete instance of a uniform metric with n greater than some constant together with a non-negative monotone polynomial delay f satisfying f'(0) greater than zero on which every deterministic algorithm incurs competitive ratio growing with n would falsify the O(1) claim.
read the original abstract
We study the online min-cost perfect matching with delay (MPMD) problem where $m$ requests arrive in a metric space of $n$ points. In MPMD, an algorithm can choose to match a request or to delay, and the objective is to minimise the sum of connection and delay costs. The connection cost of a match is the distance between the locations of two matched requests in the metric, and the increase of the delay cost is a function of the set of unmatched requests at every moment. In this paper, we study two different types of delay functions, size-based (MPMD-Size) and convex delays (MPMD-Convex). The study of MPMD-Size was initiated by Deryckere and Umboh (APPROX/RANDOM 2023) where the instantaneous delay increment is a non-negative monotone function of the number of unmatched requests. Our bounds are in terms of $n$, as opposed to Deryckere and Umboh's bounds that depend on $m$. Our results settle the deterministic competitive ratio (up to constants). At the heart of these results is a succinct encoding scheme of MPMD-Size on a given $n$-point metric as a metrical task system problem on a $2^{n-1}$-point metric. We also consider MPMD-Convex proposed by Liu et al. (ISAAC 2018) where the delay cost incurred by each request is a uniform convex delay function of the time difference between its arrival time and the moment that it is matched by the algorithm. They focused on delay functions $f$ that are unbounded, non-decreasing, continuous, and satisfy $f(0)=f'(0)=0$, and showed that the deterministic competitive ratio is $\Omega(n)$ for $n$-point uniform metrics. We show that, surprisingly, when $f$ is a non-negative, monotone polynomial with $f'(0)>0$, there is an $O(1)$-competitive deterministic algorithm for uniform metrics. Our result completes our understanding of MPMD-Convex on uniform metrics for a broad class of functions.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the online min-cost perfect matching with delay (MPMD) problem on n-point metrics. For size-based delays (MPMD-Size), where the instantaneous delay increment is a non-negative monotone function of the number of unmatched requests, it gives a succinct encoding that reduces the problem to a metrical task system (MTS) instance on a 2^{n-1}-point metric; applying known MTS bounds yields an O(n)-competitive deterministic algorithm (up to constants), settling the deterministic competitive ratio in terms of n. For convex delays (MPMD-Convex) on uniform metrics, when the delay function f is a non-negative monotone polynomial with f'(0)>0, it gives an O(1)-competitive deterministic algorithm, in contrast to the prior Ω(n) lower bound that held for functions with f'(0)=0.
Significance. If the results hold, the work settles the deterministic competitive ratio (up to constants) for MPMD-Size in terms of the metric size n rather than the number of requests m, via an explicit reduction to MTS whose state space size is 2^{n-1}. It also completes the picture for MPMD-Convex on uniform metrics across a broad natural class of delay functions. The reduction and the O(1) construction for polynomials with positive derivative at zero are the central technical contributions.
minor comments (2)
- [Abstract] Abstract, paragraph on MPMD-Size: the claim that the results 'settle the deterministic competitive ratio (up to constants)' would be clearer if the exact dependence (e.g., O(n) or Θ(n)) were stated explicitly rather than left implicit from the MTS reduction.
- [Introduction] The paper would benefit from a short table in the introduction that directly compares the new n-dependent bounds for MPMD-Size against the m-dependent bounds of Deryckere and Umboh (APPROX/RANDOM 2023).
Simulated Author's Rebuttal
We thank the referee for their positive review, detailed summary of our contributions, and recommendation to accept. No major comments were raised.
Circularity Check
No significant circularity
full rationale
The paper's central claims rest on two explicit algorithmic contributions: (1) a new succinct encoding reducing MPMD-Size on an n-point metric to an MTS instance on a 2^{n-1}-point metric, from which known MTS bounds yield the O(n) deterministic ratio (up to constants); and (2) a new O(1)-competitive deterministic algorithm for MPMD-Convex on uniform metrics that exploits the condition f'(0)>0 for the specified polynomial class. Both are presented as self-contained constructions. The citation to Deryckere and Umboh (co-author overlap) is used only to contextualize prior m-dependent bounds; it is not load-bearing for the new n-dependent results or the convex-case algorithm. No equations reduce predictions to fitted parameters, no ansatzes are smuggled via self-citation, and no uniqueness theorems from the authors' prior work are invoked to force the current choices. The derivation chain is therefore independent of its inputs.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption The input is a metric space on n points.
- domain assumption Size-based delay increment is a non-negative monotone function of the number of unmatched requests.
- domain assumption Convex delay is a non-negative monotone polynomial with f'(0) > 0.
Reference graph
Works this paper leans on
-
[1]
Min-cost bipartite perfect match- ing with delays
1 Itai Ashlagi, Yossi Azar, Moses Charikar, Ashish Chiplunkar, Ofir Geri, Haim Kaplan, Rahul Makhijani, Yuyi Wang, and Roger Wattenhofer. Min-cost bipartite perfect match- ing with delays. In Klaus Jansen, José D. P. Rolim, David Williamson, and Santosh S. Vempala, editors,Approximation, Randomization, and Combinatorial Optimization. Al- gorithms and Tech...
2017
-
[2]
2 Yossi Azar, Ashish Chiplunkar, and Haim Kaplan
URL: https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.1, doi:10.4230/ LIPICS.APPROX-RANDOM.2017.1. 2 Yossi Azar, Ashish Chiplunkar, and Haim Kaplan. Polylogarithmic bounds on the com- petitiveness of min-cost perfect matching with delays. In Philip N. Klein, editor,Proceed- ings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA ...
-
[3]
3 Yossi Azar, Ashish Chiplunkar, Shay Kutten, and Noam Touitou
doi:10.1137/1.9781611974782.67. 3 Yossi Azar, Ashish Chiplunkar, Shay Kutten, and Noam Touitou. Set cover with delay - clairvoyance is not required. In Fabrizio Grandoni, Grzegorz Herman, and Peter Sanders, editors,28th Annual European Symposium on Algorithms, ESA 2020, Pisa, Italy (Virtual Conference), September 7-9, 2020, volume 173 ofLIPIcs, pages 8:1–...
-
[4]
URL:https://doi.org/10.4230/LIPIcs.ESA.2020.8, doi:10.4230/LIPICS.ESA.2020.8. J. Gan, X. Sun, S. W. Umboh 27 4 Yossi Azar and Amit Jacob Fanani. Deterministic min-cost matching with delays.Theory Comput. Syst., 64(4):572–592,
-
[5]
5 Yossi Azar, Runtian Ren, and Danny Vainstein
URL:https://doi.org/10.1007/s00224-019-09963-7, doi:10.1007/S00224-019-09963-7. 5 Yossi Azar, Runtian Ren, and Danny Vainstein. The min-cost matching with concave delays problem. In Dániel Marx, editor,Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, SODA 2021, Virtual Conference, January 10 - 13, 2021, pages 301–320. SIAM, 2021.doi:10.1...
-
[6]
7 Sujoy Bhore, Michał Pawłowski, and Seeun William Umboh
doi: 10.1145/2783434. 7 Sujoy Bhore, Michał Pawłowski, and Seeun William Umboh. Online tcp acknowledgment under general delays. InApproximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM
-
[7]
Online TCP Acknowledgment under General Delays
To appear. Full version available as arXiv:2604.13428 [cs.DS]. 8 Marcin Bienkowski, Artur Kraska, Hsiang-Hsuan Liu, and Pawel Schmidt. A primal-dual online deterministic algorithm for matching with delays. In Leah Epstein and Thomas Erlebach, editors,Approximation and Online Algorithms - 16th International Workshop, W AOA 2018, Helsinki, Finland, August 2...
work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/978-3-030-04693-4 2018
-
[8]
11 Sébastien Bubeck, Christian Coester, and Yuval Rabani
doi:10.1145/28395.28435. 11 Sébastien Bubeck, Christian Coester, and Yuval Rabani. The randomized k-server conjecture is false! In Barna Saha and Rocco A. Servedio, editors,Proceedings of the 55th Annual ACM Symposium on Theory of Computing, STOC 2023, Orlando, FL, USA, June 20-23, 2023, pages 581–594. ACM, 2023.doi:10.1145/3564246.3585132. 12 Sébastien B...
-
[9]
13 Ryder Chen, Jahanvi Khatkar, and Seeun William Umboh
doi:10.1137/19M1237879. 13 Ryder Chen, Jahanvi Khatkar, and Seeun William Umboh. Online weighted cardinality joint replenishment problem with delay. In Mikolaj Bojanczyk, Emanuela Merelli, and David P. Woodruff, editors,49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, Paris, France, July 4-8, 2022, volume 229 ofLIPIcs, pa...
-
[10]
ICALP.2022.40,doi:10.4230/LIPICS.ICALP.2022.40
URL:https://doi.org/10.4230/LIPIcs. ICALP.2022.40,doi:10.4230/LIPICS.ICALP.2022.40. 14 Lindsey Deryckere and Seeun William Umboh. Online matching with set and concave delays. In Nicole Megow and Adam D. Smith, editors,Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, Atlanta, Georgia, USA, Septemb...
-
[11]
2023.17,doi:10.4230/LIPICS.APPROX/RANDOM.2023.17
URL: https://doi.org/10.4230/LIPIcs.APPROX/RANDOM. 2023.17,doi:10.4230/LIPICS.APPROX/RANDOM.2023.17. 15 Marc Dufay and Roger Wattenhofer. A deterministic polylogarithmic competitive algorithm for matching with delays. In Kasper Green Larsen and Barna Saha, editors,Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2026, Vancouv...
-
[12]
URL: https://doi.org/10.1016/j.disopt.2021.100647, doi:10.1016/J. DISOPT.2021.100647. 18 Tomer Ezra, Stefano Leonardi, Michal Pawlowski, Matteo Russo, and Seeun William Umboh. Universal optimization for non-clairvoyant subadditive joint replenishment. In Amit Kumar and Noga Ron-Zewi, editors,Approximation, Randomization, and Combinatorial Optimization. Al...
-
[13]
19 Ngoc Mai Le, Seeun William Umboh, and Ningyuan Xie
URL: https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2024.12, doi: 10.4230/LIPICS.APPROX/RANDOM.2024.12. 19 Ngoc Mai Le, Seeun William Umboh, and Ningyuan Xie. The power of clairvoyance for multi-level aggregation and set cover with delay. In Nikhil Bansal and Viswanath Nagarajan, editors,Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SOD...
-
[14]
20 Xingwu Liu, Zhida Pan, Yuyi Wang, and Roger Wattenhofer
URL: https: //doi.org/10.1137/1.9781611977554.ch59,doi:10.1137/1.9781611977554.CH59. 20 Xingwu Liu, Zhida Pan, Yuyi Wang, and Roger Wattenhofer. Impatient online matching. In Wen-Lian Hsu, Der-Tsai Lee, and Chung-Shou Liao, editors,29th International Symposium on Algorithms and Computation, ISAAC 2018, December 16-19, 2018, Jiaoxi, Yilan, Taiwan, volume 1...
-
[15]
URL:https://doi.org/10.4230/LIPIcs.ISAAC.2018.62, doi:10.4230/LIPICS.ISAAC. 2018.62. J. Gan, X. Sun, S. W. Umboh 29 A Proofs for Section 2 (Preliminaries) ▶Lemma 2.1.Given any online algorithmAfor MTS, there is an online mechanism that transformsAto a lazy algorithm without increasing the cost. Proof. Suppose that the state ofA to process requestρt is st ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.