Randomized Algorithms for Online Vector Load Balancing

Yossi Azar, Ilan R. Cohen, Debmalya Panigrahi
SODA 18 ACM-SIAM Symposium on Discrete Algorithms
We study randomized algorithms for the online vector bin packing and vector scheduling problems. For vector bin packing, we achieve a competitive ratio of O(d1/B), where d is the number of dimensions and B the size of a bin. This improves the previous bound of d1/(B-1) by a polynomial factor, and is tight up to logarithmic factors. For vector scheduling, we show a lower bound of W((log d)/(log log d)) on the competitive ratio of randomized algorithms, which is the first result for randomized algorithms and is asymptotically tight. Finally, we analyze the widely used ``power of two choices¢ algorithm for vector scheduling, and show that its competitive ratio is O(log log n + (log d)/(log log d)), which is optimal up to the additive O(log log n) term that also appears in the scalar version of this algorithm.

Randomized Online Matching in Regular Graphs

Ilan R. Cohen, David Wajc
SODA 18 ACM-SIAM Symposium on Discrete Algorithms
In this paper we study the classic online matching problem, introduced in the seminal work of Karp, Vazirani and Vazirani (STOC 1990), in regular graphs. For such graphs, an optimal deterministic algorithm as well as efficient algorithms under stochastic input assumptions were known. In this work, we present a novel randomized algorithm with competitive ratio tending to one on this family of graphs, under adversarial arrival order. Our main contribution is a novel algorithm which achieves competitive ratio 1-O(sqrt(log d)/ sqrt(d)) in expectation on d-regular graphs. In contrast, we show that all previously-studied online algorithms have competitive ratio strictly bounded away from one. Moreover, we show the convergence rate of our algorithm’s competitive ratio to one is nearly tight, as no algorithm achieves competitive ratio better than 1-O(1/sqrt(d)). Finally, we show that our algorithm yields a similar competitive ratio with high probability, as well as guaranteeing each vertex a probability of being matched tending to one.

Online Algorithms for Packing and Covering Problems with Convex Objectives

Yossi Azar, Ilan R. Cohen, Debmalya Panigrahi (Joint submission with two other groups)
FOCS 17 IEEE Symposium on Foundations of Computer Science
We study the online convex covering problem and online convex packing problem. The (offline) convex covering problem is modeled by the following convex program:
minx Î Rn+ f(x) s.t. A x ³ 1
where f : Rn+ ® R+ is a monotone and convex cost function, and A is an m X n matrix with non-negative entries. Each row of the constraint matrix A corresponds to a covering constraint. In the online problem, each row of A comes online and the algorithm must maintain a feasible assignment x and may only increase x over time. The (offline) convex packing problem is modeled by the following convex program:
maxy Î Rm+ åj = 1m yj - g(AT y)
where g : Rn+ ® R+ is a monotone and convex cost function. It is the Fenchel dual program of convex covering when g is the convex conjugate of f. In the online problem, each variable yj arrives online and the algorithm must decide the value of yj on its arrival.

Online Lower Bounds via Duality

Yossi Azar, Ilan R. Cohen, Alan Roytman
SODA 17 ACM-SIAM Symposium on Discrete Algorithms
In this paper, we exploit linear programming duality in the online setting, where input arrives on the fly, from the unique perspective of designing lower bounds (i.e., hardness results) on the competitive ratio. In particular, we provide a systematic method (as opposed to ad hoc case analysis that is typically done) for obtaining online deterministic and randomized lower bounds on the competitive ratio for a wide variety of problems. We show the usefulness of our approach by providing new, tight hardness results for three diverse online problems: the Vector Bin Packing problem, Ad-auctions (and various online matching problems), and the Capital Investment problem. Our methods are sufficiently general that they can also be used to reconstruct existing lower bounds. Our approach is in stark contrast to previous works, which exploit linear programming duality to obtain positive results, often via the useful primal-dual scheme. We design a general recipe with the opposite aim of obtaining negative results via duality. The general idea behind our approach is to construct a parameterized family of primal linear programs based on a candidate collection of input sequences for proving the lower bound, where the objective function corresponds to optimizing the competitive ratio. Solving the parameterized family of primal linear programs optimally would yield a valid lower bound, but is a challenging task and limits the tools that can be applied, since analysis must be done precisely and exact optimality needs to be proved. To this end, we consider the corresponding parameterized family of dual linear programs and provide feasible solutions, where the objective function yields a lower bound on the competitive ratio. This opens up additional doors for analysis, including some of the techniques we employ (e.g., continuous analysis, differential equations, etc.), as we need not be so careful about exact optimality. We are confident that our methods can be successfully applied to produce many more lower bounds for a wide array of online problems.

Packing Small Vectors

Yossi Azar, Ilan R. Cohen, Amos Fiat, Alan Roytman
SODA 16 ACM-SIAM Symposium on Discrete Algorithms
Online d-dimensional vector packing models many settings such as minimizing resources in data centers where jobs have multiple resource requirements (CPU, Memory, etc.). However, no online d-dimensional vector packing algorithm can achieve a competitive ratio better than d. Fortunately, in many natural applications, vectors are relatively small, and thus the lower bound does not hold. For sufficiently small vectors, an O(log d)-competitive algorithm was known. We improve this to a constant competitive ratio, arbitrarily close to e » 2.718, given that vectors are sufficiently small. We give improved results for the two dimensional case. For arbitrarily small vectors, the first fit algorithm for two dimensional vector packing is no better than 2-competitive. We present a natural family of first fit variants, and for optimized parameters get a competitive ratio » 1.48 for sufficiently small vectors. We improve upon the 1.48 competitive ratio -- not via a first fit variant -- and give a competitive ratio arbitrarily close to 4/3 for packing small, two dimensional vectors. We show that no algorithm can achieve better than a 4/3 competitive ratio for two dimensional vectors, even if one allows the algorithm to split vectors among arbitrarily many bins.

Serving in the Dark should be done Non-Uniformly

Yossi Azar, Ilan R. Cohen
ICALP 15 The International Colloquium on Automata, Languages, and Programming
We study the following balls and bins stochastic game between a player and an adversary: there are B bins and a sequence of ball arrival and extraction events. In an arrival event a ball is stored in an empty bin chosen by the adversary and discarded if no bin is empty. In an extraction event, an algorithm selects a bin, clears it, and gains its content. We are interested in analyzing the gain of an algorithm which serves in the dark without any feedback at all, i.e., does not see the sequence, the content of the bins, and even the content of the cleared bins (i.e. an oblivious algorithm). We compare that gain to the gain of an optimal, open eyes, strategy that gets the same online sequence. We name this gain ratio the "loss of serving in the dark". The randomized algorithm that was previously analyzed is choosing a bin independently and uniformly at random, which resulted in a competitive ratio of about 1.69. We show that although no information is ever provided to the algorithm, using non-uniform probability distribution reduces the competitive ratio. Specifically, we design a 1.55-competitive algorithm and establish a lower bound of 1.5. We also prove a lower bound of 2 against any deterministic algorithm. This matches the performance of the round robin 2-competitive strategy. Finally, we present an application relating to a prompt mechanism for bounded capacity auctions.

Pricing Online Decisions: Beyond Auctions

Ilan R. Cohen, Alon Eden, Amos Fiat, Lukasz Jez
SODA 15 ACM-SIAM Symposium on Discrete Algorithms
We consider dynamic pricing schemes in online settings where selfish agents generate online events. Previous work on online mechanisms has dealt almost entirely with the goal of maximizing social welfare or revenue in an auction settings. This paper deals with quite general settings and minimizing social costs. We show that appropriately computed posted prices allow one to achieve essentially the same performance as the best online algorithm. This holds in a wide variety of settings. Unlike online algorithms that learn about the event, and then make enforceable decisions, prices are posted without knowing the future events or even the current event, and are thus inherently dominant strategy incentive compatible. In particular we show that one can give efficient posted price mechanisms for metrical task systems, some instances of the $k$-server problem, and metrical matching problems. We give both deterministic and randomized algorithms. Such posted price mechanisms decrease the social cost dramatically over selfish behavior where no decision incurs a charge. One alluring application of this is reducing the social cost of free parking exponentially.

Tight Bounds for Online Vector Bin Packing

Yossi Azar, Ilan R. Cohen, Seny Kamara, Bruce Shepherd
STOC 13 ACM Symposium on the Theory of Computing
In the d-dimensional bin packing problem (VBP), one is given vectors x1,x2, ¼ ,xn Î Rd and the goal is to find a partition into a minimum number of feasible sets: {1,2 ¼ ,n} = Èis Bi. A set Bi is feasible if åj Î Bi xj £ 1, where 1 denotes the all 1¢s vector. For online VBP, it has been outstanding for almost 20 years to clarify the gap between the best lower bound W(1) on the competitive ratio versus the best upper bound of O(d). We settle this by describing a W(d1-e ) lower bound. We also give strong lower bounds (of W(d(1)/(B)-e ) ) if the bin size B Î Z+ is allowed to grow. Finally, we discuss almost-matching upper bound results for general values of B; we show an upper bound whose exponent is additively ``shifted by 1" from the lower bound exponent.

The Loss of Serving in The Dark

Yossi Azar, Ilan R. Cohen, Iftach Gamzu
STOC 13 ACM Symposium on the Theory of Computing
We study the following balls and bins stochastic process: There is a buffer with B bins, and there is a stream of balls X = á X1, X2, ¼ ,XT ñ such that Xi is the number of balls that arrive before time i but after time i-1. Once a ball arrives, it is stored in one of the unoccupied bins. If all the bins are occupied then the ball is thrown away. In each time step, we select a bin uniformly at random, clear it, and gain its content. Once the stream of balls ends, all the remaining balls in the buffer are cleared and added to our gain. We are interested in analyzing the expected gain of this randomized process with respect to that of an optimal gain-maximizing strategy, which gets the same online stream of balls, and clears a ball from a bin, if exists, at any step. We name this gain ratio the loss of serving in the dark. In this paper, we determine the exact loss of serving in the dark. We prove that the expected gain of the randomized process is worse by a factor of r + e from that of the optimal gain-maximizing strategy for any e > 0, where r = maxa > 1 a ea /((a-1)ea + e - 1) » 1.69996 and B = W (1/e3). We also demonstrate that this bound is essentially tight as there are specific ball streams for which the above-mentioned gain ratio tends to r. Our stochastic process occurs naturally in many applications. We present a prompt and truthful mechanism for bounded capacity auctions, and an application relating to packets scheduling.

Education & Academic Positions

Centrum Wiskunde & Informatica

2018 - Present

Postdoctoral Fellow

Carnegie Mellon University and University of Pittsburgh

2017 - 2018

Postdoctoral Fellow

Simons Institute and I-CORE

2016 - 2017

Postdoctoral Fellow

Tel Aviv University

2011 - 2016

Ph.D. in Computer Science

Tel Aviv University

2008 - 2010

M.Sc. in Computer Science


2001 - 2004

B.Sc. in Computer Science



Fulbright Post-doctoral Scholar Fellowship


Jorge Deutsch Prize for excellence in PhD studies


The Gutwirth foundation scholarships



Teaching Assistant in Algorithms at Tel Aviv University


Programming Skills

C++, C#, Java, Matlab

Advanced Skills