-
Online busy time scheduling with flexible jobs
Authors:
Susanne Albers,
G. Wessel van der Heijden
Abstract:
We present several competitive ratios for the online busy time scheduling problem with flexible jobs. The busy time scheduling problem is a fundamental scheduling problem motivated by energy efficiency with the goal of minimizing the total time that machines with multiple processors are enabled. In the busy time scheduling problem, an unbounded number of machines is given, where each machine has…
▽ More
We present several competitive ratios for the online busy time scheduling problem with flexible jobs. The busy time scheduling problem is a fundamental scheduling problem motivated by energy efficiency with the goal of minimizing the total time that machines with multiple processors are enabled. In the busy time scheduling problem, an unbounded number of machines is given, where each machine has $g$ processors. No more than $g$ jobs can be scheduled simultaneously on each machine. A machine consumes energy whenever at least one job is scheduled at any time on the machine. Scheduling a single job at some time $t$ consumes the same amount of energy as scheduling $g$ jobs at time $t$. In the online setting, jobs are revealed when they are released.
We consider the cases where $g$ is unbounded and bounded. In this paper, we revisit the bounds of the unbounded general setting from the literature and tighten it significantly. We also consider agreeable jobs. For the bounded setting, we show a tightened upper bound. Furthermore, we show the first constant competitive ratio in the bounded setting that does not require lookahead.
△ Less
Submitted 14 May, 2024;
originally announced May 2024.
-
Tight Bounds for Online Matching in Bounded-Degree Graphs with Vertex Capacities
Authors:
Susanne Albers,
Sebastian Schubert
Abstract:
We study the $b$-matching problem in bipartite graphs $G=(S,R,E)$. Each vertex $s\in S$ is a server with individual capacity $b_s$. The vertices $r\in R$ are requests that arrive online and must be assigned instantly to an eligible server. The goal is to maximize the size of the constructed matching. We assume that $G$ is a $(k,d)$-graph~\cite{NW}, where $k$ specifies a lower bound on the degree o…
▽ More
We study the $b$-matching problem in bipartite graphs $G=(S,R,E)$. Each vertex $s\in S$ is a server with individual capacity $b_s$. The vertices $r\in R$ are requests that arrive online and must be assigned instantly to an eligible server. The goal is to maximize the size of the constructed matching. We assume that $G$ is a $(k,d)$-graph~\cite{NW}, where $k$ specifies a lower bound on the degree of each server and $d$ is an upper bound on the degree of each request. This setting models matching problems in timely applications.
We present tight upper and lower bounds on the performance of deterministic online algorithms. In particular, we develop a new online algorithm via a primal-dual analysis. The optimal competitive ratio tends to~1, for arbitrary $k\geq d$, as the server capacities increase. Hence, nearly optimal solutions can be computed online. Our results also hold for the vertex-weighted problem extension, and thus for AdWords and auction problems in which each bidder issues individual, equally valued bids.
Our bounds improve the previous best competitive ratios. The asymptotic competitiveness of~1 is a significant improvement over the previous factor of $1-1/e^{k/d}$, for the interesting range where $k/d\geq 1$ is small. Recall that $1-1/e\approx 0.63$. Matching problems that admit a competitive ratio arbitrarily close to~1 are rare. Prior results rely on randomization or probabilistic input models.
△ Less
Submitted 30 June, 2022;
originally announced June 2022.
-
Machine Covering in the Random-Order Model
Authors:
Susanne Albers,
Waldo Gálvez,
Maximilian Janke
Abstract:
In the Online Machine Covering problem jobs, defined by their sizes, arrive one by one and have to be assigned to $m$ parallel and identical machines, with the goal of maximizing the load of the least-loaded machine. In this work, we study the Machine Covering problem in the recently popular random-order model. Here no extra resources are present, but instead the adversary is weakened in that it c…
▽ More
In the Online Machine Covering problem jobs, defined by their sizes, arrive one by one and have to be assigned to $m$ parallel and identical machines, with the goal of maximizing the load of the least-loaded machine. In this work, we study the Machine Covering problem in the recently popular random-order model. Here no extra resources are present, but instead the adversary is weakened in that it can only decide upon the input set while jobs are revealed uniformly at random. It is particularly relevant to Machine Covering where lower bounds are usually associated to highly structured input sequences.
We first analyze Graham's Greedy-strategy in this context and establish that its competitive ratio decreases slightly to $Θ\left(\frac{m}{\log(m)}\right)$ which is asymptotically tight. Then, as our main result, we present an improved $\tilde{O}(\sqrt[4]{m})$-competitive algorithm for the problem. This result is achieved by exploiting the extra information coming from the random order of the jobs, using sampling techniques to devise an improved mechanism to distinguish jobs that are relatively large from small ones. We complement this result with a first lower bound showing that no algorithm can have a competitive ratio of $O\left(\frac{\log(m)}{\log\log(m)}\right)$ in the random-order model. This lower bound is achieved by studying a novel variant of the Secretary problem, which could be of independent interest.
△ Less
Submitted 27 October, 2021; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Algorithms for Right-Sizing Heterogeneous Data Centers
Authors:
Susanne Albers,
Jens Quedenfeld
Abstract:
Power consumption is a dominant and still growing cost factor in data centers. In time periods with low load, the energy consumption can be reduced by powering down unused servers. We resort to a model introduced by Lin, Wierman, Andrew and Thereska that considers data centers with identical machines, and generalize it to heterogeneous data centers with $d$ different server types. The operating co…
▽ More
Power consumption is a dominant and still growing cost factor in data centers. In time periods with low load, the energy consumption can be reduced by powering down unused servers. We resort to a model introduced by Lin, Wierman, Andrew and Thereska that considers data centers with identical machines, and generalize it to heterogeneous data centers with $d$ different server types. The operating cost of a server depends on its load and is modeled by an increasing, convex function for each server type. In contrast to earlier work, we consider the discrete setting, where the number of active servers must be integral. Thereby, we seek truly feasible solutions. For homogeneous data centers ($d=1$), both the offline and the online problem were solved optimally by Albers and Quedenfeld (2018).
In this paper, we study heterogeneous data centers with general time-dependent operating cost functions. We develop an online algorithm based on a work function approach which achieves a competitive ratio of $2d + 1 + ε$ for any $ε> 0$. For time-independent operating cost functions, the competitive ratio can be reduced to $2d + 1$. There is a lower bound of $2d$ shown by Albers and Quedenfeld (2021), so our algorithm is nearly optimal. For the offline version, we give a graph-based $(1+ε)$-approximation algorithm. Additionally, our offline algorithm is able to handle time-variable data-center sizes.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Algorithms for Energy Conservation in Heterogeneous Data Centers
Authors:
Susanne Albers,
Jens Quedenfeld
Abstract:
Power consumption is the major cost factor in data centers. It can be reduced by dynamically right-sizing the data center according to the currently arriving jobs. If there is a long period with low load, servers can be powered down to save energy. For identical machines, the problem has already been solved optimally by Lin et al. (2013) and Albers and Quedenfeld (2018).
In this paper, we study…
▽ More
Power consumption is the major cost factor in data centers. It can be reduced by dynamically right-sizing the data center according to the currently arriving jobs. If there is a long period with low load, servers can be powered down to save energy. For identical machines, the problem has already been solved optimally by Lin et al. (2013) and Albers and Quedenfeld (2018).
In this paper, we study how a data-center with heterogeneous servers can dynamically be right-sized to minimize the energy consumption. There are $d$ different server types with various operating and switching costs. We present a deterministic online algorithm that achieves a competitive ratio of $2d$ as well as a randomized version that is $1.58d$-competitive. Furthermore, we show that there is no deterministic online algorithm that attains a competitive ratio smaller than $2d$. Hence our deterministic algorithm is optimal. In contrast to related problems like convex body chasing and convex function chasing, we investigate the discrete setting where the number of active servers must be integral, so we gain truly feasible solutions.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Scheduling with Testing on Multiple Identical Parallel Machines
Authors:
Susanne Albers,
Alexander Eckl
Abstract:
Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be explored by running a test. Alternatively, jobs can be executed for the duration of a given upper limit. We consider this problem within the setting of multipl…
▽ More
Scheduling with testing is a recent online problem within the framework of explorable uncertainty motivated by environments where some preliminary action can influence the duration of a task. Jobs have an unknown processing time that can be explored by running a test. Alternatively, jobs can be executed for the duration of a given upper limit. We consider this problem within the setting of multiple identical parallel machines and present competitive deterministic algorithms and lower bounds for the objective of minimizing the makespan of the schedule. In the non-preemptive setting, we present the SBS algorithm whose competitive ratio approaches $3.1016$ if the number of machines becomes large. We compare this result with a simple greedy strategy and a lower bound which approaches $2$. In the case of uniform testing times, we can improve the SBS algorithm to be $3$-competitive. For the preemptive case we provide a $2$-competitive algorithm and a tight lower bound which approaches the same value.
△ Less
Submitted 19 August, 2021; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Scheduling in the Secretary Model
Authors:
Susanne Albers,
Maximilian Janke
Abstract:
This paper studies Makespan Minimization in the secretary model. Formally, jobs, specified by their processing times, are presented in a uniformly random order. An online algorithm has to assign each job permanently and irrevocably to one of m parallel and identical machines such that the expected time it takes to process them all, the makespan, is minimized. We give two deterministic algorithms.…
▽ More
This paper studies Makespan Minimization in the secretary model. Formally, jobs, specified by their processing times, are presented in a uniformly random order. An online algorithm has to assign each job permanently and irrevocably to one of m parallel and identical machines such that the expected time it takes to process them all, the makespan, is minimized. We give two deterministic algorithms. First, a straightforward adaptation of the semi-online strategy LightLoad provides a very simple algorithm retaining its competitive ratio of 1.75. A new and sophisticated algorithm is 1.535-competitive. These competitive ratios are not only obtained in expectation but, in fact, for all but a very tiny fraction of job orders. Classically, online makespan minimization only considers the worst-case order. Here, no competitive ratio below 1.885 for deterministic algorithms and 1.581 using randomization is possible. The best randomized algorithm so far is 1.916-competitive. Our results show that classical worst-case orders are quite rare and pessimistic for many applications. They also demonstrate the power of randomization when compared to much stronger deterministic reordering models. We complement our results by providing first lower bounds. A competitive ratio obtained on nearly all possible job orders must be at least 1.257. This implies a lower bound of 1.043 for both deterministic and randomized algorithms in the general model.
△ Less
Submitted 27 October, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Best Fit Bin Packing with Random Order Revisited
Authors:
Susanne Albers,
Arindam Khan,
Leon Ladewig
Abstract:
Best Fit is a well known online algorithm for the bin packing problem, where a collection of one-dimensional items has to be packed into a minimum number of unit-sized bins. In a seminal work, Kenyon [SODA 1996] introduced the (asymptotic) random order ratio as an alternative performance measure for online algorithms. Here, an adversary specifies the items, but the order of arrival is drawn unifor…
▽ More
Best Fit is a well known online algorithm for the bin packing problem, where a collection of one-dimensional items has to be packed into a minimum number of unit-sized bins. In a seminal work, Kenyon [SODA 1996] introduced the (asymptotic) random order ratio as an alternative performance measure for online algorithms. Here, an adversary specifies the items, but the order of arrival is drawn uniformly at random. Kenyon's result establishes lower and upper bounds of 1.08 and 1.5, respectively, for the random order ratio of Best Fit. Although this type of analysis model became increasingly popular in the field of online algorithms, no progress has been made for the Best Fit algorithm after the result of Kenyon.
We study the random order ratio of Best Fit and tighten the long-standing gap by establishing an improved lower bound of 1.10. For the case where all items are larger than 1/3, we show that the random order ratio converges quickly to 1.25. It is the existence of such large items that crucially determines the performance of Best Fit in the general case. Moreover, this case is closely related to the classical maximum-cardinality matching problem in the fully online model. As a side product, we show that Best Fit satisfies a monotonicity property on such instances, unlike in the general case.
In addition, we initiate the study of the absolute random order ratio for this problem. In contrast to asymptotic ratios, absolute ratios must hold even for instances that can be packed into a small number of bins. We show that the absolute random order ratio of Best Fit is at least 1.3. For the case where all items are larger than 1/3, we derive upper and lower bounds of 21/16 and 1.2, respectively.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
Improved Online Algorithms for Knapsack and GAP in the Random Order Model
Authors:
Susanne Albers,
Arindam Khan,
Leon Ladewig
Abstract:
The knapsack problem is one of the classical problems in combinatorial optimization: Given a set of items, each specified by its size and profit, the goal is to find a maximum profit packing into a knapsack of bounded capacity. In the online setting, items are revealed one by one and the decision, if the current item is packed or discarded forever, must be done immediately and irrevocably upon arr…
▽ More
The knapsack problem is one of the classical problems in combinatorial optimization: Given a set of items, each specified by its size and profit, the goal is to find a maximum profit packing into a knapsack of bounded capacity. In the online setting, items are revealed one by one and the decision, if the current item is packed or discarded forever, must be done immediately and irrevocably upon arrival. We study the online variant in the random order model where the input sequence is a uniform random permutation of the item set.
We develop a randomized (1/6.65)-competitive algorithm for this problem, outperforming the current best algorithm of competitive ratio 1/8.06 [Kesselheim et al. SIAM J. Comp. 47(5)]. Our algorithm is based on two new insights: We introduce a novel algorithmic approach that employs two given algorithms, optimized for restricted item classes, sequentially on the input sequence. In addition, we study and exploit the relationship of the knapsack problem to the 2-secretary problem.
The generalized assignment problem (GAP) includes, besides the knapsack problem, several important problems related to scheduling and matching. We show that in the same online setting, applying the proposed sequential approach yields a (1/6.99)-competitive randomized algorithm for GAP. Again, our proposed algorithm outperforms the current best result of competitive ratio 1/8.06 [Kesselheim et al. SIAM J. Comp. 47(5)].
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
New Results for the $k$-Secretary Problem
Authors:
Susanne Albers,
Leon Ladewig
Abstract:
Suppose that $n$ items arrive online in random order and the goal is to select $k$ of them such that the expected sum of the selected items is maximized. The decision for any item is irrevocable and must be made on arrival without knowing future items. This problem is known as the $k$-secretary problem, which includes the classical secretary problem with the special case $k=1$. It is well-known th…
▽ More
Suppose that $n$ items arrive online in random order and the goal is to select $k$ of them such that the expected sum of the selected items is maximized. The decision for any item is irrevocable and must be made on arrival without knowing future items. This problem is known as the $k$-secretary problem, which includes the classical secretary problem with the special case $k=1$. It is well-known that the latter problem can be solved by a simple algorithm of competitive ratio $1/e$ which is optimal for $n \to \infty$. Existing algorithms beating the threshold of $1/e$ either rely on involved selection policies already for $k=2$, or assume that $k$ is large.
In this paper we present results for the $k$-secretary problem, considering the interesting and relevant case that $k$ is small. We focus on simple selection algorithms, accompanied by combinatorial analyses. As a main contribution we propose a natural deterministic algorithm designed to have competitive ratios strictly greater than $1/e$ for small $k \geq 2$. This algorithm is hardly more complex than the elegant strategy for the classical secretary problem, optimal for $k=1$, and works for all $k \geq 1$. We derive its competitive ratios for $k \leq 100$, ranging from $0.41$ for $k=2$ to $0.75$ for $k=100$.
Moreover, we consider an algorithm proposed earlier in the literature, for which no rigorous analysis is known. We show that its competitive ratio is $0.4168$ for $k=2$, implying that the previous analysis was not tight. Our analysis reveals a surprising combinatorial property of this algorithm, which might be helpful to find a tight analysis for all $k$.
△ Less
Submitted 1 December, 2020;
originally announced December 2020.
-
Explorable Uncertainty in Scheduling with Non-Uniform Testing Times
Authors:
Susanne Albers,
Alexander Eckl
Abstract:
The problem of scheduling with testing in the framework of explorable uncertainty models environments where some preliminary action can influence the duration of a task. In the model, each job has an unknown processing time that can be revealed by running a test. Alternatively, jobs may be run untested for the duration of a given upper limit. Recently, Dürr et al. [5] have studied the setting wher…
▽ More
The problem of scheduling with testing in the framework of explorable uncertainty models environments where some preliminary action can influence the duration of a task. In the model, each job has an unknown processing time that can be revealed by running a test. Alternatively, jobs may be run untested for the duration of a given upper limit. Recently, Dürr et al. [5] have studied the setting where all testing times are of unit size and have given lower and upper bounds for the objectives of minimizing the sum of completion times and the makespan on a single machine. In this paper, we extend the problem to non-uniform testing times and present the first competitive algorithms. The general setting is motivated for example by online user surveys for market prediction or querying centralized databases in distributed computing. Introducing general testing times gives the problem a new flavor and requires updated methods with new techniques in the analysis. We present constant competitive ratios for the objective of minimizing the sum of completion times in the deterministic case, both in the non-preemptive and preemptive setting. For the preemptive setting, we additionally give a first lower bound. We also present a randomized algorithm with improved competitive ratio. Furthermore, we give tight competitive ratios for the objective of minimizing the makespan, both in the deterministic and the randomized setting.
△ Less
Submitted 19 August, 2021; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Scheduling in the Random-Order Model
Authors:
Susanne Albers,
Maximilian Janke
Abstract:
Makespan minimization on identical machines is a fundamental problem in online scheduling. The goal is to assign a sequence of jobs to $m$ identical parallel machines so as to minimize the maximum completion time of any job. Already in the 1960s, Graham showed that Greedy is $(2-1/m)$-competitive. The best deterministic online algorithm currently known achieves a competitive ratio of 1.9201. No de…
▽ More
Makespan minimization on identical machines is a fundamental problem in online scheduling. The goal is to assign a sequence of jobs to $m$ identical parallel machines so as to minimize the maximum completion time of any job. Already in the 1960s, Graham showed that Greedy is $(2-1/m)$-competitive. The best deterministic online algorithm currently known achieves a competitive ratio of 1.9201. No deterministic online strategy can obtain a competitiveness smaller than 1.88.
In this paper, we study online makespan minimization in the popular random-order model, where the jobs of a given input arrive as a random permutation. It is known that Greedy does not attain a competitive factor asymptotically smaller than 2 in this setting. We present the first improved performance guarantees. Specifically, we develop a deterministic online algorithm that achieves a competitive ratio of 1.8478. The result relies on a new analysis approach. We identify a set of properties that a random permutation of the input jobs satisfies with high probability. Then we conduct a worst-case analysis of our algorithm, for the respective class of permutations. The analysis implies that the stated competitiveness holds not only in expectation but with high probability. Moreover, it provides mathematical evidence that job sequences leading to higher performance ratios are extremely rare, pathological inputs. We complement the results by lower bounds, for the random-order model. We show that no deterministic online algorithm can achieve a competitive ratio smaller than 4/3. Moreover, no deterministic online algorithm can attain a competitiveness smaller than 3/2 with high probability.
△ Less
Submitted 27 October, 2021; v1 submitted 30 May, 2020;
originally announced June 2020.
-
Minimization of Weighted Completion Times in Path-based Coflow Scheduling
Authors:
Alexander Eckl,
Luisa Peter,
Maximilian Schiffer,
Susanne Albers
Abstract:
Coflow scheduling models communication requests in parallel computing frameworks where multiple data flows between shared resources need to be completed before computation can continue. In this paper, we introduce Path-based Coflow Scheduling, a generalized problem variant that considers coflows as collections of flows along fixed paths on general network topologies with node capacity restrictions…
▽ More
Coflow scheduling models communication requests in parallel computing frameworks where multiple data flows between shared resources need to be completed before computation can continue. In this paper, we introduce Path-based Coflow Scheduling, a generalized problem variant that considers coflows as collections of flows along fixed paths on general network topologies with node capacity restrictions. For this problem, we minimize the coflows' total weighted completion time. We show that flows on paths in the original network can be interpreted as hyperedges in a hypergraph and transform the path-based scheduling problem into an edge scheduling problem on this hypergraph. We present a $(2λ+ 1)$-approximation algorithm when node capacities are set to one, where $λ$ is the maximum number of nodes in a path. For the special case of simultaneous release times for all flows, our result improves to a $(2λ)$-approximation. Furthermore, we generalize the result to arbitrary node constraints and obtain a $(2λΔ+ 1)$- and a $(2λΔ)$-approximation in the case of general and zero release times, where $Δ$ captures the capacity disparity between nodes.
△ Less
Submitted 17 February, 2020; v1 submitted 29 November, 2019;
originally announced November 2019.
-
Comparing the Quenching Times of Faint M31 and Milky Way Satellite Galaxies
Authors:
Daniel R. Weisz,
Nicolas F. Martin,
Andrew E. Dolphin,
Saundra M. Albers,
Michelle L. M. Collins,
Annette M. N. Ferguson,
Geraint F. Lewis,
8 Dougal Mackey,
Alan McConnachie,
R. Michael Rich,
Evan D. Skillman
Abstract:
We present the star formation histories (SFHs) of 20 faint M31 satellites ($-12 \lesssim M_V \lesssim -6$) that were measured by modeling sub-horizontal branch (HB) depth color-magnitude diagrams constructed from Hubble Space Telescope (HST) imaging. Reinforcing previous results, we find that virtually all galaxies quenched between 3 and 9 Gyr ago, independent of luminosity, with a notable concent…
▽ More
We present the star formation histories (SFHs) of 20 faint M31 satellites ($-12 \lesssim M_V \lesssim -6$) that were measured by modeling sub-horizontal branch (HB) depth color-magnitude diagrams constructed from Hubble Space Telescope (HST) imaging. Reinforcing previous results, we find that virtually all galaxies quenched between 3 and 9 Gyr ago, independent of luminosity, with a notable concentration $3-6$ Gyr ago. This is in contrast to the Milky Way (MW) satellites, which are generally either faint with ancient quenching times or luminous with recent ($<3$ Gyr) quenching times. We suggest that systematic differences in the quenching times of M31 and MW satellites may be a reflection of the varying accretion histories of M31 and the MW. This result implies that the formation histories of low-mass satellites may not be broadly representative of low-mass galaxies in general. Among the M31 satellite population we identify two distinct groups based on their SFHs: one with exponentially declining SFHs ($τ\sim 2$ Gyr) and one with rising SFHs with abrupt quenching. We speculate how these two groups could be related to scenarios for a recent major merger involving M31. The Cycle 27 HST Treasury survey of M31 satellites will provide well-constrained ancient SFHs to go along with the quenching times we measure here. The discovery and characterization of M31 satellites with $M_V \gtrsim -6$ would help quantify the relative contributions of reionization and environment to quenching of the lowest-mass satellites.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Star formation at the edge of the Local Group: a rising star formation history in the isolated galaxy WLM
Authors:
Saundra M. Albers,
Daniel R. Weisz,
Andrew A. Cole,
Andrew E. Dolphin,
Evan D. Skillman,
Benjamin F. Williams,
Michael Boylan-Kolchin,
James S. Bullock,
Julianne J. Dalcanton,
Philip F. Hopkins,
Ryan Leaman,
Alan W. McConnachie,
Mark Vogelsberger,
Andrew Wetzel
Abstract:
We present the star formation history (SFH) of the isolated (D~970 kpc) Local Group dwarf galaxy WLM measured from color-magnitude diagrams constructed from deep Hubble Space Telescope imaging. Our observations include a central (0.5 $r_h$) and outer field (0.7 $ r_h$) that reach below the oldest main sequence turnoff. WLM has no early dominant episode of star formation: 20% of its stellar mass fo…
▽ More
We present the star formation history (SFH) of the isolated (D~970 kpc) Local Group dwarf galaxy WLM measured from color-magnitude diagrams constructed from deep Hubble Space Telescope imaging. Our observations include a central (0.5 $r_h$) and outer field (0.7 $ r_h$) that reach below the oldest main sequence turnoff. WLM has no early dominant episode of star formation: 20% of its stellar mass formed by ~12.5 Gyr ago (z~5). It also has an SFR that rises to the present with 50% of the stellar mass within the most recent 5 Gyr (z<0.7). There is evidence of a strong age gradient: the mean age of the outer field is 5 Gyr older than the inner field despite being only 0.4 kpc apart. Some models suggest such steep gradients are associated with strong stellar feedback and dark matter core creation. The SFHs of real isolated dwarf galaxies and those from the the Feedback In Realistic Environment suite are in good agreement for $M_{\star}(z=0) \sim 10^7-10^9 M_{\odot}$, but in worse agreement at lower masses ($M_{\star}(z=0) \sim 10^5-10^7 M_{\odot}$). These differences may be explainable by systematics in the models (e.g., reionization model) and/or observations (HST field placement). We suggest that a coordinated effort to get deep CMDs between HST/JWST (crowded central fields) and WFIRST (wide-area halo coverage) is the optimal path for measuring global SFHs of isolated dwarf galaxies.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
A rogues gallery of Andromeda's dwarf galaxies II. Precise Distances to 17 Faint Satellites
Authors:
Daniel R. Weisz,
Andrew E. Dolphin,
Nicolas F. Martin,
Saundra M. Albers,
Michelle L. M. Collins,
Annette M. N. Ferguson,
Geraint F. Lewis,
A. Dougal Mackey,
Alan McConnachie,
R. Michael Rich,
Evan D. Skillman
Abstract:
We present new horizontal branch (HB) distance measurements to 17 of the faintest known M31 satellites ($-6 \lesssim M_{V} \lesssim -13$) based on deep Hubble Space Telescope (HST) imaging. The color-magnitude diagrams extend $\sim$1-2 magnitudes below the HB, which provides for well-defined HBs, even for faint galaxies in which the tip of the red giant branch (TRGB) is sparsely populated. We dete…
▽ More
We present new horizontal branch (HB) distance measurements to 17 of the faintest known M31 satellites ($-6 \lesssim M_{V} \lesssim -13$) based on deep Hubble Space Telescope (HST) imaging. The color-magnitude diagrams extend $\sim$1-2 magnitudes below the HB, which provides for well-defined HBs, even for faint galaxies in which the tip of the red giant branch (TRGB) is sparsely populated. We determine distances across the sample to an average precision of 4% ($\sim 30$~kpc at $800$~kpc). We find that the majority of these galaxies are in good agreement, though slightly farther (0.1-0.2 mag) when compared to recent ground-based TRGB distances. Two galaxies (And~IX and And~XVII) have discrepant HST and ground-based distances by $\sim 0.3$ mag ($\sim 150$~kpc), which may be due to contamination from Milky Way foreground stars and/or M31 halo stars in sparsely populated TRGB regions. We use the new distances to update the luminosities and structural parameters for these 17 M31 satellites. The new distances do not substantially change the spatial configuration of the M31 satellite system. We comment on future prospects for precise and accurate HB distances for faint galaxies in the Local Group and beyond.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Hubble Space Telescope Imaging of Antlia B: Star Formation History and a New Tip of the Red Giant Branch Distance
Authors:
Jonathan R. Hargis,
S. Albers,
D. Crnojević,
D. J. Sand,
D. R. Weisz,
J. L. Carlin,
K. Spekkens,
B. Willman,
A. H. G. Peter,
C. J. Grillmair,
A. E. Dolphin
Abstract:
A census of the satellite population around dwarf galaxy primary hosts in environments outside the Local Group is essential to understanding $Λ$CDM galaxy formation and evolution on the smallest scales. We present deep optical Hubble Space Telescope imaging of the gas-rich, faint dwarf galaxy Antlia B ($M_V = -9.4$) -- a likely satellite of NGC 3109 ($D = 1.3$ Mpc) -- discovered as part of our ong…
▽ More
A census of the satellite population around dwarf galaxy primary hosts in environments outside the Local Group is essential to understanding $Λ$CDM galaxy formation and evolution on the smallest scales. We present deep optical Hubble Space Telescope imaging of the gas-rich, faint dwarf galaxy Antlia B ($M_V = -9.4$) -- a likely satellite of NGC 3109 ($D = 1.3$ Mpc) -- discovered as part of our ongoing survey of primary host galaxies similar to the Magellanic Clouds. We derive a new tip of the red giant branch (TRGB) distance of $D = 1.35 \pm 0.06$ Mpc ($m-M = 25.65 \pm 0.10$), consistent with membership in the nearby NGC 3109 dwarf association. The color-magnitude diagram shows both a prominent old, metal-poor stellar component and confirms a small population of young, blue stars with ages $\lesssim 1$ Gyr. We use the color-magnitude diagram fitting algorithm MATCH to derive the star formation history and find that it is consistent with the typical dwarf irregular or transitional dwarf galaxy (dTrans) in the Local Group. Antlia B shows relatively constant stellar mass growth for the first $\sim 10-11$ Gyr and almost no growth in the last $\sim 2-3$ Gyr. Despite being gas-rich, Antlia B shows no evidence of active star formation (i.e., no H$α$ emission) and should therefore be classified as a dTrans dwarf. Both Antlia B and the Antlia dwarf (dTrans) are likely satellites of NGC 3109 suggesting that the cessation of ongoing star formation in these galaxies may be environmentally driven. Future work studying the gas kinematics and distribution in Antlia B will explore this scenario in greater detail. Our work highlights the fact that detailed studies of nearby dwarf galaxies in a variety of environments may continue to shed light on the processes that drive the star formation history and evolution of dwarf galaxies more generally.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
The Unusual Initial Mass Function of the Arches Cluster
Authors:
M. W. Hosek Jr.,
J. R. Lu,
J. Anderson,
F. Najarro,
A. M. Ghez,
M. R. Morris,
W. I. Clarkson,
S. M. Albers
Abstract:
As a young massive cluster in the Central Molecular Zone, the Arches cluster is a valuable probe of the stellar Initial Mass Function (IMF) in the extreme Galactic Center environment. We use multi-epoch Hubble Space Telescope observations to obtain high-precision proper motion and photometric measurements of the cluster, calculating cluster membership probabilities for stars down to 1.8 M…
▽ More
As a young massive cluster in the Central Molecular Zone, the Arches cluster is a valuable probe of the stellar Initial Mass Function (IMF) in the extreme Galactic Center environment. We use multi-epoch Hubble Space Telescope observations to obtain high-precision proper motion and photometric measurements of the cluster, calculating cluster membership probabilities for stars down to 1.8 M$_{\odot}$ between cluster radii of 0.25 pc -- 3.0 pc. We achieve a cluster sample with just ~8% field contamination, a significant improvement over photometrically-selected samples which are severely compromised by the differential extinction across the field. Combining this sample with K-band spectroscopy of 5 cluster members, we forward model the Arches cluster to simultaneously constrain its IMF and other properties (such as age and total mass) while accounting for observational uncertainties, completeness, mass segregation, and stellar multiplicity. We find that the Arches IMF is best described by a 1-segment power law that is significantly top-heavy: $α$ = 1.80 $\pm$ 0.05 (stat) $\pm$ 0.06 (sys), where dN/dm $\propto$ m$^{-α}$, though we cannot discount a 2-segment power law model with a high-mass slope only slightly shallower than local star forming regions ($α$ = 2.04$^{+0.14}_{-0.19}$ $\pm$ 0.04) but with a break at 5.8$^{+3.2}_{-1.2}$ $\pm$ 0.02 M$_{\odot}$. In either case, the Arches IMF is significantly different than the standard IMF. Comparing the Arches to other young massive clusters in the Milky Way, we find tentative evidence for a systematically top-heavy IMF at the Galactic Center.
△ Less
Submitted 2 November, 2018; v1 submitted 7 August, 2018;
originally announced August 2018.
-
Optimal Algorithms for Right-Sizing Data Centers- Extended Version
Authors:
Susanne Albers,
Jens Quedenfeld
Abstract:
Electricity cost is a dominant and rapidly growing expense in data centers. Unfortunately, much of the consumed energy is wasted because servers are idle for extended periods of time. We study a capacity management problem that dynamically right-sizes a data center, matching the number of active servers with the varying demand for computing capacity. We resort to a data-center optimization problem…
▽ More
Electricity cost is a dominant and rapidly growing expense in data centers. Unfortunately, much of the consumed energy is wasted because servers are idle for extended periods of time. We study a capacity management problem that dynamically right-sizes a data center, matching the number of active servers with the varying demand for computing capacity. We resort to a data-center optimization problem introduced by Lin, Wierman, Andrew and Thereska that, over a time horizon, minimizes a combined objective function consisting of operating cost, modeled by a sequence of convex functions, and server switching cost. All prior work addresses a continuous setting in which the number of active servers, at any time, may take a fractional value.
In this paper, we investigate for the first time the discrete data-center optimization problem where the number of active servers, at any time, must be integer valued. Thereby we seek truly feasible solutions. First, we show that the offline problem can be solved in polynomial time. Second, we study the online problem and extend the algorithm {\em Lazy Capacity Provisioning\/} (LCP) by Lin et al. to the discrete setting. We prove that LCP is 3-competitive. Moreover, we show that no deterministic online algorithm can achieve a competitive ratio smaller than~3. In addition, we develop a randomized online algorithm that is 2-competitive against an oblivious adversary. Moreover, we prove that 2 is a lower bound for the competitive ratio of randomized online algorithms, so our algorithm is optimal.
Finally, we address the continuous setting and give a lower bound of~2 on the best competitiveness of online algorithms. This matches an upper bound by Bansal et al. We prove that all lower bounds still hold in a problem variant with more restricted operating cost functions, introduced by Lin et al.
△ Less
Submitted 30 July, 2021; v1 submitted 13 July, 2018;
originally announced July 2018.
-
The Optical/Near-Infrared Extinction Law In Highly Reddened Regions
Authors:
M. W. Hosek Jr,
J. R. Lu,
J. Anderson,
T. Do,
E. F. Schlafly,
A. M. Ghez,
W. I. Clarkson,
M. R. Morris,
S. M. Albers
Abstract:
A precise extinction law is a critical input when interpreting observations of highly reddened sources such as young star clusters and the Galactic Center (GC). We use Hubble Space Telescope observations of a region of moderate extinction and a region of high extinction to measure the optical and near-infrared extinction law (0.8 $μ$m -- 2.2 $μ$m). The moderate extinction region is the young massi…
▽ More
A precise extinction law is a critical input when interpreting observations of highly reddened sources such as young star clusters and the Galactic Center (GC). We use Hubble Space Telescope observations of a region of moderate extinction and a region of high extinction to measure the optical and near-infrared extinction law (0.8 $μ$m -- 2.2 $μ$m). The moderate extinction region is the young massive cluster Westerlund 1 (Wd1; A$_{Ks} \sim$ 0.6 mag), where 453 proper motion-selected main-sequence stars are used to measure the shape of the extinction law. To quantify the shape we define the parameter $\mathcal{S}_{1/λ}$, which behaves similarly to a color excess ratio but is continuous as a function of wavelength. The high extinction region is the GC (A$_{Ks} \sim$ 2.5 mag), where 819 red clump stars are used to determine the normalization of the law. The best-fit extinction law is able to reproduce the Wd1 main sequence colors, which previous laws misestimate by 10%-30%. The law is inconsistent with a single power law, even when only the near-infrared filters are considered, and has A$_{F125W}$/A$_{Ks}$ and A$_{F814W}$/A$_{Ks}$ values that are 18% and 24% larger than the commonly used \citet{Nishiyama:2009fc} law, respectively. Using the law we recalculate the Wd1 distance to be 3896 $\pm$ 328 pc from published observations of eclipsing binary W13. This new extinction law should be used for highly reddened populations in the Milky Way, such as the Quintuplet cluster and Young Nuclear Cluster. A python code is provided to generate the law for future use.
△ Less
Submitted 25 January, 2018;
originally announced January 2018.
-
The Price of Uncertainty in Present-Biased Planning
Authors:
Susanne Albers,
Dennis Kraft
Abstract:
The tendency to overestimate immediate utility is a common cognitive bias. As a result people behave inconsistently over time and fail to reach long-term goals. Behavioral economics tries to help affected individuals by implementing external incentives. However, designing robust incentives is often difficult due to imperfect knowledge of the parameter $β\in (0,1]$ quantifying a person's present bi…
▽ More
The tendency to overestimate immediate utility is a common cognitive bias. As a result people behave inconsistently over time and fail to reach long-term goals. Behavioral economics tries to help affected individuals by implementing external incentives. However, designing robust incentives is often difficult due to imperfect knowledge of the parameter $β\in (0,1]$ quantifying a person's present bias. Using the graphical model of Kleinberg and Oren, we approach this problem from an algorithmic perspective. Based on the assumption that the only information about $β$ is its membership in some set $B \subset (0,1]$, we distinguish between two models of uncertainty: one in which $β$ is fixed and one in which it varies over time. As our main result we show that the conceptual loss of efficiency incurred by incentives in the form of penalty fees is at most $2$ in the former and $1 + \max B/\min B$ in the latter model. We also give asymptotically matching lower bounds and approximation algorithms.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
A rogues gallery of Andromeda's dwarf galaxies I. A predominance of red horizontal branches
Authors:
Nicolas F. Martin,
Daniel R. Weisz,
Saundra M. Albers,
Edouard Bernard,
Michelle L. M. Collins,
Andrew E. Dolphin,
Annette M. N. Ferguson,
Rodrigo A. Ibata,
Benjamin Laevens,
Geraint F. Lewis,
A. Dougal Mackey,
Alan McConnachie,
R. Michael Rich,
Evan D. Skillman
Abstract:
We present homogeneous, sub-horizontal branch photometry of twenty dwarf spheroidal satellite galaxies of M31 observed with the Hubble Space Telescope. Combining our new data for sixteen systems with archival data in the same filters for another four, we show that Andromeda dwarf spheroidal galaxies favor strikingly red horizontal branches or red clumps down to ~10^{4.2} Lsun (M_V ~ -5.8). The age…
▽ More
We present homogeneous, sub-horizontal branch photometry of twenty dwarf spheroidal satellite galaxies of M31 observed with the Hubble Space Telescope. Combining our new data for sixteen systems with archival data in the same filters for another four, we show that Andromeda dwarf spheroidal galaxies favor strikingly red horizontal branches or red clumps down to ~10^{4.2} Lsun (M_V ~ -5.8). The age-sensitivity of horizontal branch stars implies that a large fraction of the M31 dwarf galaxies have extended star formation histories (SFHs), and appear inconsistent with early star formation episodes that were rapidly shutdown. Systems fainter than ~10^{5.5} Lsun show the widest range in the ratios and morphologies of red and blue horizontal branches, indicative of both complex SFHs and a diversity in quenching timescales and/or mechanisms, which is qualitatively different from what is currently known for faint Milky Way (MW) satellites of comparable luminosities. Our findings bolster similar conclusions from recent deeper data for a handful of M31 dwarf galaxies. We discuss several sources for diversity of our data such as varying halo masses, patchy reionization, mergers/accretion, and the environmental influence of M31 and the Milky Way on the early evolution of their satellite populations. A detailed comparison between the histories of M31 and MW satellites would shed signifiant insight into the processes that drive the evolution of low-mass galaxies. Such a study will require imaging that reaches the oldest main sequence turnoffs for a significant number of M31 companions.
△ Less
Submitted 4 October, 2017; v1 submitted 5 April, 2017;
originally announced April 2017.
-
Tight Bounds for Online Coloring of Basic Graph Classes
Authors:
Susanne Albers,
Sebastian Schraink
Abstract:
We resolve a number of long-standing open problems in online graph coloring. More specifically, we develop tight lower bounds on the performance of online algorithms for fundamental graph classes. An important contribution is that our bounds also hold for randomized online algorithms, for which hardly any results were known. Technically, we construct lower bounds for chordal graphs. The constructi…
▽ More
We resolve a number of long-standing open problems in online graph coloring. More specifically, we develop tight lower bounds on the performance of online algorithms for fundamental graph classes. An important contribution is that our bounds also hold for randomized online algorithms, for which hardly any results were known. Technically, we construct lower bounds for chordal graphs. The constructions then allow us to derive results on the performance of randomized online algorithms for the following further graph classes: trees, planar, bipartite, inductive, bounded-treewidth and disk graphs. It shows that the best competitive ratio of both deterministic and randomized online algorithms is $Θ(\log n)$, where $n$ is the number of vertices of a graph. Furthermore, we prove that this guarantee cannot be improved if an online algorithm has a lookahead of size $O(n/\log n)$ or access to a reordering buffer of size $n^{1-ε}$, for any $0<ε\leq 1$. A consequence of our results is that, for all of the above mentioned graph classes except bipartite graphs, the natural $\textit{First Fit}$ coloring algorithm achieves an optimal performance, up to constant factors, among deterministic and randomized online algorithms.
△ Less
Submitted 3 July, 2017; v1 submitted 23 February, 2017;
originally announced February 2017.
-
On the Value of Penalties in Time-Inconsistent Planning
Authors:
Susanne Albers,
Dennis Kraft
Abstract:
People tend to behave inconsistently over time due to an inherent present bias. As this may impair performance, social and economic settings need to be adapted accordingly. Common tools to reduce the impact of time-inconsistent behavior are penalties and prohibition. Such tools are called commitment devices. In recent work Kleinberg and Oren connect the design of prohibition-based commitment devic…
▽ More
People tend to behave inconsistently over time due to an inherent present bias. As this may impair performance, social and economic settings need to be adapted accordingly. Common tools to reduce the impact of time-inconsistent behavior are penalties and prohibition. Such tools are called commitment devices. In recent work Kleinberg and Oren connect the design of prohibition-based commitment devices to a combinatorial problem in which edges are removed from a task graph $G$ with $n$ nodes. However, this problem is NP-hard to approximate within a ratio less than $\sqrt{n}/3$. To address this issue, we propose a penalty-based commitment device that does not delete edges but raises their cost. The benefits of our approach are twofold. On the conceptual side, we show that penalties are up to $1/β$ times more efficient than prohibition, where $β\in (0,1]$ parameterizes the present bias. On the computational side, we significantly improve approximability by presenting a $2$-approximation algorithm for allocating the penalties. To complement this result, we prove that optimal penalties are NP-hard to approximate within a ratio of $1.08192$.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
An Improved Distance and Mass Estimate for Sgr A* from a Multistar Orbit Analysis
Authors:
A. Boehle,
A. M. Ghez,
R. Schödel,
L. Meyer,
S. Yelda,
S. Albers,
G. D. Martinez,
E. E. Becklin,
T. Do,
J. R. Lu,
K. Matthews,
M. R. Morris,
B. Sitarski,
G. Witzel
Abstract:
We present new, more precise measurements of the mass and distance of our Galaxy's central supermassive black hole, Sgr A*. These results stem from a new analysis that more than doubles the time baseline for astrometry of faint stars orbiting Sgr A*, combining two decades of speckle imaging and adaptive optics data. Specifically, we improve our analysis of the speckle images by using information a…
▽ More
We present new, more precise measurements of the mass and distance of our Galaxy's central supermassive black hole, Sgr A*. These results stem from a new analysis that more than doubles the time baseline for astrometry of faint stars orbiting Sgr A*, combining two decades of speckle imaging and adaptive optics data. Specifically, we improve our analysis of the speckle images by using information about a star's orbit from the deep adaptive optics data (2005 - 2013) to inform the search for the star in the speckle years (1995 - 2005). When this new analysis technique is combined with the first complete re-reduction of Keck Galactic Center speckle images using speckle holography, we are able to track the short-period star S0-38 (K-band magnitude = 17, orbital period = 19 years) through the speckle years. We use the kinematic measurements from speckle holography and adaptive optics to estimate the orbits of S0-38 and S0-2 and thereby improve our constraints of the mass ($M_{bh}$) and distance ($R_o$) of Sgr A*: $M_{bh} = 4.02\pm0.16\pm0.04\times10^6~M_{\odot}$ and $7.86\pm0.14\pm0.04$ kpc. The uncertainties in $M_{bh}$ and $R_o$ as determined by the combined orbital fit of S0-2 and S0-38 are improved by a factor of 2 and 2.5, respectively, compared to an orbital fit of S0-2 alone and a factor of $\sim$2.5 compared to previous results from stellar orbits. This analysis also limits the extended dark mass within 0.01 pc to less than $0.13\times10^{6}~M_{\odot}$ at 99.7% confidence, a factor of 3 lower compared to prior work.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
Motivating Time-Inconsistent Agents: A Computational Approach
Authors:
Susanne Albers,
Dennis Kraft
Abstract:
In this paper we investigate the computational complexity of motivating time-inconsistent agents to complete long term projects. We resort to an elegant graph-theoretic model, introduced by Kleinberg and Oren, which consists of a task graph $G$ with $n$ vertices, including a source $s$ and target $t$, and an agent that incrementally constructs a path from $s$ to $t$ in order to collect rewards. Th…
▽ More
In this paper we investigate the computational complexity of motivating time-inconsistent agents to complete long term projects. We resort to an elegant graph-theoretic model, introduced by Kleinberg and Oren, which consists of a task graph $G$ with $n$ vertices, including a source $s$ and target $t$, and an agent that incrementally constructs a path from $s$ to $t$ in order to collect rewards. The twist is that the agent is present-biased and discounts future costs and rewards by a factor $β\in [0,1]$. Our design objective is to ensure that the agent reaches $t$ i.e.\ completes the project, for as little reward as possible. Such graphs are called motivating. We consider two strategies. First, we place a single reward $r$ at $t$ and try to guide the agent by removing edges from $G$. We prove that deciding the existence of such motivating subgraphs is NP-complete if $r$ is fixed. More importantly, we generalize our reduction to a hardness of approximation result for computing the minimum $r$ that admits a motivating subgraph. In particular, we show that no polynomial-time approximation to within a ratio of $\sqrt{n}/4$ or less is possible, unless ${\rm P}={\rm NP}$. Furthermore, we develop a $(1+\sqrt{n})$-approximation algorithm and thus settle the approximability of computing motivating subgraphs. Secondly, we study motivating reward configurations, where non-negative rewards $r(v)$ may be placed on arbitrary vertices $v$ of $G$. The agent only receives the rewards of visited vertices. Again we give an NP-completeness result for deciding the existence of a motivating reward configuration within a fixed budget $b$. This result even holds if $b=0$, which in turn implies that no efficient approximation of a minimum $b$ within a ration grater or equal to $1$ is possible, unless ${\rm P}={\rm NP}$.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
Online Makespan Minimization with Parallel Schedules
Authors:
Susanne Albers,
Matthias Hellwig
Abstract:
In online makespan minimization a sequence of jobs $σ= J_1,..., J_n$ has to be scheduled on $m$ identical parallel machines so as to minimize the maximum completion time of any job. We investigate the problem with an essentially new model of resource augmentation. Here, an online algorithm is allowed to build several schedules in parallel while processing $σ$. At the end of the scheduling process…
▽ More
In online makespan minimization a sequence of jobs $σ= J_1,..., J_n$ has to be scheduled on $m$ identical parallel machines so as to minimize the maximum completion time of any job. We investigate the problem with an essentially new model of resource augmentation. Here, an online algorithm is allowed to build several schedules in parallel while processing $σ$. At the end of the scheduling process the best schedule is selected. This model can be viewed as providing an online algorithm with extra space, which is invested to maintain multiple solutions. The setting is of particular interest in parallel processing environments where each processor can maintain a single or a small set of solutions.
We develop a $(4/3+\eps)$-competitive algorithm, for any $0<\eps\leq 1$, that uses a number of $1/\eps^{O(\log (1/\eps))}$ schedules. We also give a $(1+\eps)$-competitive algorithm, for any $0<\eps\leq 1$, that builds a polynomial number of $(m/\eps)^{O(\log (1/\eps) / \eps)}$ schedules. This value depends on $m$ but is independent of the input $σ$. The performance guarantees are nearly best possible. We show that any algorithm that achieves a competitiveness smaller than 4/3 must construct $Ω(m)$ schedules. Our algorithms make use of novel guessing schemes that (1) predict the optimum makespan of a job sequence $σ$ to within a factor of $1+\eps$ and (2) guess the job processing times and their frequencies in $σ$. In (2) we have to sparsify the universe of all guesses so as to reduce the number of schedules to a constant.
The competitive ratios achieved using parallel schedules are considerably smaller than those in the standard problem without resource augmentation.
△ Less
Submitted 20 April, 2013;
originally announced April 2013.
-
On the Value of Job Migration in Online Makespan Minimization
Authors:
Susanne Albers,
Matthias Hellwig
Abstract:
Makespan minimization on identical parallel machines is a classical scheduling problem. We consider the online scenario where a sequence of $n$ jobs has to be scheduled non-preemptively on $m$ machines so as to minimize the maximum completion time of any job. The best competitive ratio that can be achieved by deterministic online algorithms is in the range $[1.88,1.9201]$. Currently no randomized…
▽ More
Makespan minimization on identical parallel machines is a classical scheduling problem. We consider the online scenario where a sequence of $n$ jobs has to be scheduled non-preemptively on $m$ machines so as to minimize the maximum completion time of any job. The best competitive ratio that can be achieved by deterministic online algorithms is in the range $[1.88,1.9201]$. Currently no randomized online algorithm with a smaller competitiveness is known, for general $m$.
In this paper we explore the power of job migration, i.e.\ an online scheduler is allowed to perform a limited number of job reassignments. Migration is a common technique used in theory and practice to balance load in parallel processing environments. As our main result we settle the performance that can be achieved by deterministic online algorithms. We develop an algorithm that is $α_m$-competitive, for any $m\geq 2$, where $α_m$ is the solution of a certain equation. For $m=2$, $α_2 = 4/3$ and $\lim_{m\rightarrow \infty} α_m = W_{-1}(-1/e^2)/(1+ W_{-1}(-1/e^2)) \approx 1.4659$. Here $W_{-1}$ is the lower branch of the Lambert $W$ function. For $m\geq 11$, the algorithm uses at most $7m$ migration operations. For smaller $m$, $8m$ to $10m$ operations may be performed. We complement this result by a matching lower bound: No online algorithm that uses $o(n)$ job migrations can achieve a competitive ratio smaller than $α_m$. We finally trade performance for migrations. We give a family of algorithms that is $c$-competitive, for any $5/3\leq c \leq 2$. For $c= 5/3$, the strategy uses at most $4m$ job migrations. For $c=1.75$, at most $2.5m$ migrations are used.
△ Less
Submitted 8 March, 2012; v1 submitted 3 November, 2011;
originally announced November 2011.