Graphs with distance guarantees

One goal in network design is the construction of sparse networks that guarantee short distances with respect to some given distance requirements. By this, it can be guaranteed, for example, that delays that are incurred by link faults are bounded. An appropriate graph-theoretic model for this is the concept of k–spanners: Given a graph G, a k–spanner of G is a spanning subgraph S, such that the distance between any two vertices in S is at most k times longer than the distance in G. Research in this area has mainly concentrated on two aspects: minimum k–spanners, i.e., k–spanners that contain the fewest edges among all k–spanners, and tree k–spanners, i.e., k–spanners that are trees. In this thesis, we use k–spanners to model further desirable properties from network design (such as reliability) within a graph-theoretic framework. Our main emphasis is on sparse graphs that guarantee short distances, and we are interested in simple structures and fault-tolerance. Basically, our research comprises two major parts: In the first part, we use k–spanners as a means of analyzing a given graph: We are given a graph and the problem is to decide whether it contains some particular form of k–spanner. Often, k–spanners are difficult to find, and most problems in this area are NP-hard. Moreover, both the concepts of minimum or tree k–spanners exhibit serious drawbacks with respect to typical applications in network design. To overcome these difficulties, we propose three approaches stemming from different thematic contexts: • k–spanners within the context of planarity; • k–spanners that are sparse, simply structured, and fault-tolerant; • generalized k–spanners using auxiliary vertices. To summarize, our results in this first part of the thesis indicate even more that the problem of finding k–spanners in their different shaping is difficult, and only some special cases can be solved efficiently. In contrast, in the second part of this thesis, we use k–spanners to construct graphs from scratch, subject to some given requirements. We introduce graph-theoretic models for graphs that guarantee constant delays even if a multiple number of edges fail. In particular, we consider two cases: an unlimited and a limited number of edge faults. Though we cannot hope for finding efficient characterizations for both graph classes, we give characterizations and examine some popular graph classes, graph operations and network topologies with respect to the given requirements. Deutsche Zusammenfassung Ein wichtiges Teilproblem beim Entwurf von Netzwerken ist das Finden von dunnen Netzwerken, in denen die Abstande zwischen je zwei Knoten nicht zu gros bzgl. vorgegebener Entfernungsbedingungen werden. Auf diese Weise kann beispielsweise garantiert werden, dass Verzogerungen durch den Wegfall von Verbindungen unter Kontrolle gehalten werden. Ein geeignetes graphentheoretisches Modell dafur sind k-Spanner : Ein aufspannender Teilgraph S heist k–Spanner eines Graphen G fur ein k ≥ 1, falls die Distanz in S fur jedes Knotenpaar hochstens das k–fache der Distanz in G ist. Die Forschung im Bereich der k–Spanner hat sich meist auf das Studium von minimalen k–Spannern (also k–Spanner mit der kleinstmoglichen Kantenzahl) oder k– Baumspannern (also k–Spanner, die Baumstruktur haben) konzentriert. In dieser Dissertation verwenden wir das Konzept der k–Spanner, um zusatzliche wunschenswerte Eigenschaften (wie zum Beispiel Zuverlassigkeit) graphentheoretisch zu fassen. Wir beschaftigen uns dabei hauptsachlich mit dunnen Graphen, die kurze Distanzen garantieren und dabei eine moglichst einfache Struktur besitzen beziehungsweise fehlertolerant sind. Die Ergebnisse lassen sich im wesentlichen in zwei Hauptteile untergliedern. Im ersten Teil verwenden wir k–Spanner, um einen vorgegebenen Graphen zu analysieren, indem wir untersuchen, ob er eine bestimmte Form von k–Spanner enthalt. Fur die bislang untersuchten, oben erwahnten Varianten hat sich dieses Problem jedoch meist als schwierig beziehungsweise NP–schwer herausgestellt. Auserdem hat sowohl das Konzept der minimalen k–Spanner als auch das der k–Baumspanner Nachteile in Bezug auf netzwerktypische Anforderungen. Um dies zu uberwinden, betrachten wir drei Modelle aus verschiedenen thematischen Kontexten: • k–Spanner und Planaritat; • dunne, einfach strukturierte k–Spanner, die fehlertolerant sind; • verallgemeinerte k–Spanner, die Hilfsknoten berucksichtigen. Die Ergebnisse belegen, dass Probleme im Bereich der k–Spanner schwierig sind. Oft konnen nur Teilprobleme effizient gelost werden. Der zweite Teil dieser Dissertation verfolgt ein artverwandtes Problem, jedoch diesmal aus der Perspektive der Graph-Konstruktion: Unser Ziel ist es, Graphen zu konstruieren, die hochstens konstante Verzogerungen garantieren, selbst wenn beliebige Kanten des Graphen ausfallen. Es zeigt sich, dass das allgemeine Problem der Erkennung der jeweiligen Graphklassen NP–schwer ist. Wir geben jedoch Charakterisierungen an und beschreiben, wie sich einige populare Graphklassen, Graphoperationen und NetzwerkTopologien bezuglich der gegebenen Eigenschaften verhalten.