Lower bounds for online makespan minimization on a small number of related machines
- First Online:
DOI: 10.1007/s10951-012-0288-7
- Cite this article as:
- Jeż, Ł., Schwartz, J., Sgall, J. et al. J Sched (2013) 16: 539. doi:10.1007/s10951-012-0288-7
- 595 Views
Abstract
In online makespan minimization, the jobs characterized by their processing time arrive one-by-one and each has to be assigned to one of the m uniformly related machines. The goal is to minimize the length of the schedule. We prove new combinatorial lower bounds for m=4 and m=5, and computer-assisted lower bounds for m≤11.
Keywords
Online algorithmsSchedulingMakespanRelated machines1 Introduction
In this article we prove new lower bounds for online makespan minimization for a small number of uniformly related machines. The competitive ratio (as a function of the number of machines) for this fundamental problem is upper bounded by a constant but there has been little progress on determining its exact value, as well as the values for a fixed m.
The instance of this problem consists of a sequence of machines with possibly different speeds and a sequence of jobs specified by their processing times. A schedule assigns each job to one of the machines; the time needed to process a job is equal to its processing time divided by the speed of the machine where it is assigned. The objective is to minimize the makespan (also called the length of the schedule, or the maximal completion time). Usually a schedule also needs to specify the timing of each job (its starting and completion times) so that the jobs on each machine do not overlap. Due to the simplicity of the problem we consider, this is not necessary and it is sufficient to specify the assignment to the machines, silently assuming that each job is started as soon as all the previous jobs on its machine are processed. Instead of calculating the completion times individually for each job, we can calculate the completion time of each machine as the total processing time of the jobs allocated to it divided by the speed of the machine; the makespan is then the maximum of the completion times over all machines.
In the online version of the problem, jobs appear online one-by-one. When a job appears, an online algorithm has to make an irrevocable decision and assign the job to a machine. This decision is permanent and made without the knowledge of the future jobs; the algorithm is not even aware of whether any future jobs exist or not. An online algorithm is R-competitive if for each instance it produces a schedule with makespan at most R times the optimal makespan.
We prove lower bounds of 2.141391 for m=4 and 2.314595 for m=5. Our lower bound is based on an instance where the processing times are a geometric sequence, similarly as in previous work (Berman et al. 2000; Epstein and Sgall 2000; Ebenlendr and Sgall 2012). The speeds are chosen so that any online algorithm can use only the two fastest machines, called the active machines. The bound is then obtained by carefully analyzing the possible patterns of scheduling the jobs on these machines.
Generalizing this to larger values of m, we use computer search for elimination of possible patterns and give instances with up to five active machines.
Previous and our bounds for online makespan minimization on uniformly related machines; LS stands for List Scheduling
m | Lower bounds | Algorithms | ||
---|---|---|---|---|
Previous | New | Best known | LS | |
2 | ϕ≈1.618 | – | – | ϕ≈1.618 |
3 | 2 | – | – | 2 |
4 | – | 2.141391 | – | 2.2248 |
5 | – | 2.314595 | – | 2.4143 |
6 | 2.2880 | 2.347312 | – | 2.5812 |
7 | – | 2.439957 | – | <2.7321 |
8 | – | 2.439957 | – | <2.8709 |
9 | 2.4380 | 2.462775 | – | ≤3 |
10 | – | 2.483120 | – | <3.1214 |
11 | – | 2.502672 | – | <3.2361 |
∞ | 2.5648 | 5.8284 | Θ(logm) |
Related work
It is known that for two and three machines, the tight bounds are 1.618 and 2, respectively (see the next paragraph). Two other lower bounds for a small number of machines were 2.2880 for m=6 and 2.4380 for m=9 by Berman et al. (2000). That paper is not interested in the exact number of machines, as its focus is on the overall bounds, and consequently their choice of the speeds of machines is not optimal. Their lower bounds can be modified using our Lemma 1 to work for m=5 and m=7, respectively; see an explanation at the end of Sect. 2. For an arbitrary (large) number of machines, the current lower bound is 2.5648 (Ebenlendr and Sgall 2012), the only improvement of the mentioned lower bound of 2.4380 for m=9.
Naturally, the lower bounds need to be compared to the existing algorithms. For a small number of machines the best currently known algorithm is the greedy List Scheduling (LS). Here List Scheduling is defined so that the next job is always scheduled so that it will finish as early as possible. Its competitive ratio for m=2 is exactly ϕ≈1.618, the golden ratio, and for m≥3 it is at most \(1+\sqrt{(m-1)/2}\); this bound is tight for 3≤m≤6 (Cho and Sahni 1980). Moreover, for m=2,3 it can be checked easily that there is no better deterministic algorithm. For m=2 it is even possible to give the exact optimal ratio for any speed combination and it is always achieved by greedy List Scheduling (Epstein et al. 2001). Already for three machines, it is not known exactly for which speed combinations List Scheduling is optimal, even though we know it is optimal in the worst case. Some recent progress is reported in Cai and Yang (2012), Han et al. (2011). Another special case when some partial results about optimality of List Scheduling are known is the case when m−1 machines have the same speed, see, e.g., Han et al. (2011), Musitelli and Nicoletti (2011).
For an arbitrary (large) number of machines, the greedy algorithm is far from optimal: its competitive ratio is Θ(logm) (Aspnes et al. 1997). The first constant competitive algorithm for non-preemptive scheduling on related machines was developed in Aspnes et al. (1997). The currently best algorithms are \(3+\sqrt{8}\approx5.828\)-competitive deterministic and 4.311-competitive randomized ones (Berman et al. 2000). For an alternative very nice presentation see Bar-Noy et al. (2000). All these algorithms use doubling, i.e., strategies that work with some estimate of the optimal makespan and when it turns out that the estimate is too low, it is multiplied by 2 or some other constant. While this is a standard technique for obtaining a constant competitive ratio, it would be surprising if it led to optimal algorithms. Designing better algorithms both for small and large number of machines remains one of the central open problems in this area.
Very little is known for randomized algorithms in addition to the 4.311-competitive algorithm mentioned above. For an arbitrary m, the current lower bound is 2, see Epstein and Sgall (2000). For two machines, we know that the best randomized algorithm has competitive ratio between 1.5 and 1.527 (Epstein et al. 2001). We are not aware of any other studies of randomized algorithms for online makespan minimization on related machines.
The problem of non-preemptive scheduling can be formulated in the language of online load balancing as the case where the jobs are permanent and the load is their only parameter corresponding to our processing time. Consequently, there are many results on load balancing that extend the basic results on online scheduling in a different direction, see, e.g., Azar (1998).
It is interesting to compare our results to the related problem of preemptive scheduling on uniformly related machines. In that problem, each job can be divided into several pieces that may be scheduled on different machines so that the corresponding time slots are non-overlapping; the time slots may also be non-consecutive, so that at some times a partially completed job is not being processed at all. Contrary to our (non-preemptive) problem, with preemption it is necessary to specify the schedule completely, including the timing information. In the online version, for each job we have to specify its schedule completely before the next job is revealed. Interestingly, for this preemptive problem, it is possible to provide an optimal online algorithm for any combination of the speeds and its competitive ratio is between 2.1163 and e≈2.7182, see Ebenlendr et al. (2009), Ebenlendr (2011). Similar results seem to be out of reach for non-preemptive scheduling, as the combinatorial structure is much more difficult and the value of the optimum is NP-hard to compute, while for the preemptive scheduling it is efficiently computable, in fact given by an easy formula.
The state of the art should be also compared with makespan minimization on identical machines (i.e., the special case with all the speeds equal). There the competitive ratio of List Scheduling is known to be equal to 2−1/m (Graham 1966), and it is optimal for m=2 and m=3 (Faigle et al. 1989). Better algorithms are known for m=4 (Chen et al. 1994) and larger (Galambos and Woeginger 1993). For an arbitrary m, the optimal competitive ratio is between 1.88 (Rudin 2001) and 1.92 (Fleischer and Wahl 2000).
2 Preliminaries
We number the machines as well as the jobs from 0 (to obtain simpler formulas). Thus we have machines M_{0},M_{1},…,M_{m−1} and jobs J_{0},J_{1},…,J_{n−1}. The speed of machine M_{i} is denoted s_{i}; we order the machines so that their speeds are non-increasing. The processing time of job J_{j} is denoted p_{j}; thus the job takes time p_{j}/s_{i} to be processed on M_{i}.
For a given sequence of jobs \(\mathcal{J}\), let \(\mathcal{J}_{i}\) be the set of indices of jobs scheduled on machine M_{i}. The completion time of the machine is then simply the sum of processing times of the jobs scheduled to the machine divided by its speed: \(C_{i} = \frac{1}{s_{i}}\sum_{j \in \mathcal{J}_{i}} p_{j}\). We compare the maximum completion time in the output of the algorithm with the maximum completion time of the optimal schedule.
In all our lower bounds, we let \(\mathcal{J}\) denote an infinite sequence of jobs j_{0},j_{1},… , where j_{i} has processing time p_{i}=α^{i} for some α>1. We shall consider the algorithm’s assignment of jobs for the prefixes of \(\mathcal{J}\); we denote the prefix of \(\mathcal{J}\) consisting of the first t+1 jobs j_{0},j_{1},…,j_{t} by \(\mathcal{J}[t]\).
2.1 Three machines
We first briefly review the proof of the tight lower bound of 2 for m=3, to introduce the main ideas.
The machine M_{0} has speed 1, the machines M_{1} and M_{2} have speed 1/2. We set α=2, i.e., p_{i}=2^{i}. We observe that the optimal makespan for \(\mathcal{J}[t]\) is p_{t}=2^{t}: j_{t} is scheduled on M_{0}, j_{t−1} on M_{1} and all the remaining jobs on M_{2}. Assume we have an algorithm with a competitive ratio smaller than 2. If a job j_{t} is scheduled on one of the slow machines, the makespan on \(\mathcal{J}[t]\) is 2p_{t}, twice the optimum. Thus the algorithm schedules all jobs on M_{0}. But then the makespan on \(\mathcal{J}[t]\) is 2p_{t}−1, by taking t sufficiently high we get a contradiction again.
2.2 More machines
To obtain a lower bound of R for more machines, we arrange the instance so that an R-competitive algorithm is forced to schedule all jobs on the k fastest machines (instead of one for m=3), for some k. With k=2 we obtain combinatorial bounds for m=4,5 while for larger values of k we use computer search and obtain bounds for larger k. The value of α will be chosen later, separately for each case.
- (A)
s_{k}≤1/R and
- (B)
for any t, the optimal makespan for \(\mathcal{J}[t]\) equals p_{t}.
The condition (A) limits the possible lower bound on R and needs to be verified separately in each case. As we shall see later, for some values of α, k and m it gives the tightest bound on R, while for other values not. In any case, it is desirable to choose s_{k} as small possible, so that we have a chance of proving a large bound on R.
Lemma 1
The optimum makespan for\(\mathcal{J}[t]\)isp_{t}=α^{t}.
Proof
First observe that the optimum makespan is at least p_{t} because processing j_{t} alone takes p_{t} on M_{0}, the fastest machine. To prove that a schedule with the makespan p_{t} indeed exists, we assign the jobs greedily in the decreasing order of their processing times, i.e., in a reverse order, from j_{t}, j_{t−1},… , to j_{0}. The job j_{t−i}, for i=0,1,…,k−1 is assigned to M_{i}. Thus M_{i} will take p_{t−i}/s_{i}=α^{t}=p_{t} to process its only job. If t<k, we are done.
If t≥k, define the available work of a machine M as p_{t} multiplied by M’s speed minus the total processing time of jobs already assigned to M. Thus M’s available work is the maximum total processing time of jobs that can yet be assigned to M while keeping its completion time no larger than p_{t}. We prove the following claim.
Claim
When the jobj_{n}is to be assigned, the total available work on the\(m\hspace{-1pt}-\hspace{-1pt}k\)inactive machines is at least\(p_{n} \hspace{-1pt}\cdot\hspace{-1pt}\max\hspace{-1pt} \{m\hspace{-1pt}-\hspace{-1pt}k, \frac{\alpha}{\alpha-1} \}\).
Assuming the claim holds, one of the machines has available work of at least p_{n}, thus j_{n} can be assigned to it. Applying this to all jobs yields the desired schedule.
The lower bound proofs in each case continue by examining the possible patterns of scheduling jobs on the active machines. Intuitively it is clear that the best algorithm uses an eventually periodic pattern, which then matches the lower bound. For the actual proof we proceed by gradually excluding more and more patterns. For k=2 active machines this requires only a few steps and thus can be performed by hand. For larger k we use computer search.
We note that our lower bounds, both combinatorial and computer-assisted ones, are optimized in the following sense: For every choice of α, assuming the speeds and the jobs in the instance are as above, and assuming that R equals our lower bound, there either exists a periodic pattern so that the sequence can be scheduled on the active machines with makespan at most R times the optimum or the speed of the inactive machines is larger than 1/R and thus the algorithm can use them.
Finally, let us explain our previous remark concerning the lower bounds from Berman et al. (2000). In these bounds, the authors set the speeds of inactive machines to continue the geometric sequence of the speeds of the active machines, only the last machine has the speed equal to the sum of the tail of the geometric sequence, so that all the small jobs exactly fit. Thus, in their analysis the analog of our Lemma 1 holds trivially. However, using Lemma 1 we can change the speeds of the inactive machines to be equal and thus decrease their number from m=6 to m=5 for the bound of 2.288 for two active machines and from m=9 to m=7 for the bound of 2.438 for three active machines, without any other changes in their proofs.
3 Combinatorial lower bounds
We give improved lower bounds for m=4 and m=5 machines. In both cases we use only k=2 active machines. However, having three inactive machines instead of only two allows us to use smaller α and consequently obtain stronger lower bound for five machines.
3.1 Four machines
Theorem 2
Proof
Assume for the sake of contradiction that an online algorithm has competitive ratio smaller than R. Lemma 1 then implies that, for every t, the algorithm’s makespan on \(\mathcal{J}[t]\) is strictly smaller than R⋅p_{t}. Consider the algorithm’s assignment of jobs to machines while serving \(\mathcal{J}\).
Note that α/(2(α−1))≈1.1476>1, so s_{2}=s_{3}=1/(2α(α−1))≈0.3654 by (1). Thus s_{2}≤1/R≈0.4670, so the algorithm never assigns any job to any inactive machine, as otherwise the makespan on \(\mathcal{J}[t]\) is at least p_{t}/s_{2}≥p_{t}⋅R after scheduling some j_{t} on an inactive machine.
Fact 3
The algorithm never assigns two out of three consecutive jobs toM_{1}.
Proof
Suppose that the algorithm does assign two out of three consecutive jobs to M_{1}, and that j_{t} (for some t) is the later of those two jobs. Then the completion time of M_{1} on \(\mathcal{J}[t]\) is at least (p_{t}+p_{t−2})/s_{1}=p_{t}⋅(1+1/α^{2})⋅α=p_{t}⋅(α+1/α)≈2.3⋅p_{t}>R⋅p_{t}, a contradiction. □
Using Fact 3, we further notice that the assignment to M_{0} is also constrained.
Fact 4
There exists an integer t_{0}such that the algorithm never assigns three consecutive jobs, j_{t−2}, j_{t−1}, andj_{t}toM_{0}for anyt≥t_{0}.
Proof
Together, Facts 3 and 4 imply that after the initial t_{0} steps, the algorithm’s behavior is fixed: its assignment has period 3, within which the algorithm assigns the first job to M_{1} and the other two to M_{0}.
3.2 Five machines
Theorem 5
Letα≈1.52138 be the only real root ofz^{3}−z−2. For makespan minimization onm=5 uniformly related machines there exists no online algorithm with competitive ratio smaller thanR=α^{2}≈2.314595.
Proof
Assume for the sake of contradiction that an online algorithm has competitive ratio smaller than R. Lemma 1 then implies that, for every t, the algorithm’s makespan on \(\mathcal{J}[t]\) is strictly smaller than R⋅p_{t}. Consider the algorithm’s assignment of jobs to machines while serving \(\mathcal{J}\).
Fact 6
The algorithm never assigns two consecutive jobs, j_{t−1}andj_{t}, toM_{1}.
Proof
Suppose that the algorithm does assign j_{t−1} and j_{t} to M_{1} for some t. Then the completion time of M_{1} on \(\mathcal{J}[t]\) is at least (p_{t}+p_{t−1})/s_{1}=p_{t}⋅(1+1/α)⋅α=p_{t}⋅(α+1)≈2.5214⋅p_{t}>R⋅p_{t}, a contradiction. □
Using Fact 6, we further notice that the assignment to M_{0} is also constrained.
Fact 7
There exists an integer t_{0}such that the algorithm never assigns three consecutive jobs, j_{t−2}, j_{t−1}, andj_{t}, toM_{0}for anyt≥t_{0}.
Proof
Now with Fact 7 in turn we realize that assignment to M_{1} is further constrained.
Fact 8
There exists an integer t_{1}such that the algorithm never assigns two jobsj_{t−2}andj_{t}toM_{1}for anyt≥t_{1}.
Proof
Let t_{1}≥t_{0}+3. Suppose that the algorithm does assign j_{t−2} and j_{t} to M_{1}. As t≥t_{0}+3, the algorithm did not assign all three jobs j_{t−3},j_{t−4},j_{t−5} to M_{0}. Therefore, the completion time of M_{1} on \(\mathcal{J}[t]\) is at least (p_{t}+p_{t−2}+p_{t−5})/s_{1}=p_{t}⋅(1+1/α^{2}+1/α^{5})⋅α≈2.365p_{t}>R⋅p_{t}, a contradiction. □
Together, Facts 6 up to 8 imply that after the initial t_{1} steps, the algorithm’s behavior is fixed: its assignment has period 3, within which the algorithm assigns the first job to M_{1} and the other two to M_{0}.
4 Computer search
The Lower Bounds described in Berman et al. (2000) were found via search through possible assignments of jobs to k=3 active machines. We present a generalization of their computer search technique in order to find the exact pattern of allocations that maximizes the lower bound obtainable for k=3,4,5 active machines. It also confirms the previous section’s results for k=2 active machines.
First, we describe our technique. Fix some competitive ratio R that we want to achieve. We maintain a vector S=(S_{0},…,S_{k−1}) that tracks the relative load on each of the active machines. Now, we build a graph with states representing all such vectors such that S_{i}≤Rα^{−i} and edges being the possible vectors after a single job is scheduled. Our initial state is (0,…,0). To get the relative load after a job scheduled on machine i on a given state S, we first divide each entry of our relative load vector S by α and then add 1 to the ith entry of our vector. So, we get up to k edges out of each vertex.
This is the same infinite graph as the one considered by Berman et al. (2000), though they only considered k=3 active machines. We also consider all possible competitive ratios R, whereas they always set R to equal α^{k}. Clearly, there is an R-competitive deterministic scheduling algorithm if and only if there is an infinite path in the graph starting from the initial state. In order to make this graph computer searchable, Berman et al. made the graph finite by discretizing the S vector. This, however, led to large rounding errors except for large choices of n, the factor of discretization. So, we use a different method for which it is sufficient to search only a part of the graph.
Rather than building the entire graph, we only build the tree generated by scheduling r jobs for a small choice of r. Normally, this would generate a tree with k^{r} states, but since we do not include states with S_{i}>Rα^{−i}, many branches of the tree are pruned. From this graph, we can determine if there is a path of length r in the infinite graph. Thus, for a given choice of r, α, and k, if there is no path of length r, then there is no deterministic scheduling algorithm with competitive ratio R, giving us a lower bound.
As we are proving a lower bound of R, the common speed of the inactive machines has to be at most 1/R, or else it would be possible to schedule at least one job on the inactive machines. Hence, by Lemma 1, we find that the number of inactive machines, m−k, is no less than (R/α^{k})∑_{i≥0}α^{−i}=R⋅α^{1−k}(α−1)^{−1}. So, this limits our choice of α to a certain range for a given combination of k and m. We maximize the choice of R over this range to obtain our lower bound.
We can also calculate the pattern that the online algorithm can follow to achieve a competitive ratio close to our lower bound. We select an R slightly larger than the maximum R for which the graph was finite. Then, any sufficiently long path is guaranteed to follow an optimal pattern; in principle there could be several optimal patterns, actually we did not even prove that there exists one. However, it is sufficient for us to find a single one matching the lower bound, since any such pattern shows that our lower bound cannot be improved further—and we have done this for each m for the optimal value of α.
As we saw in the analysis of m=4 and m=5, such pattern does not necessarily make the completion times of all machines equal, i.e., for some i the ith entry might be much smaller than α^{k−i}. While for our choice of α all paths in the tree will follow the pattern after some point, there is some flexibility in the allocation of the first few jobs, as they are very small. As we are using DFS to find a single long path in the tree in order to find the optimal pattern, our search is likely to find the pattern after inspecting only a small number out of many feasible initial allocations. After finding a cyclic pattern of length ℓ, it is simple to check if it attains the desired ratio by inspecting the relative load vector that it yields. Our method works for values of k up to 5. We are unable to find lower bounds and matching patterns for k≥6, as the tree becomes too large.
As described, we are able to verify for a given k, m, α and R if there is an R-competitive algorithm for our sequences. For the optimal values of α, it is feasible to find R by binary search. To speed up computations, we have not searched the whole tree, but only a random sample of the initial branches. This works in practice, since if there is an infinite branch and R is not too close to the real bound, most initial branches can be extended. If an infinite branch is found, it is proven that the bound is smaller. If none is found, we first verify the result by extending the random sample and then we have verified the results by a complete search for selected values of α.
The results of the computer search for lower bounds, together with cyclic patterns that attain upper bounds slightly larger than these lower bounds
k | m | α | Pattern | h | R |
---|---|---|---|---|---|
2 | 4 | 1.722081 | 001 | 1 | 2.141391 |
2 | 5 | 1.521380 | 001 | 0 | 2.314595 |
3 | 6 | 1.450217 | 001021001020100102010010201 | 2 | 2.347312 |
3 | 7 | 1.346256 | 0010201012 | 1 | 2.439957 |
4 | 8 | 1.346256 | 0010201012 | 1 | 2.439957 |
4 | 9 | 1.255564 | 0102103012010210301201023 | 2 | 2.462775 |
5 | 10 | 1.222412 | 010321041230012013021041023012 | 0 | 2.483120 |
5 | 11 | 1.209132 | 010213020140312010230412010321040120310210340120132010423… …010210341020130120412031020134 | 4 | 2.502672 |
Figure 1 shows the bounds for all values of m and k. For each value of α, the largest lower bound R is displayed. The values of m and k are implicit, as given by the condition (A) and setting of the speeds. Most importantly, for a given α and R, k is the smallest number such that α^{k}≥R, since s_{k}≥α^{−k} and (A) would be violated otherwise. Similarly, since (m−k)s_{k}≥α^{1−k}/(α−1), the number of inactive machines (m−k) needs to satisfy (m−k)α^{k−1}(α−1)≥R. These bounds on R are drawn as thin, fast increasing functions. As α decreases, the number of active or inactive machines increases once one of these curves is crossed. The largest values of α correspond to m=4 (and k=2), but as α decreases, the curve for R crosses 1/s_{2}=2α(α−1), so an additional inactive machine is required for smaller α. Hence at that point the region corresponding to m=5 and k=2 starts, and extends to the left until the R curve crosses 1/s_{2}=α^{2}; at that point an active machine is added and the region corresponding to m=6 and k=3 starts, and so on.
The patterns found for k=2 match the patterns found in our analysis of m=4,5. The lower bound we found for k=3 is slightly better than the previous lower bound found by computer search for three active machines (2.438).
In general, the lower bounds increase with increasing number of machines. However, as the figures show, the exact dependence on α is complicated.
While the optimal R is at most α^{k} in general, sometimes it is strictly smaller: This is the case for all even m≤10, including m=4, for which we gave a combinatorial proof. Thus, trying all possible values of R, rather than fixing it at α^{k} (as Berman et al. 2000 did) allowed us to obtain new bounds for even k. Additionally, it is interesting that for m=9 and m=11, the optimal R is strictly smaller than α^{k}, leading to improved bounds for odd m as well. Another anomaly is that for m=8, the best bound matches the bound for m=7. Thus, it does not always help to add an active machine without an accompanying inactive machine.
Our program for finding these lower bounds as well as a spreadsheet summarizing its results can be found at http://iuuk.mff.cuni.cz/~sgall/ps/smallm/.
5 Conclusions
We have shown new lower bounds for online makespan scheduling on a small number of uniformly related machines. In contrast to the recent asymptotic bound from Ebenlendr and Sgall (2012), for small m we are able to take an advantage of the combinatorial structure of the problem and of the fact that even for the optimal online algorithm (pattern), the completion times of the active machines will be uneven. The gaps between the current lower and upper bounds are still significant and existing methods are limited to using geometric sequences of processing times for the lower bounds and doubling techniques for the algorithms. Finding new techniques seems necessary for further progress.
Acknowledgements
Łukasz Jeż was partially supported by MNiSW grant N N206 368839, 2010–2013, a scholarship co-financed by an ESF project Human Capital, by the grant IAA100190902 of GA AV ČR, and by EUROGIGA project GraDR. Jarett Schwartz was partially supported by the National Science Foundation Graduate Research Fellowship and the Fulbright Fellowship. Jiří Sgall was supported by the Center of Excellence—Inst. for Theor. Comp. Sci., Prague (project P202/12/G061 of GA ČR). József Békési was partially supported by Stiftung Aktion Österreich-Ungarn, project No. 82öu9.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.