-
A Tight Approximation for Fully Dynamic Bin Packing without Bundling
Authors:
Björn Feldkord,
Matthias Feldotto,
Sören Riechers
Abstract:
We consider a variant of the classical Bin Packing Problem, called Fully Dynamic Bin Packing. In this variant, items of a size in $(0,1]$ must be packed in bins of unit size. In each time step, an item either arrives or departs from the packing. An algorithm for this problem must maintain a feasible packing while only repacking a bounded number of items in each time step.
We develop an algorithm…
▽ More
We consider a variant of the classical Bin Packing Problem, called Fully Dynamic Bin Packing. In this variant, items of a size in $(0,1]$ must be packed in bins of unit size. In each time step, an item either arrives or departs from the packing. An algorithm for this problem must maintain a feasible packing while only repacking a bounded number of items in each time step.
We develop an algorithm which repacks only a constant number of items per time step and, unlike previous work, does not rely on bundling of small items which allowed those solutions to move an unbounded number of small items as one. Our algorithm has an asymptotic approximation ratio of roughly $1.3871$ which is complemented by a lower bound of Balogh et al., resulting in a tight approximation ratio for this problem. As a direct corollary, we also close the gap to the lower bound of the Relaxed Online Bin Packing Problem in which only insertions of items occur.
△ Less
Submitted 24 May, 2018; v1 submitted 3 November, 2017;
originally announced November 2017.
-
Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times
Authors:
Alexander Mäcker,
Manuel Malatyali,
Friedhelm Meyer auf der Heide,
Sören Riechers
Abstract:
Consider a problem in which $n$ jobs that are classified into $k$ types arrive over time at their release times and are to be scheduled on a single machine so as to minimize the maximum flow time. The machine requires a setup taking $s$ time units whenever it switches from processing jobs of one type to jobs of a different type. We consider the problem as an online problem where each job is only k…
▽ More
Consider a problem in which $n$ jobs that are classified into $k$ types arrive over time at their release times and are to be scheduled on a single machine so as to minimize the maximum flow time. The machine requires a setup taking $s$ time units whenever it switches from processing jobs of one type to jobs of a different type. We consider the problem as an online problem where each job is only known to the scheduler as soon as it arrives and where the processing time of a job only becomes known upon its completion (non-clairvoyance).
We are interested in the potential of simple "greedy-like" algorithms. We analyze a modification of the FIFO strategy and show its competitiveness to be $Θ(\sqrt{n})$, which is optimal for the considered class of algorithms. For $k=2$ types it achieves a constant competitiveness. Our main insight is obtained by an analysis of the smoothed competitiveness. If processing times $p_j$ are independently perturbed to $\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(σ^{-2} \log^2 n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with standard deviation $σ$. The result proves that bad instances are fragile and "practically" one might expect a much better performance than given by the $Ω(\sqrt{n})$-bound.
△ Less
Submitted 18 September, 2017;
originally announced September 2017.
-
Monitoring of Domain-Related Problems in Distributed Data Streams
Authors:
Pascal Bemmann,
Felix Biermeier,
Jan Bürmann,
Arne Kemper,
Till Knollmann,
Steffen Knorr,
Nils Kothe,
Alexander Mäcker,
Manuel Malatyali,
Friedhelm Meyer auf der Heide,
Sören Riechers,
Johannes Schaefer,
Jannik Sundermeier
Abstract:
Consider a network in which $n$ distributed nodes are connected to a single server. Each node continuously observes a data stream consisting of one value per discrete time step. The server has to continuously monitor a given parameter defined over all information available at the distributed nodes. That is, in any time step $t$, it has to compute an output based on all values currently observed ac…
▽ More
Consider a network in which $n$ distributed nodes are connected to a single server. Each node continuously observes a data stream consisting of one value per discrete time step. The server has to continuously monitor a given parameter defined over all information available at the distributed nodes. That is, in any time step $t$, it has to compute an output based on all values currently observed across all streams. To do so, nodes can send messages to the server and the server can broadcast messages to the nodes. The objective is the minimisation of communication while allowing the server to compute the desired output.
We consider monitoring problems related to the domain $D_t$ defined to be the set of values observed by at least one node at time $t$. We provide randomised algorithms for monitoring $D_t$, (approximations of) the size $|D_t|$ and the frequencies of all members of $D_t$. Besides worst-case bounds, we also obtain improved results when inputs are parameterised according to the similarity of observations between consecutive time steps. This parameterisation allows to exclude inputs with rapid and heavy changes, which usually lead to the worst-case bounds but might be rather artificial in certain scenarios.
△ Less
Submitted 12 June, 2017;
originally announced June 2017.
-
Cost-efficient Scheduling on Machines from the Cloud
Authors:
Alexander Mäcker,
Manuel Malatyali,
Friedhelm Meyer auf der Heide,
Sören Riechers
Abstract:
We consider a scheduling problem where machines need to be rented from the cloud in order to process jobs. There are two types of machines available which can be rented for machine-type dependent prices and for arbitrary durations. However, a machine-type dependent setup time is required before a machine is available for processing. Jobs arrive online over time, have machine-type dependent sizes a…
▽ More
We consider a scheduling problem where machines need to be rented from the cloud in order to process jobs. There are two types of machines available which can be rented for machine-type dependent prices and for arbitrary durations. However, a machine-type dependent setup time is required before a machine is available for processing. Jobs arrive online over time, have machine-type dependent sizes and have individual deadlines. The objective is to rent machines and schedule jobs so as to meet all deadlines while minimizing the rental cost.
Since we observe the slack of jobs to have a fundamental influence on the competitiveness, we study the model when instances are parameterized by their (minimum) slack. An instance is called to have a slack of $β$ if, for all jobs, the difference between the job's release time and the latest point in time at which it needs to be started is at least $β$. While for $β< s$ no finite competitiveness is possible, our main result is an $O(\frac{c}{\varepsilon} + \frac{1}{\varepsilon^3})$-competitive online algorithm for $β= (1+\varepsilon)s$ with $\frac{1}{s} \leq \varepsilon \leq 1$, where $s$ and $c$ denotes the largest setup time and the cost ratio of the machine-types, respectively. It is complemented by a lower bound of $Ω(\frac{c}{\varepsilon})$.
△ Less
Submitted 21 December, 2016; v1 submitted 5 September, 2016;
originally announced September 2016.
-
On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games
Authors:
Maximilian Drees,
Matthias Feldotto,
Sören Riechers,
Alexander Skopalik
Abstract:
In \emph{bandwidth allocation games} (BAGs), the strategy of a player consists of various demands on different resources. The player's utility is at most the sum of these demands, provided they are fully satisfied. Every resource has a limited capacity and if it is exceeded by the total demand, it has to be split between the players. Since these games generally do not have pure Nash equilibria, we…
▽ More
In \emph{bandwidth allocation games} (BAGs), the strategy of a player consists of various demands on different resources. The player's utility is at most the sum of these demands, provided they are fully satisfied. Every resource has a limited capacity and if it is exceeded by the total demand, it has to be split between the players. Since these games generally do not have pure Nash equilibria, we consider approximate pure Nash equilibria, in which no player can improve her utility by more than some fixed factor $α$ through unilateral strategy changes. There is a threshold $α_δ$ (where $δ$ is a parameter that limits the demand of each player on a specific resource) such that $α$-approximate pure Nash equilibria always exist for $α\geq α_δ$, but not for $α< α_δ$. We give both upper and lower bounds on this threshold $α_δ$ and show that the corresponding decision problem is ${\sf NP}$-hard. We also show that the $α$-approximate price of anarchy for BAGs is $α+1$. For a restricted version of the game, where demands of players only differ slightly from each other (e.g. symmetric games), we show that approximate Nash equilibria can be reached (and thus also be computed) in polynomial time using the best-response dynamic. Finally, we show that a broader class of utility-maximization games (which includes BAGs) converges quickly towards states whose social welfare is close to the optimum.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Non-Preemptive Scheduling on Machines with Setup Times
Authors:
Alexander Mäcker,
Manuel Malatyali,
Friedhelm Meyer auf der Heide,
Sören Riechers
Abstract:
Consider the problem in which n jobs that are classified into k types are to be scheduled on m identical machines without preemption. A machine requires a proper setup taking s time units before processing jobs of a given type. The objective is to minimize the makespan of the resulting schedule. We design and analyze an approximation algorithm that runs in time polynomial in n, m and k and compute…
▽ More
Consider the problem in which n jobs that are classified into k types are to be scheduled on m identical machines without preemption. A machine requires a proper setup taking s time units before processing jobs of a given type. The objective is to minimize the makespan of the resulting schedule. We design and analyze an approximation algorithm that runs in time polynomial in n, m and k and computes a solution with an approximation factor that can be made arbitrarily close to 3/2.
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Budget-restricted utility games with ordered strategic decisions
Authors:
Maximilian Drees,
Sören Riechers,
Alexander Skopalik
Abstract:
We introduce the concept of budget games. Players choose a set of tasks and each task has a certain demand on every resource in the game. Each resource has a budget. If the budget is not enough to satisfy the sum of all demands, it has to be shared between the tasks. We study strategic budget games, where the budget is shared proportionally. We also consider a variant in which the order of the str…
▽ More
We introduce the concept of budget games. Players choose a set of tasks and each task has a certain demand on every resource in the game. Each resource has a budget. If the budget is not enough to satisfy the sum of all demands, it has to be shared between the tasks. We study strategic budget games, where the budget is shared proportionally. We also consider a variant in which the order of the strategic decisions influences the distribution of the budgets. The complexity of the optimal solution as well as existence, complexity and quality of equilibria are analyzed. Finally, we show that the time an ordered budget game needs to convergence towards an equilibrium may be exponential.
△ Less
Submitted 11 July, 2014;
originally announced July 2014.
