The Advice Complexity of a Class of Hard Online Problems

The advice complexity of an online problem is a measure of how much knowledge of the future an online algorithm needs in order to achieve a certain competitive ratio. Using advice complexity, we define the first online complexity class, AOC. The class includes independent set, vertex cover, dominating set, and several others as complete problems. AOC-complete problems are hard, since a single wrong answer by the online algorithm can have devastating consequences. For each of these problems, we show that $\log\left(1+(c-1)^{c-1}/c^{c}\right)n=\Theta (n/c)$ bits of advice are necessary and sufficient (up to an additive term of $O(\log n)$) to achieve a competitive ratio of $c$. The results are obtained by introducing a new string guessing problem related to those of Emek et al. (TCS 2011) and B\"ockenhauer et al. (TCS 2014). It turns out that this gives a powerful but easy-to-use method for providing both upper and lower bounds on the advice complexity of an entire class of online problems, the AOC-complete problems. Previous results of Halld\'orsson et al. (TCS 2002) on online independent set, in a related model, imply that the advice complexity of the problem is $\Theta (n/c)$. Our results improve on this by providing an exact formula for the higher-order term. For online disjoint path allocation, B\"ockenhauer et al. (ISAAC 2009) gave a lower bound of $\Omega (n/c)$ and an upper bound of $O((n\log c)/c)$ on the advice complexity. We improve on the upper bound by a factor of $\log c$. For the remaining problems, no bounds on their advice complexity were previously known.Comment: Full paper to appear in Theory of Computing Systems. A preliminary version appeared in STACS 201

Online set packing and competitive scheduling of multi-part tasks

We consider a scenario where large data frames are broken into a few packets and transmitted over the network. Our focus is on a bottleneck router: the model assumes that in each time step, a set of packets (a burst) arrives, from which only one packet can be served, and all other packets are lost. A data frame is considered useful only if none of its constituent packets is lost, and otherwise it is worthless. We abstract the problem as a new type of online set packing, present a randomized distributed algorithm and a matching lower bound on the competitive ratio for any randomized online algorithm. Our bounds are expressed in terms of the maximal burst size and the maximal number of packets per frame. We also present refined bounds that depend on the uniformity of these parameters

On-line vertex-covering

AbstractWe study the minimum vertex-covering problem under two on-line models corresponding to two different ways vertices are revealed. The former one implies that the input-graph is revealed vertex-by-vertex. The second model implies that the input-graph is revealed per clusters, i.e. per induced subgraphs of the final graph. Under the cluster-model, we then relax the constraint that the choice of the part of the final solution dealing with each cluster has to be irrevocable, by allowing backtracking. We assume that one can change decisions upon a vertex membership of the final solution, this change implying, however, some cost depending on the number of the vertices changed

Online algorithms for conversion problems : an approach to conjoin worst-case analysis and empirical-case analysis

A conversion problem deals with the scenario of converting an asset into another asset and possibly back. This work considers financial assets and investigates online algorithms to perform the conversion. When analyzing the performance of online conversion algorithms, as yet the common approach is to analyze heuristic conversion algorithms from an experimental perspective, and to analyze guaranteeing conversion algorithms from an analytical perspective. This work conjoins these two approaches in order to verify an algorithms\u27 applicability to practical problems. We focus on the analysis of preemptive and non-preemptive online conversion problems from the literature. We derive both, empirical-case as well as worst-case results. Competitive analysis is done by considering worst-case scenarios. First, the question whether the applicability of heuristic conversion algorithms can be verified through competitive analysis is to be answered. The competitive ratio of selected heuristic algorithms is derived using competitive analysis. Second, the question whether the applicability of guaranteeing conversion algorithms can be verified through experiments is to be answered. Empirical-case results of selected guaranteeing algorithms are derived using exploratory data analysis. Backtesting is done assuming uncertainty about asset prices, and the results are analyzed statistically. Empirical-case analysis quantifies the return to be expected based on historical data. In contrast, the worst-case competitive analysis approach minimizes the maximum regret based on worst-case scenarios. Hence the results, presented in the form of research papers, show that combining this optimistic view with this pessimistic view provides an insight into the applicability of online conversion algorithms to practical problems. The work concludes giving directions for future work.Ein Conversion Problem befasst sich mit dem Eintausch eines Vermögenswertes in einen anderen Vermögenswert unter Berücksichtigung eines möglichen Rücktausches. Diese Arbeit untersucht Online-Algorithmen, die diesen Eintausch vornehmen. Der klassische Ansatz zur Performanceanalyse von Online Conversion Algorithmen ist, heuristische Algorithmen aus einer experimentellen Perspektive zu untersuchen; garantierende Algorithmen jedoch aus einer analytischen. Die vorliegende Arbeit verbindet diese beiden Ansätze mit dem Ziel, die praktische Anwendbarkeit der Algorithmen zu überprüfen. Wir konzentrieren uns auf die Analyse des präemtiven und des nicht-präemtiven Online Conversion Problems aus der Literatur und ermitteln empirische sowie analytische Ergebnisse. Kompetitive Analyse wird unter Berücksichtigung von worst-case Szenarien durchgeführt. Erstens soll die Frage beantwortet werden, ob die Anwendbarkeit heuristischer Algorithmen durch Kompetitive Analyse verifiziert werden kann. Dazu wird der kompetitive Faktor von ausgewählten heuristischen Algorithmen mittels worst-case Analyse abgeleitet. Zweitens soll die Frage beantwortet werden, ob die Anwendbarkeit garantierender Algorithmen durch Experimente überprüft werden kann. Empirische Ergebnisse ausgewählter Algorithmen werden mit Hilfe der Explorativen Datenanalyse ermittelt. Backtesting wird unter der Annahme der Unsicherheit über zukünftige Preise der Vermögenswerte durchgeführt und die Ergebnisse statistisch ausgewertet. Die empirische Analyse quantifiziert die zu erwartende Rendite auf Basis historischer Daten. Im Gegensatz dazu, minimiert die Kompetitive Analyse das maximale Bedauern auf Basis von worst-case Szenarien. Die Ergebnisse, welche in Form von Publikationen präsentiert werden, zeigen, dass die Kombination der optimistischen mit der pessimistischen Sichtweise einen Rückschluss auf die praktische Anwendbarkeit der untersuchten Online-Algorithmen zulässt. Abschließend werden offene Forschungsfragen genannt

Online independent sets

AbstractWe study the online version of the independent set problem in graphs. The vertices of an input graph are given one by one along with their edges to previous vertices, and the task is to decide whether to add each given vertex to an independent set solution. The goal is to maximize the size of the independent set, relative to the size of the optimal independent set. Since it is known that no online algorithm can attain competitive ratio better than n−1, where n denotes the number of vertices, we study here relaxations where the algorithm can hedge its bets by maintaining multiple alternative solutions.We introduce two models. In the first model, the algorithm can maintain a multiple number (r(n)) of solutions (independent sets) and choose the largest one as the final solution. We show that the best competitive ratio for this model is θ(n/logn) when r(n) is a polynomial and θ(n) when r(n) is a constant. In the second more powerful model, the algorithm can copy intermediate solutions and extend the copied solutions in different ways. We obtain an upper bound O(n/logn) and a lower bound Ω(n/log3n) for the best possible competitive ratio when r(n) is a polynomial. Furthermore, we show a tight θ(n) bound when r(n) is a constant. Lower bound results of this paper hold also for randomized online algorithms against an oblivious adversary