<p>We study the online minimum cost bipartite perfect matching with delays problem. In this problem, <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{m}\)</EquationSource> </InlineEquation> servers and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{m}\)</EquationSource> </InlineEquation> requests arrive over time, and an online algorithm can delay the matching between servers and requests by paying the delay cost. The objective is to minimize the total distance and delay cost. When servers and requests lie in a known metric space, there is a randomized <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{O(\log n)}\)</EquationSource> </InlineEquation>-competitive algorithm, where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq4.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{n}\)</EquationSource> </InlineEquation> is the size of the metric space. When the metric space is unknown a priori, Azar and Jacob-Fanani proposed a deterministic <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq5.gif" Format="GIF" Height="33" Rendition="HTML" Resolution="72" Type="Linedraw" Width="122" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{O\left( \frac{1}{\epsilon }m^{\log \left( \frac{3+\epsilon }{2}\right) }\right) }\)</EquationSource> </InlineEquation>-competitive algorithm for any fixed <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="46" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\epsilon&gt; 0}\)</EquationSource> </InlineEquation>. This competitive ratio is tight when <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{n = 1}\)</EquationSource> </InlineEquation> and becomes <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq8.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{O(m^{0.59})}\)</EquationSource> </InlineEquation> for sufficiently small <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\epsilon }\)</EquationSource> </InlineEquation>. In this paper, we improve upon the result of Azar and Jacob-Fanani for the case where servers and requests are on the real line, providing a deterministic <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq10.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{\tilde{O}(m^{0.5})}\)</EquationSource> </InlineEquation>-competitive algorithm. Our algorithm is based on the Robust Matching (RM) algorithm proposed by Raghvendra for the minimum cost bipartite perfect matching problem. In this problem, delay is not allowed, and all servers arrive in the beginning. When a request arrives, the RM algorithm immediately matches the request to a free server based on the request’s minimum <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{t}\)</EquationSource> </InlineEquation>-net-cost augmenting path, where <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq12.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{t&gt; 1}\)</EquationSource> </InlineEquation> is a constant. In our algorithm, we delay the matching of a request until its waiting time exceeds its minimum <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{t}\)</EquationSource> </InlineEquation>-net-cost divided by <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="224_2025_10230_Article_IEq11.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varvec{t}\)</EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Online Deterministic Minimum Cost Bipartite Matching with Delays on a Line

  • Tung-Wei Kuo

摘要

We study the online minimum cost bipartite perfect matching with delays problem. In this problem, \(\varvec{m}\) servers and \(\varvec{m}\) requests arrive over time, and an online algorithm can delay the matching between servers and requests by paying the delay cost. The objective is to minimize the total distance and delay cost. When servers and requests lie in a known metric space, there is a randomized \(\varvec{O(\log n)}\) -competitive algorithm, where \(\varvec{n}\) is the size of the metric space. When the metric space is unknown a priori, Azar and Jacob-Fanani proposed a deterministic \(\varvec{O\left( \frac{1}{\epsilon }m^{\log \left( \frac{3+\epsilon }{2}\right) }\right) }\) -competitive algorithm for any fixed \(\varvec{\epsilon> 0}\) . This competitive ratio is tight when \(\varvec{n = 1}\) and becomes \(\varvec{O(m^{0.59})}\) for sufficiently small \(\varvec{\epsilon }\) . In this paper, we improve upon the result of Azar and Jacob-Fanani for the case where servers and requests are on the real line, providing a deterministic \(\varvec{\tilde{O}(m^{0.5})}\) -competitive algorithm. Our algorithm is based on the Robust Matching (RM) algorithm proposed by Raghvendra for the minimum cost bipartite perfect matching problem. In this problem, delay is not allowed, and all servers arrive in the beginning. When a request arrives, the RM algorithm immediately matches the request to a free server based on the request’s minimum \(\varvec{t}\) -net-cost augmenting path, where \(\varvec{t> 1}\) is a constant. In our algorithm, we delay the matching of a request until its waiting time exceeds its minimum \(\varvec{t}\) -net-cost divided by \(\varvec{t}\) .