When the Cut Condition is Enough: A Complete Characterization for Multiflow Problems in Series-Parallel Networks

Let $G=(V,E)$ be a supply graph and $H=(V,F)$ a demand graph defined on the same set of vertices. An assignment of capacities to the edges of $G$ and demands to the edges of $H$ is said to satisfy the \emph{cut condition} if for any cut in the graph, the total demand crossing the cut is no more than the total capacity crossing it. The pair $(G,H)$ is called \emph{cut-sufficient} if for any assignment of capacities and demands that satisfy the cut condition, there is a multiflow routing the demands defined on $H$ within the network with capacities defined on $G$. We prove a previous conjecture, which states that when the supply graph $G$ is series-parallel, the pair $(G,H)$ is cut-sufficient if and only if $(G,H)$ does not contain an \emph{odd spindle} as a minor; that is, if it is impossible to contract edges of $G$ and delete edges of $G$ and $H$ so that $G$ becomes the complete bipartite graph $K_{2,p}$, with $p\geq 3$ odd, and $H$ is composed of a cycle connecting the $p$ vertices of degree 2, and an edge connecting the two vertices of degree $p$. We further prove that if the instance is \emph{Eulerian} --- that is, the demands and capacities are integers and the total of demands and capacities incident to each vertex is even --- then the multiflow problem has an integral solution. We provide a polynomial-time algorithm to find an integral solution in this case. In order to prove these results, we formulate properties of tight cuts (cuts for which the cut condition inequality is tight) in cut-sufficient pairs. We believe these properties might be useful in extending our results to planar graphs.Comment: An extended abstract of this paper will be published at the 44th Symposium on Theory of Computing (STOC 2012

On one maximum multiflow problem and related metrics

AbstractWe consider the undirected maximum multiflow (multicommodity flow) problem in the case when the commodity graph is the disjoint union of K3 and K2. We prove that if the supply graph satisfies a certain Eulerian-type condition, then the problem has an integer optimal solution. To obtain this result, we first study the corresponding dual problem on metrics and show that an optimal solution to the latter is achieved on some (2,3)-metric or some 3-cut metric

A tight relation between series--parallel graphs and bipartite distance hereditary graphs

Bandelt and Mulder’s structural characterization of bipartite distance hereditary graphs asserts that such graphs can be built inductively starting from a single vertex and by re17 peatedly adding either pendant vertices or twins (i.e., vertices with the same neighborhood as an existing one). Dirac and Duffin’s structural characterization of 2–connected series–parallel graphs asserts that such graphs can be built inductively starting from a single edge by adding either edges in series or in parallel. In this paper we give an elementary proof that the two constructions are the same construction when bipartite graphs are viewed as the fundamental graphs of a graphic matroid. We then apply the result to re-prove known results concerning bipartite distance hereditary graphs and series–parallel graphs and to provide a new class of polynomially-solvable instances for the integer multi-commodity flow of maximum valu

Node-Connectivity Terminal Backup, Separately-Capacitated Multiflow, and Discrete Convexity

The terminal backup problems (Anshelevich and Karagiozova (2011)) form a class of network design problems: Given an undirected graph with a requirement on terminals, the goal is to find a minimum cost subgraph satisfying the connectivity requirement. The node-connectivity terminal backup problem requires a terminal to connect other terminals with a number of node-disjoint paths. This problem is not known whether is NP-hard or tractable. Fukunaga (2016) gave a $4/3$-approximation algorithm based on LP-rounding scheme using a general LP-solver. In this paper, we develop a combinatorial algorithm for the relaxed LP to find a half-integral optimal solution in $O(m\log (nUA)\cdot \operatorname{MF}(kn,m+k^2n))$ time, where $n$ is the number of nodes, $m$ is the number of edges, $k$ is the number of terminals, $A$ is the maximum edge-cost, $U$ is the maximum edge-capacity, and $\operatorname{MF}(n',m')$ is the time complexity of a max-flow algorithm in a network with $n'$ nodes and $m'$ edges. The algorithm implies that the $4/3$-approximation algorithm for the node-connectivity terminal backup problem is also efficiently implemented. For the design of algorithm, we explore a connection between the node-connectivity terminal backup problem and a new type of a multiflow, called a separately-capacitated multiflow. We show a min-max theorem which extends Lov\'{a}sz-Cherkassky theorem to the node-capacity setting. Our results build on discrete convexity in the node-connectivity terminal backup problem.Comment: A preliminary version of this paper was appeared in the proceedings of the 47th International Colloquium on Automata, Languages and Programming (ICALP 2020

HJ Inequalities Involving Lie Brackets and Feedback Stabilizability with Cost Regulation

With reference to an optimal control problem where the state has to approach asymptotically a closed target while paying a non-negative integral cost, we propose a generalization of the classical dissipative relation that defines a Control Lyapunov Function to a weaker differential inequality. The latter involves both the cost and the iterated Lie brackets of the vector fields in the dynamics up to a certain degree k = 1, and we call any of its (suitably defined) solutions a degree -k Minimum Restraint Function. We prove that the existence of a degree -k Minimum Restraint Function allows us to build a Lie-bracket-based feedback which sample stabilizes the system to the target while regulating (i.e., uniformly bounding) the cost