SearcharxivSearch

arXiv · 2111.15434

Servicing Timed Requests on a Line

Abstract

We consider an off-line optimisation problem where $k$ robots must service $n$ requests on a single line. A request $i$ has weight $w_i$ and takes place at time $t_i$ at location $d_i$ on the line. A robot can service a request and collect the weight $w_i$, if it is present at $d_i$ at time $t_i$. The objective is to find $k$ robot-schedules that maximize the total weight. The optimisation problem is motivated by a robotics application [Asahiro et al. Discrete Applied Mathematics, 2006] and can be modeled as a minimum cost flow problem with unit capacities in a flow network $\mathcal{N}$. Consequently, we ask for a collection of $k$ node-disjoint paths from the source $s$ to the sink $t$ in $\mathcal{N}$, with minimum total weight. It was shown in [Asahiro et al. Discrete Applied Mathematics, 2006] that the flow network $\mathcal{N}$ can be implicitly represented by $n$ points on the plane which yields to an $O(n \log n)$-time algorithm for $k=1$ and the special case where all requests have the same weight. However, for $k \geq 2$ the problem can be solved in $O(kn^2)$ time with the successive shortest path algorithm which does not use this implicit representation. We consider arbitrary request weights and show a recursive $O(k^{2k}n \log^{2k} n)$-time algorithm which improves the previous bound if $k$ is considered constant. Our result also improves the running time of previous algorithms for other variants of the optimisation problem. Finally, we show problem properties that may be useful within the context of applications that motivate the problem and may yield to more efficient algorithms.

Explore related subjects

Keep this discovery

BibTeXRIS

A. Gkikas, T. Radzik. 2021-11-30. Servicing Timed Requests on a Line. https://arxiv.org/abs/2111.15434

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Monte Carlo Beyond Hardy-Krause II: $(1 + \varepsilon)n$ Samples Suffice

Numerical integration studies how well one can estimate the integral of a function $f$ over $[0,1)^d$ using $n$ sample points. The two classical methods, Monte Carlo (MC) and quasi-Monte Carlo (QMC), have complementary strengths and weaknesses, and a fundamental question is to design an approach that combines the benefits of both. Recently, building on the transference principle in discrepancy theory, Bansal and Jiang~\cite{BJ25a} gave a randomized QMC method that bridges MC and QMC guarantees using only i.i.d.\ samples. Their method also goes beyond the classical Koksma--Hlawka inequality: it achieves integration error $\widetilde{O}_d(\sigma_{\mathsf{SO}}(f)/n)$, where the smoothed-out variation $\sigma_{\mathsf{SO}}(f)$ can be substantially smaller than the Hardy--Krause variation that governs the classical bound. However, their algorithm requires $n^2$ i.i.d.\ samples as input, and this quadratic blowup is inherent to any method based on the transference principle. In this work, we bypass the quadratic blowup: for any constant $\varepsilon > 0$, we show that $(1+\varepsilon)n$ i.i.d.\ samples suffice to both obtain the beyond-Hardy--Krause guarantee of~\cite{BJ25a}, resolving an open problem posed there, and to produce low-discrepancy point sequences. Our algorithms are variants of the online Haar-thinning method of Dwivedi, Feldheim, Gurel-Gurevich, and Ramdas~\cite{DFG+19}.

cs.DS

Single-Exponential Algorithms and a Polynomial Kernel for Strong Connectivity Augmentation

Strong Connectivity Augmentation (SCA) asks whether a directed acyclic graph can be made strongly connected by adding at most $k$ prescribed links whose total weight is within a given budget. Klinkby, Misra, and Saurabh (SODA 2021) gave an $O^*(2^{O(k\log k)})$-time algorithm and asked whether the problem admits a single-exponential parameterized algorithm and a polynomial kernel. We answer both questions affirmatively: SCA can be solved in $O^*(9^k)$ time and admits a polynomial kernel with $O(k^4)$ vertices and $O(k^{16})$ bits. For unweighted SCA, we obtain $O^*(4^k)$ time and a kernel with $O(k^3)$ vertices. Our algorithms are based on a particularly simple reduction to Strongly Connected Spanning Subgraph with two edge costs.

cs.DS