Menger-type theorems with restrictions on path lengths

AbstractIf the paths of length ⩽s, joining two non-adjacent vertices u, υ of a graph cannot be destroyed by deleting less than t vertices, then there are at least t internally vertex-disjoint paths joining u and υ, each having length less than (t+s−2s−2)+(t+s−3s−2). Some constructions show that using paths of length at least st−1t might be necessary

From spanners to multipath spanners

Cette thèse traite de l'étude des spanneurs multichemins, comme extension des spanneurs de graphes classiques. Un spanneur H d'un graphe G est un sous-graphe couvrant tel que pour toute paire de sommets du graphe a,b appartient à V(G) la distance dans le spanneur dh(a,b) n'est pas trop étirée par rapport à la distance dans le graphe d'origine dg(a,b). Ainsi il existe un facteur d'étirement (alpha, beta) tel que pour tout a,b appartient à V(G), dh(a,b) est inférieur ou égal à alpha dg(a,b)+beta. Motivés par des considérations de routage à plusieurs chemins et après la remarque que le concept de spanneur peut être étendu à toute métrique non décroissante , nous introduisons la notion de spanneur multichemins. Après une introduction au domaine, nous parlerons des résultats obtenus concernant d'une part les spanneurs multichemins arêtes disjoints et d'autre part les spanneurs multichemins sommets disjoints.This thesis deals with multipath spanners, as an extension of classical graph spanners. A spanner H of a graph G is a spanning subgraph such that for any pair of vertices a,b is an element of V(G) the distance measured in the spanner dh(a,b) isn't too much stretched compared to the distance measured in the original graph dg(a,b). As such there exists a stretch factor (alpha, beta) such that for all a,b is an element of V(G), dh(a,b) is less than or equal to alpha dg(a,b)+beta. Motivated by multipath routing and after noting that the concept of spanner can be extended to any non decreasing metric, we introduce the notion of multipath spanner. After an introduction to the topic, we will show the results obtained. The first part is devoted to edge-disjoint multipath spanners. The second part id devoted to vertex-disjoint spanners.BORDEAUX1-Bib.electronique (335229901) / SudocSudocFranceF

Wegesysteme

Abstract zur Dissertation Autor: Frank Göring Titel: Wegesysteme _____________________________________________________________________________________________ Path systems are understood to be Graphs. Thus we consider topological minor- ship as a natural relation of containment for graphs. By ¯xing special vertices of a topological minor in the containing graph we specialise this relation to get a short way to formulate theorems about the exi- stence of path systems. Three new and short proofs of Menger's theorem about the existence of a special path system are given. One of these proofs gives both a new version of this theorem including prescribability of initial and terminal vertices of a non-maximal path system for a maximal path system and an easy implementable linear Algorithm for ¯nding the desired path system. It is shown that this theorem contains wellknown theorems of transversal theory (like Hall's marriage theorem and Ford and Fulkerson's theorem about common transver- sals) as special cases. The prescibability of startvertices even will be shown for Mader's theorem. Moreover the new version of Menger's theorem is used to gi- ve a procedure which investigates the following question: Do some connectivity conditions (possibly combined with a given path system) force the existence of a desired path system in a graph? The procedure is constructivly. Either it ¯nds a counterexample, that is, a graph satisfying the given assumptions but not con- taining the desired path system, or it gives an algorithm with a linear running time in the number of vertices and edges of the input graph which constructs the desired path system. More precisely the algorithm either ¯nds a separator showing that the input graph doesn't satisfy the connectivity condition or the desired path system will be constructed. Two examples demonstrate how this procedure works: Two Theorems about the existance of cycles in a given graph containing prescribed vertices will be deduced.Wegesysteme werden als Graphen abstrahiert, sodaß als natürliche Enthaltenseinsrelation von Graphen die topologische Minorenrelation betrachtet wird. Durch das Fixieren bestimmter Knotenpunkte des topologischen Minors im großen Graphen wird diese Ordnungsrelation spezialisiert, sodaß Existenzsätze über Wegesysteme eine einfache Formulierung bekommen. Zu Mengers Theorem über die Existenz eines bestimmten Wegesystems werden drei kurze und neue Beweise gegeben. Einer dieser Beweise liefert sowohl eine neue Version des Theorems, die die Vorschreibbarkeit der Start- und Endknoten eines nicht maximalen Wegesystems für ein maximales Wegesystem beinhaltet, als auch einen leicht implementierbaren linearen Algorithmus zum Auffinden dieses Wegesystems. Es wird gezeigt, daß diese Version bekannte Theoreme der Transversaltheorie wie Halls Heiratssatz und das Theorem über gemeinsame Transversalen von Ford und Fulkerson als Spezialfälle hat. Auch für Maders Theorem über die Zahl unabhängiger H-Wege wird die Vorschreibbarkeit der Startknoten gezeigt. Die neue Version von Mengers Theorem wird darüber hinaus verwendet, um ein Verfahren zu begründen, mit welchem untersucht werden kann, ob aus gewissen Zusammenhangsvoraussetzungen (evtl. kombiniert mit einem gegebenen Wegesystem) in einem Graphen die Existenz eines gesuchten Wegesystems folgt. Das Verfahren ist konstruktiv. Entweder findet es ein Gegenbeispiel, also einen Graphen mit den gegebenen Voraussetzungen, der das gesuchte Wegesystem nicht enthält, oder es liefert einen Algorithmus, welcher linear in der Zahl der Knoten und Kanten des gegebenen Graphen das gesuchte Wegesystem findet. Genauer wird bei Eingabe eines beliebigen Graphen entweder einen Trenner gefunden, der beweist, daß die Zusammenhangsvoraussetzung nicht gegeben ist, oder das gesuchte Wegesystem selbst wird konstruiert. An Beispielen wird die Funktionsweise des Verfahren demonstriert: Es werden zwei Existenzsätze über Kreise durch vorgeschriebene Knoten eines gegebenen Graphen damit hergeleitet