Disjoint Paths—A Survey

This dissertation focuses on integer flow problems within specific signed graphs. The theory of integer flows, which serves as a dual problem to vertex coloring of planar graphs, was initially introduced by Tutte as a tool related to the Four-Color Theorem. This theory has been extended to signed graphs. In 1983, Bouchet proposed a conjecture asserting that every flow-admissible signed graph admits a nowhere-zero 6-flow. To narrow dawn the focus, we investigate cubic signed graphs in Chapter 2. We prove that every flow-admissible 3-edge-colorable cubic signed graph admits a nowhere-zero 10-flow. This together with the 4-color theorem implies that every flow-admissible bridgeless planar signed graph admits a nowhere-zero 10-flow. As a byproduct of this research, we also demonstrate that every flow-admissible hamiltonian signed graph can admit a nowhere-zero 8-flow. In Chapter 3, we delve into triangularly connected signed graphs. Here, A triangle-path in a graph G is defined as a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in G such that for any i, j with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. We categorize a connected graph $G$ as triangularly connected if it can be demonstrated that for any two nonparallel edges $e$ and $e'$, there exists a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.} characterized all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result extended to integer flow in certain families of ordinary graphs, such as locally connected graphs due to Lai and certain types of products of graphs due to Imrich et al. In this dissertation, we extend Fan's result for triangularly connected graphs to signed graphs. We proved that a flow-admissible triangularly connected signed graph $(G,\sigma)$ admits a nowhere-zero $4$-flow if and only if $(G,\sigma)$ is not the wheel $W_5$ associated with a specific signature. Moreover, this result is proven to be sharp since we identify infinitely many unbalanced triangularly connected signed graphs that can admit a nowhere-zero 4-flow but not 3-flow.\\ Chapter 4 investigates integer flow problems within $K_4$-minor free signed graphs. A minor of a graph $G$ refers to any graph that can be derived from $G$ through a series of vertex and edge deletions and edge contractions. A graph is considered $K_4$-minor free if $K_4$ is not a minor of $G$. While Bouchet's conjecture is known to be tight for some signed

Tree-width and path-width are well-known graph parameters. Many NP-hard graph problems admit polynomial-time solutions when restricted to graphs of bounded tree-width or bounded path-width. In this work, we study the behavior of tree-width and path-width under various unary and binary graph transformations. For considered transformations, we provide upper and lower bounds for the tree-width and path-width of the resulting graph in terms of those of the initial graphs or argue why such bounds are impossible to specify. Among the studied unary transformations are vertex addition, vertex deletion, edge addition, edge deletion, subgraphs, vertex identification, edge contraction, edge subdivision, minors, powers of graphs, line graphs, edge complements, local complements, Seidel switching, and Seidel complementation. Among the studied binary transformations, we consider the disjoint union, join, union, substitution, graph product, 1-sum, and corona of two graphs.

Simple Undirected Two-Commodity Integral Flow with a Unitary Demand

In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T(Y,1,0), and we provide bijections to two other classes of acyclic orientations that are known to be counted in the same way. A transversal of the set of equivalence classes is given.

We consider the problem of maintaining a maximum matching in a convex bipartite graph G = (V,E) under a set of update operations which includes insertions and deletions of vertices and edges. It is not hard to show that it is impossible to maintain an explicit representation of a maximum matching in sub-linear time per operation, even in the amortized sense. Despite this difficulty, we develop a data structure which maintains the set of vertices that participate in a maximum matching in O(log2 |V|) amortized time per update and reports the status of a vertex (matched or unmatched) in constant worst-case time. Our structure can report the mate of a matched vertex in the maximum matching in worst-case O(min{k log2 |V |+log |V|, |V| log |V|}) time, where k is the number of update operations since the last query for the same pair of vertices was made. In addition, we give an O(√|V| log2 |V|)-time amortized bound for this pair query.

The growth and evolution of networks has elicited considerable interest from the scientific community and a number of mechanistic models have been proposed to explain their observed degree distributions. Various microscopic processes have been incorporated in these models, among them, node and edge addition, vertex fitness and the deletion of nodes and edges. The existing models, however, focus on specific combinations of these processes and parameterize them in a way that makes it difficult to elucidate the role of the individual elementary mechanisms. We therefore formulated and solved a model that incorporates the minimal processes governing network evolution. Some contribute to growth such as the formation of connections between existing pair of vertices, while others capture deletion; the removal of a node with its corresponding edges, or the removal of an edge between a pair of vertices. We distinguish between these elementary mechanisms, identifying their specific role on network evolution.

We prove that all planar Laman graphs (i.e. minimally generically rigid graphs with a non-crossing planar embedding) can be generated from a single edge by a sequence of vertex splits. It has been shown recently [6,12] that a graph has a pointed pseudo-triangular embedding if and only if it is a planar Laman graph. Due to this connection, our result gives a new tool for attacking problems in the area of pseudo-triangulations and related geometric objects. One advantage of vertex splitting over alternate constructions, such as edge-splitting, is that vertex splitting is geometrically more local.

Approximating minimum size {1,2}-connected networks

Zum basisproblem der nicht in die projektive ebene einbettbaren graphen, I

We show that l vertex disjoint paths between l pairs of vertices can be found in linear time for co-graphs but is NP-complete for graphs of NLC-width at most 4 and clique-width at most 7. This is the first inartificial graph problem known to be NP-complete on graphs of bounded clique-width but solvable in linear time on co-graphs and graphs of bounded tree-width.

Given an undirected graph G and two vertex subsets H 1 and H 2, the smallest bi-level augmentation problem is that of adding to G the smallest number of edges such that G contains two internally vertex-disjoint paths between every pair of vertices in H 1 and two edgedisjoint paths between every pair of vertices in H 2. We solve the bi-level augmentation problem in O(n + m) time, where n and m are the numbers of vertices and edges in G. Our algorithm can be parallelized to run in O(log2 n) time using n + m processors on an EREW PRAM.KeywordsCritical NodeGraph ProblemVertex SubsetConnectivity RequirementAugmentation ProblemThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

General vertex disjoint paths in series-parallel graphs

We present a deterministic local routing algorithm that is guaranteed to find a path between any pair of vertices in a half-$\theta_6$-graph (the half-$\theta_6$-graph is equivalent to the Delaunay triangulation where the empty region is an equilateral triangle). The length of the path is at most $5/\sqrt{3} \approx 2.887$ times the Euclidean distance between the pair of vertices. Moreover, we show that no local routing algorithm can achieve a better routing ratio, thereby proving that our routing algorithm is optimal. This is somewhat surprising because the spanning ratio of the half-$\theta_6$-graph is 2, meaning that even though there always exists a path whose length is at most twice the Euclidean distance, we cannot always find such a path when routing locally. Since every triangulation can be embedded in the plane as a half-$\theta_6$-graph using $O(\log n)$ bits per vertex coordinate via Schnyder's embedding scheme [W. Schnyder, Embedding planar graphs on the grid, in Proceedings of the 1st Annual ACM--SIAM Symposium on Discrete Algorithms (SODA 1990), ACM, New York, SIAM, Philadelphia, 1990, pp. 138--148], our result provides a competitive local routing algorithm for every such embedded triangulation. Finally, we show how our routing algorithm can be adapted to provide a routing ratio of $15/\sqrt{3} \approx 8.660$ on two bounded degree subgraphs of the half-$\theta_6$-graph.

We study the following all-or-nothing multicommodity flow problem in planar graphs. Input: A graph G with n vertices and k pairs of vertices (s1, t1), (s2, t2),..., (sk, tk) in G. Find: A largest subset W of {1, ...., k such that for every i in W, we can send one unit of flow between si and ti. This problem is different from the well-known maximum edge-disjoint paths problem in that we do not require integral flows for the pairs. This problem is APX-hard even for trees, and a 2-approximation algorithm is known for trees. For general graphs, Chekuri et al. (STOC'04) give a poly-logarithmic factor approximation algorithm and show that a natural LP-relaxation has a poly-logarithmic integrality gap. This result is in contrast with the integrality gap Ω(√n) for the maximum edge-disjoint paths problem. Our main result considerably strengthens this result when an input graph is planar. Namely, for the all-or-nothing multicommodity flow problem in planar graphs, we give an O(1)-approximation algorithm and show that the integrality gap is O(1). In particular, in polynomial time, we can find an index set W with |W| = Ω(OPT) and eight si-ti paths for each i in W such that each edge is used at most eight times in these paths (with multiplicity), where OPT is the optimal value of the LP-relaxation of the all-or-nothing multicommodity flow problem. Our result can be compared to the recent result by S'eguin-Charbonneau and Shepherd (FOCS'11) who give an O(1)-approximation algorithm for the maximum edge-disjoint paths problem in planar graphs with congestion 2 (but not implied by this result).

Spanners in sparse graphs