Competitive algorithms for the on-line inventory problem

We provide simple but surprisingly useful direct product theorems for proving lower bounds on online algorithms with a limited amount of advice about the future. Intuitively, our direct product theorems say that if b bits of advice are needed to ensure a cost of at most t for some problem, then r*b bits of advice are needed to ensure a total cost of at most r*t when solving r independent instances of the problem. Using our direct product theorems, we are able to translate decades of research on randomized online algorithms to the advice complexity model. Doing so improves significantly on the previous best advice complexity lower bounds for many online problems, or provides the first known lower bounds. For example, we show that - A paging algorithm needs Omega(n) bits of advice to achieve a competitive ratio better than H_k = Omega(log k), where k is the cache size. Previously, it was only known that Omega(n) bits of advice were necessary to achieve a constant competitive ratio smaller than 5/4. - Every O(n^{1-epsilon})-competitive vertex coloring algorithm must use Omega(n log n) bits of advice. Previously, it was only known that Omega(n log n) bits of advice were necessary to be optimal. For certain online problems, including the MTS, k-server, metric matching, paging, list update, and dynamic binary search tree problem, we prove that randomization and sublinear advice are equally powerful (if the underlying metric space or node set is finite). This means that several long-standing open questions regarding randomized online algorithms can be equivalently stated as questions regarding online algorithms with sublinear advice. For example, we show that there exists a deterministic O(log k)-competitive k-server algorithm with sublinear advice if and only if there exists a randomized O(log k)-competitive k-server algorithm without advice. Technically, our main direct product theorem is obtained by extending an information theoretical lower bound technique due to Emek, Fraigniaud, Korman, and Rosen [ICALP'09].

We develop a new approach for online network design and obtain improved competitive ratios for several problems. Our approach gives natural deterministic algorithms and simple analyses. At the heart of our work is a novel application of embeddings into hierarchically well-separated trees (HSTs) to the analysis of online network design algorithms --- we charge the cost of the algorithm to the cost of the optimal solution on any HST embedding of the terminals. This analysis technique is widely applicable to many problems and gives a unified framework for online network design. In a sense, our work brings together two of the main approaches to online network design. The first uses greedy-like algorithms and analyzes them using dual-fitting. The second uses tree embeddings and results in randomized $O(\log n)$-competitive algorithms, where $n$ is the total number of vertices in the graph. Our approach uses deterministic greedy-like algorithms but analyzes them via HST embeddings of the terminals. Our proofs are simpler as we do not need to carefully construct dual solutions and we get $O(\log k)$ competitive ratios, where $k$ is the number of terminals. In this paper, we apply our approach to obtain deterministic $O(\log k)$-competitive online algorithms for the following problems. - Steiner network with edge duplication. Previously, only a randomized $O(\log n)$-competitive algorithm was known. - Rent-or-buy. Previously, only deterministic $O(\log^2 k)$-competitive and randomized $O(\log k)$-competitive algorithms by Awerbuch, Azar and Bartal (2004) were known. - Connected facility location. Previously, only a randomized $O(\log^2 k)$-competitive algorithm by San Felice, Williamson and Lee (2014) was known. - Prize-collecting Steiner forest. We match the competitive ratio first achieved by Qian and Williamson (2011) and give a simpler analysis.

A Randomized Algorithm for Two Servers on the Line

We consider the following scheduling problem. The input is a set of jobs with equal processing times, where each job is specified by its release time and deadline. The goal is to determine a single-processor nonpreemptive schedule that maximizes the number of completed jobs. In the online version, each job arrives at its release time. We give two online algorithms with competitive ratios below $2$ and show several lower bounds on the competitive ratios. First, we give a barely random $5/3$-competitive algorithm that uses only one random bit. We also show a lower bound of $3/2$ on the competitive ratio of barely random algorithms that randomly choose one of two deterministic algorithms. If the two algorithms are selected with equal probability, we can further improve the bound to $8/5$. Second, we give a deterministic $3/2$-competitive algorithm in the model that allows restarts, and we show that in this model the ratio $3/2$ is optimal. For randomized algorithms with restarts we show a lower bound of $6/5$.

In this article, we study the online Euclidean spanners problem for points in \(\mathbb{R}^{d}\) . Given a set \(S\) of \(n\) points in \(\mathbb{R}^{d}\) , a \(t\) -spanner on \(S\) is a subgraph of the underlying complete graph \(G=(S,\binom{S}{2})\) , that preserves the pairwise Euclidean distances between points in \(S\) to within a factor of \(t\) , that is the stretch factor . Suppose we are given a sequence of \(n\) points \((s_{1},s_{2},\ldots,s_{n})\) in \(\mathbb{R}^{d}\) , where point \(s_{i}\) is presented in step \(i\) for \(i=1,\ldots,n\) . The objective of an online algorithm is to maintain a geometric \(t\) -spanner on \(S_{i}=\{s_{1},\ldots,s_{i}\}\) for each step \(i\) . The algorithm is allowed to add new edges to the spanner when a new point is presented but cannot remove any edge from the spanner. The performance of an online algorithm is measured by its competitive ratio, which is the supremum, over all sequences of points, of the ratio between the weight of the spanner constructed by the algorithm and the weight of an optimum spanner. Here, the weight of a spanner is the sum of all edge weights. First, we establish a lower bound of \(\Omega(\varepsilon^{-1}\log n/\log\varepsilon^{-1})\) for the competitive ratio of any online \((1+\varepsilon)\) -spanner algorithm, for a sequence of \(n\) points in 1-dimension. We show that this bound is tight, and there is an online algorithm that can maintain a \((1+\varepsilon)\) -spanner with competitive ratio \(O(\varepsilon^{-1}\log n/\log\varepsilon^{-1})\) . Next, we design online algorithms for sequences of points in \(\mathbb{R}^{d}\) , for any constant \(d\geq 2\) , under the \(L_{2}\) norm. We show that previously known incremental algorithms achieve a competitive ratio \(O(\varepsilon^{-(d+1)}\log n)\) . However, if the algorithm is allowed to use additional points (Steiner points), then it is possible to substantially improve the competitive ratio in terms of \(\varepsilon\) . We describe an online Steiner \((1+\varepsilon)\) -spanner algorithm with competitive ratio \(O(\varepsilon^{(1-d)/2}\log n)\) . As a counterpart, we show that the dependence on \(n\) cannot be eliminated in dimensions \(d\geq 2\) . In particular, we prove that any online spanner algorithm for a sequence of \(n\) points in \(\mathbb{R}^{d}\) under the \(L_{2}\) norm has competitive ratio \(\Omega(f(n))\) , where \(\lim_{n\rightarrow\infty}f(n)=\infty\) . Finally, we provide improved lower bounds under the \(L_{1}\) norm: \(\Omega(\varepsilon^{-2}/\log\varepsilon^{-1})\) in the plane and \(\Omega(\varepsilon^{-d})\) in \(\mathbb{R}^{d}\) for \(d\geq 3\) .

In this paper, the authors consider an on-line scheduling problem of m (m ≥ 3) identical machines with common maintenance time interval and nonresumable availability. For the case that the length of maintenance time interval is larger than the largest processing time of jobs, the authors prove that any on-line algorithm has not a constant competitive ratio. For the case that the length of maintenance time interval is less than or equal to the largest processing time of jobs, the authors prove a lower bound of 3 on the competitive ratio. The authors give an on-line algorithm with competitive ratio \(4 - \tfrac{1} {m} \). In particular, for the case of m = 3, the authors prove the competitive ratio of the on-line algorithm is \(\tfrac{{10}} {3} \).

On-Line Load Balancing of Temporary Tasks

Online decision-making in the presence of uncertain future information is abundant in many problem domains. In the critical problem of energy generation scheduling for microgrids, one needs to decide when to switch energy supply between a cheaper local generator with startup cost and the costlier on-demand external grid, considering intermittent renewable generation and fluctuating demands. Without knowledge of future input, competitive online algorithms are appealing as they provide optimality guarantees against the optimal offline solution. In practice, however, future input, e.g., wind generation, is often predictable within a limited time window, and can be exploited to further improve the competitiveness of online algorithms. In this paper, we exploit the structure of information in the prediction window to design a novel prediction-aware online algorithm for energy generation scheduling in microgrids. Our algorithm achieves the best competitive ratio to date for this important problem, which is at most $3-2/(1+\mathcal{O}(\frac{1}{w})),$ where $w$ is the prediction window size. We also characterize a non-trivial lower bound of the competitive ratio and show that the competitive ratio of our algorithm is only $9\%$ away from the lower bound, when a few hours of prediction is available. Simulation results based on real-world traces corroborate our theoretical analysis and highlight the advantage of our new prediction-aware design.

The peak-demand charge motivates large-load customers to flatten their demand curves, while their self-owned renewable generations aggravate demand fluctuations. Thus, it is attractive to utilize energy storage for shaping real-time loads and reducing electricity bills. In this paper, we propose the first peak-aware competitive online algorithm for leveraging stored energy (e.g., in fuel cells) to minimize peak-demand charges. Our algorithm decides the discharging quantity slot by slot to maintain the optimal worst-case performance guarantee (namely, competitive ratio) among all deterministic online algorithms. Interestingly, we show that the best competitive ratio can be computed by solving a linear number of linear-fractional problems. We can also extend our competitive algorithm and analysis to improve the average-case performance and consider short-term prediction.

In 2005 Li~et~al. gave a \(\phi\)-competitive deterministic online algorithm for scheduling of packets with agreeable deadlines~\cite{DBLP:conf/soda/LiSS05} with a very interesting analysis. This is known to be optimal due to a lower bound by Hajek~\cite{Hajek-det-lb}. We claim that the algorithm by Li~et~al. can be slightly simplified, while retaining its competitive ratio. Then we introduce randomness to the modified algorithm and argue that the competitive ratio against oblivious adversary is at most (\frac{4}{3}\). Note that this still leaves a gap between the best known lower bound of \(\frac{5}{4}\) by Chin~et~al.~\cite{DBLP:journals/algorithmica/ChinF03} for randomized algorithms against oblivious adversary.

For most scheduling problems the set of machines is fixed initially and remains unchanged for the duration of the problem. Recently Imreh and Nogaproposed to add the concept of machine cost to scheduling problems and considered the so-called List Model problem. An online algorithm with a competitive ratio 1.618 was given while the lower bound is 4/3. In this paper, two different semi-online versions of this problem are studied. In the first case, it is assumed that the processing time of the largest job is known a priori. A semi-online algorithm is presented with the competitive ratio at most 1.5309 while the lower bound is 4/3. In the second case, it is assumed that the total processing time of all jobs is known in advance. semi-online algorithm is presented with the competitive ratio at most 1.414 while the lower bound is 1.161. It is shown that the additional partial available information about the jobs leads to the possibility of constructing a schedule with a smaller competitive ratio than that of online algorithms.

This paper studies the online Orthogonal Variable Spreading Factor (OVSF) code assignment problem with resource augmentation introduced by Erlebach et al. (in STACS 2004. LNCS, vol. 2996, pp. 270---281, 2004). We propose a (1+1/?)-competitive algorithm with help of (1+???)lg? h trees for the height h of the OVSF code tree and any ??1. In other words, it is a (1+?)-competitive algorithm with help of (1+?1/??)lg? h trees for any constant 0<?≤1. In the case of ?=1 (or ?=1), we obtain a 2-competitive algorithm with 2lg? h trees, which substantially improves the previous resource of 3h/8+2 trees shown by Chan et al. (COCOON 2009. LNCS, vol. 5609, pp. 358---367, 2009). In another aspect, if it is not necessary to bound the incurred cost for individual requests to a constant, an amortized (4/3+?)-competitive algorithm with (11/4+4/(3?)) trees for any 0<?≤4/3 is also designed in Chan et al. (COCOON 2009. LNCS, vol. 5609, pp. 358---367, 2009). The algorithm in this paper gives us a new trade-off between the competitive ratio and the resource augmentation when ??3 (or ?≤1/3), although the incurred cost for individual requests is bounded to a constant.

We study the advice complexity and the random bit complexity of the online knapsack problem: Given a knapsack of unit capacity, and n items that arrive in successive time steps, an online algorithm has to decide for every item whether it gets packed into the knapsack or not. The goal is to maximize the value of the items in the knapsack without exceeding its capacity. In the model of advice complexity of online problems, one asks how many bits of advice about the unknown parts of the input are both necessary and sufficient to achieve a specific competitive ratio. It is well-known that even the unweighted online knapsack problem does not admit any competitive deterministic online algorithm. We show that a single bit of advice helps a deterministic algorithm to become 2-competitive, but that Ω(log n) advice bits are necessary to further improve the deterministic competitive ratio. This is the first time that such a phase transition for the number of advice bits has been observed for any problem. We also show that, surprisingly, instead of an advice bit, a single random bit allows for a competitive ratio of 2, and any further amount of randomness does not improve this. Moreover, we prove that, in a resource augmentation model, i.e., when allowing a little overpacking of the knapsack, a constant number of advice bits suffices to achieve a near-optimal competitive ratio. We also study the weighted version of the problem proving that, with O(log n) bits of advice, we can get arbitrarily close to an optimal solution and, using asymptotically fewer bits, we are not competitive.

Cloud providers such as Amazon EC2 and Google GCE typically price their idle compute resources at a significant discount in the form of transient servers. Unlike regular servers, cloud transient servers have no reliability guarantee and can be revoked anytime. In order to enjoy the price premium of transient servers while mitigating the impact of indefinite server revocations, cloud users continuously checkpoint current computational states to stable storage. To determine the optimal checkpointing interval, prior works have largely built upon predicting future revocations. However, we argue that existing prediction models may not work well if providers employ different server revocation algorithms in the future, and the required historical information can be unavailable in practice. In this work, we propose two online algorithms, one competitive and the other heuristic, that determine the checkpointing intervals without predicting future revocation based on history. Our competitive online algorithm achieves the best possible competitive ratio against the optimal, yet impractical, offline solution. Our heuristic algorithm adaptively reacts to server revocations, achieving better average performance than the competitive algorithm, especially for short-running tasks. Extensive trace-driven simulations confirm our analytical results and demonstrate the efficacy of the two online algorithms in the context of Amazon EC2 Spot Instances.

This paper studies the online machine minimization problem, where the jobs have real release times, uniform processing times and a common deadline. We investigate how the lookahead ability improves the performance of online algorithms. Two lookahead models are studied, that is, the additive lookahead and the multiplicative lookahead. At any time t, the online algorithm knows all the jobs to be released before time $$t+L$$ (or $$\beta \cdot t$$ ) in the additive (or multiplicative) lookahead model. We propose a $$\frac{e}{\alpha (e-1)+1}$$ -competitive online algorithm with the additive lookahead, where $$\alpha = \frac{L}{T} \le 1$$ and T is the common deadline of the jobs. For the multiplicative lookahead, we provide an online algorithm with a competitive ratio of $$\frac{\beta e}{(\beta -1) e +1}$$ , where $$\beta \ge 1$$ . Lower bounds are also provided for both of the two models, which show that our algorithms are optimal for two extreme cases, that is, $$\alpha = 0$$ (or $$\beta = 1$$ ) and $$\alpha = 1$$ (or $$\beta \rightarrow \infty $$ ), and remain a small gap for the cases in between. Particularly, for $$\alpha = 0$$ (or $$\beta = 1$$ ), the competitive ratio is e, which corresponds to the problem without lookahead. For $$\alpha = 1$$ (or $$\beta \rightarrow \infty $$ ), the competitive ratio is 1, which corresponds to the offline version (with full information).