25 research outputs found
Directed Steiner Tree and the Lasserre Hierarchy
The goal for the Directed Steiner Tree problem is to find a minimum cost tree
in a directed graph G=(V,E) that connects all terminals X to a given root r. It
is well known that modulo a logarithmic factor it suffices to consider acyclic
graphs where the nodes are arranged in L <= log |X| levels. Unfortunately the
natural LP formulation has a |X|^(1/2) integrality gap already for 5 levels. We
show that for every L, the O(L)-round Lasserre Strengthening of this LP has
integrality gap O(L log |X|). This provides a polynomial time
|X|^{epsilon}-approximation and a O(log^3 |X|) approximation in O(n^{log |X|)
time, matching the best known approximation guarantee obtained by a greedy
algorithm of Charikar et al.Comment: 23 pages, 1 figur
An EPTAS for Scheduling on Unrelated Machines of Few Different Types
In the classical problem of scheduling on unrelated parallel machines, a set
of jobs has to be assigned to a set of machines. The jobs have a processing
time depending on the machine and the goal is to minimize the makespan, that is
the maximum machine load. It is well known that this problem is NP-hard and
does not allow polynomial time approximation algorithms with approximation
guarantees smaller than unless PNP. We consider the case that there
are only a constant number of machine types. Two machines have the same
type if all jobs have the same processing time for them. This variant of the
problem is strongly NP-hard already for . We present an efficient
polynomial time approximation scheme (EPTAS) for the problem, that is, for any
an assignment with makespan of length at most
times the optimum can be found in polynomial time in the
input length and the exponent is independent of . In particular
we achieve a running time of , where
denotes the input length. Furthermore, we study three other problem
variants and present an EPTAS for each of them: The Santa Claus problem, where
the minimum machine load has to be maximized; the case of scheduling on
unrelated parallel machines with a constant number of uniform types, where
machines of the same type behave like uniformly related machines; and the
multidimensional vector scheduling variant of the problem where both the
dimension and the number of machine types are constant. For the Santa Claus
problem we achieve the same running time. The results are achieved, using mixed
integer linear programming and rounding techniques