Parameterized Approximation Schemes using Graph Widths

Combining the techniques of approximation algorithms and parameterized complexity has long been considered a promising research area, but relatively few results are currently known. In this paper we study the parameterized approximability of a number of problems which are known to be hard to solve exactly when parameterized by treewidth or clique-width. Our main contribution is to present a natural randomized rounding technique that extends well-known ideas and can be used for both of these widths. Applying this very generic technique we obtain approximation schemes for a number of problems, evading both polynomial-time inapproximability and parameterized intractability bounds

Multicoloring of graphs to secure a secret

Vertex coloring and multicoloring of graphs are a well known subject in graph theory, as well as their applications. In vertex multicoloring, each vertex is assigned some subset of a given set of colors. Here we propose a new kind of vertex multicoloring, motivated by the situation of sharing a secret and securing it from the actions of some number of attackers. We name the multicoloring a highly a-resistant vertex k-multicoloring, where a is the number of the attackers, and k the number of colors. For small values a we determine what is the minimal number of vertices a graph must have in order to allow such a coloring, and what is the minimal number of colors needed

Improved distributed algorithms for coloring interval graphs with application to multicoloring trees

Post-print (lokagerð höfundar)We give a distributed (1+eps)-approximation algorithm for the minimum vertex coloring problem on interval graphs, which runs in the LOCAL model and operates in O((1/eps) log* n) rounds. If nodes are aware of their interval representations, then the algorithm can be adapted to the CONGEST model using the same number of rounds. Prior to this work, only constant factor approximations using O(log* n) rounds were known. Linial's ring coloring lower bound implies that the dependency on log* n cannot be improved. We further prove that the dependency on 1/eps is also optimal. To obtain our CONGEST model algorithm, we develop a color rotation technique that may be of independent interest. We demonstrate that color rotations can also be applied to obtain a (1+eps)-approximate multicoloring of directed trees in O((1/eps)log* n) rounds.Magnus M. Halldorsson is supported by grants 152679-05 and 174484-05 from the Icelandic Research Fund. Christian Konrad is supported by the Centre for Discrete Mathematics and its Applications (DIMAP) at Warwick University and by EPSRC award EP/N011163/1."Peer Reviewed

Walking Through Waypoints

We initiate the study of a fundamental combinatorial problem: Given a capacitated graph $G=(V,E)$, find a shortest walk ("route") from a source $s\in V$ to a destination $t\in V$ that includes all vertices specified by a set $\mathscr{W}\subseteq V$: the \emph{waypoints}. This waypoint routing problem finds immediate applications in the context of modern networked distributed systems. Our main contribution is an exact polynomial-time algorithm for graphs of bounded treewidth. We also show that if the number of waypoints is logarithmically bounded, exact polynomial-time algorithms exist even for general graphs. Our two algorithms provide an almost complete characterization of what can be solved exactly in polynomial-time: we show that more general problems (e.g., on grid graphs of maximum degree 3, with slightly more waypoints) are computationally intractable

Fast algorithms for two scheduling problems

The thesis deals with problems from two distint areas of scheduling theory. In the first part we consider the preemptive Sum Multicoloring (pSMC) problem. In an instance of pSMC, pairwise conflicting jobs are represented by a conflict graph, and the time demands of jobs are given by integer weights on the nodes. The goal is to schedule the jobs in such a way that the sum of their finish times is minimized. We give the first polynomial algorithm for pSMC on paths and cycles, running in time O(min(n², n log p)), where n is the number of nodes and p is the largest time demand. This answers a question raised by Halldórsson et al. [51] about the hardness of this problem. Our result identifies a gap between binary-tree conflict graphs - where the question is NP-hard - and paths. In the second part of the thesis we consider the problem of scheduling n jobs on m machines of different speeds s.t. the makespan is minimized (Q||C_max). We provide a fast and simple, deterministic monotone 2.8-approximation algorithm for Q||C_max. Monotonicity is relevant in the context of truthful mechanisms: when each machine speed is only known to the machine itself, we need to motivate that machines "declare" their true speeds to the scheduling mechanism. So far the best deterministic truthful mechanism that is polynomial in n and m; was a 5-approximation by Andelman et al. [3]. A randomized 2-approximation method, satisfying a weaker definition of truthfulness, was given by Archer and Tardos [4, 5]. As a core result, we prove the conjecture of Auletta et al. [8], that the greedy list scheduling algorithm Lpt is monotone if machine speeds are all integer powers of two (2-divisible machines). Proving the worst case bound of 2.8 involves studying the approximation ratio of Lpt on 2-divisible machines. As a side result, we obtain a tight bound of (sqrt(3) + 1)/2 ~= 1.3660 for the "one fast machine" case, i.e., when m - 1 machine speeds are equal, and there is only one faster machine. In this special case the best previous lower and upper bounds were 4/3 - epsilon < Lpt/Opt <= 3/2 - 1/(2m), shown in a classic paper by Gonzalez et al. [42]. Moreover, the authors of [42] conjectured the bound 4/3 to be tight. Thus, the results of the thesis answer three open questions in scheduling theory.In dieser Arbeit befassen wir uns mit Problemen aus zwei verschiedenen Teilgebieten der Scheduling-Theorie. Im ersten Teil betrachten wir das sog. preemptive Sum Multicoloring (pSMC) Problem. In einer Eingabe für pSMC werden paarweise Konflikte zwischen Jobs durch einen Konfliktgraphen repräsentiert; der Zeitbedarf eines Jobs ist durch ein ganzzahliges, positives Gewicht in seinem jeweiligen Knoten gegeben. Die Aufgabe besteht darin, die Jobs so den Maschinen zuzuweisen, dass die Summe ihrer Maschinenlaufzeiten minimiert wird. Wir liefern den ersten Algorithmus für pSMC auf Pfaden und Kreisen mit polynomieller Laufzeit; er benötigt O(min(n², n log p)) Zeit, wobei n die Anzahl der Jobs und p die maximale Zeitanforderung darstellen. Dies liefert eine Antwort auf die von Halldórsson et al. [51] aufgeworfene Frage der Komplexitätsklasse von pSMC. Unser Resultat identifiziert eine Diskrepanz zwischen der Komplexität auf binären Bäumen - für diese ist das Problem NP-schwer - und Pfaden. Im zweiten Teil dieser Arbeit betrachten wir das Problem, n Jobs auf m Maschinen mit unterschiedlichen Geschwindigkeiten so zu verteilen, dass der Makespan minimiert wird (Q||C_max). Wir präsentieren einen einfachen deterministischen monotonen Algorithmus mit Approximationsgüte 2.8 für Q||C_max. Monotonie ist relevant im Zusammenhang mit truthful Mechanismen: wenn die Geschwindigkeiten der Maschinen nur diesen selbst bekannt sind, müssen sie motiviert werden, dem Scheduling Mechanismus ihre tatsächlichen Geschwindigkeiten offenzulegen. Der beste bisherige deterministische truthful Mechanismus mit polynomieller Laufzeit in n und m von Andelman et al. [3] erreicht Approximationsgüte fünf. Eine randomisierte Methode mit ApproximationsgÄute zwei, die jedoch nur eine schwächere Definition von truthful Mechanismen unterstützt, wurde von Archer und Tardos [4, 5] entwickelt. Als ein zentrales Ergebnis beweisen wir die Vermutung von Auletta et al. [8], dass der greedy list-scheduling Algorithmus Lpt monoton ist, falls alle Maschinengeschwindigkeiten ganze Potenzen von zwei sind (2-divisible Maschinen). Der Beweis der obigen Approximationsschranke von 2.8 benutzt die Approximationsgüte von Lpt auf 2-divisible Maschinen. Als Nebenresultat erhalten wir eine scharfe Schranke von (sqrt(3) + 1)/2 ~= 1.3660 für den Fall "einer schnellen Maschine", d.h. m - 1 Maschinen haben identische Geschwindigkeiten und es gibt nur eine schnellere Maschine. Die bisherigen besten unteren und oberen Schranken für diesen Spezialfall waren 4/3 - epsilon < Lpt/Opt <= 3/2 - 1/(2m). Letztere wurden 1977 von Gonzalez, Ibara und Sahni [42] bewiesen, die mutmaßten, dass die tatächliche obere Schranke bei 4=3 läge. Alles in allem, liefert diese Arbeit Antworten auf drei offene Fragen im Bereich der Scheduling-Theorie

Edge-coloring via fixable subgraphs

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees. Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows.Comment: 18 pages, 8 figures; 12-page appendix with 39 figure