English
Related papers

Related papers: Discovering and Certifying Lower Bounds for the On…

200 papers

The online knapsack problem is a classic online resource allocation problem in networking and operations research. Its basic version studies how to pack online arriving items of different sizes and values into a capacity-limited knapsack.…

Data Structures and Algorithms · Computer Science 2023-03-16 Bo Sun , Lin Yang , Mohammad Hajiesmaili , Adam Wierman , John C. S. Lui , Don Towsley , Danny H. K. Tsang

Uncertainty quantification is crucial in safety-critical systems, where decisions must be made under uncertainty. In particular, we consider the problem of online uncertainty quantification, where data points arrive sequentially. Online…

Machine Learning · Computer Science 2026-04-21 Junyoung Yang , Kyungmin Kim , Sangdon Park

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. As a consequence, we are able to translate decades of research on randomized…

Data Structures and Algorithms · Computer Science 2016-08-22 Jesper W. Mikkelsen

We consider the online $k$-median clustering problem in which $n$ points arrive online and must be irrevocably assigned to a cluster on arrival. As there are lower bound instances that show that an online algorithm cannot achieve a…

Data Structures and Algorithms · Computer Science 2023-03-28 Benjamin Moseley , Heather Newman , Kirk Pruhs

Consider a storage area where arriving items are stored temporarily in bounded capacity stacks until their departure. We look into the problem of deciding where to put an arriving item with the objective of minimizing the maximum number of…

Data Structures and Algorithms · Computer Science 2020-06-11 Martin Olsen , Allan Gross

We study a two-dimensional generalization of the classical Bin Packing problem, denoted as 2D Demand Bin Packing. In this context, each bin is a horizontal timeline, and rectangular tasks (representing electric appliances or computational…

Data Structures and Algorithms · Computer Science 2025-08-20 Susanne Albers , Waldo Gálvez , Ömer Behic Özdemir

We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. We uncover incompletenesses in existing…

Logic in Computer Science · Computer Science 2023-06-22 Robin Eßmann , Tobias Nipkow , Simon Robillard , Ujkan Sulejmani

In the online multiple knapsack problem, an algorithm faces a stream of items, and each item has to be either rejected or stored irrevocably in one of $n$ bins (knapsacks) of equal size. The gain of an~algorithm is equal to the sum of sizes…

Data Structures and Algorithms · Computer Science 2020-04-29 Marcin Bienkowski , Maciej Pacut , Krzysztof Piecuch

The online unit clustering problem was proposed by Chan and Zarrabi-Zadeh (WAOA2007 and Theory of Computing Systems 45(3), 2009), which is defined as follows: "Points" are given online in the $d$-dimensional Euclidean space one by one. An…

Data Structures and Algorithms · Computer Science 2015-02-10 Jun Kawahara , Koji M. Kobayashi

We consider several extensions of the fractional bin packing problem, a relaxation of the traditional bin packing problem where the objects may be split across multiple bins. In these extensions, we introduce load-balancing constraints…

Data Structures and Algorithms · Computer Science 2018-10-30 Davi Castro-Silva , Eric Gourdin

The online assignment problem plays an important role in operational research and computer science which is why immense attention has been given to improving its solution quality. Due to the incomplete information about the input, it is…

Computational Complexity · Computer Science 2022-08-09 Clarence Gabriel R. Kasilag , Pollux M. Rey , Jhoirene B. Clemente

In 1967, Moon and Moser proved a tight bound on the critical density of squares in squares: any set of squares with a total area of at most 1/2 can be packed into a unit square, which is tight. The proof requires full knowledge of the set,…

Discrete Mathematics · Computer Science 2017-01-03 Sándor P. Fekete , Hella-Franziska Hoffmann

We study a variant of online bin packing, called colorful bin packing. In this problem, items that are presented one by one are to be packed into bins of size 1. Each item i has a size s_i \in [0,1] and a color c_i \in C, where C is a set…

Data Structures and Algorithms · Computer Science 2014-04-16 Gyorgy Dosa , Leah Epstein

We introduce and study the weighted version of an online matching problem in the Euclidean plane with non-crossing constraints: points with non-negative weights arrive online, and an algorithm can match an arriving point to one of the…

Data Structures and Algorithms · Computer Science 2026-03-11 Joan Boyar , Shahin Kamali , Kim S. Larsen , Ali Fata Lavasani , Yaqiao Li , Denis Pankratov

As a popular form of knowledge and experience, patterns and their identification have been critical tasks in most data mining applications. However, as far as we are aware, no study has systematically examined the dynamics of pattern values…

Optimization and Control · Mathematics 2024-09-10 Huayan Zhang , Ruibin Bai , Tie-Yan Liu , Jiawei Li , Bingchen Lin , Jianfeng Ren

We first give an improved lower bound for the deterministic online simulation of tapes or pushdown stores by queues. Then we inspect some proofs in a classical work on queue machines in the area of Formal Languages and outline why a main…

Computational Complexity · Computer Science 2018-03-13 Holger Petersen

Cooperation between mobile robots and wireless sensor networks is a line of research that is currently attracting a lot of attention. In this context, we study the following problem of barrier coverage by stationary wireless sensors that…

Data Structures and Algorithms · Computer Science 2014-10-27 J. Czyzowicz , E. Kranakis , D. Krizanc , L. Narayanan , J. Opatrny

The online search problem is a fundamental problem in finance. The numerous direct applications include searching for optimal prices for commodity trading and trading foreign currencies. In this paper, we analyze the advice complexity of…

Data Structures and Algorithms · Computer Science 2017-01-10 Jhoirene Clemente , Juraj Hromkovic , Dennis Komm , Christian Kudahl

The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-04-01 Fabian Kuhn , Thomas Moscibroda , Roger Wattenhofer

In this paper, we study two variants of the online metric matching problem. The first problem is the online metric matching problem where all the servers are placed at one of two positions in the metric space. We show that a simple greedy…

Data Structures and Algorithms · Computer Science 2020-10-01 Toshiya Itoh , Shuichi Miyazaki , Makoto Satake
‹ Prev 1 3 4 5 6 7 10 Next ›