Network flows with capacities on pairs of edges - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T11:43:28Z http://mathoverflow.net/feeds/question/97841 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97841/network-flows-with-capacities-on-pairs-of-edges Network flows with capacities on pairs of edges Brendan McKay 2012-05-24T14:54:29Z 2012-05-25T03:50:20Z <p>Take a standard network flow problem: a directed graph with nonnegative capacities on each edge, a source $s$, a sink $t$. We all know how to find the maximum flow from $s$ to $t$.</p> <p>Now add edge-pair capacities: for each pair of edges, there is some maximum total flow for those two edges.</p> <p>This new problem is solvable in polynomial time since it is a linear program, but I don't want to use such a sledge-hammer.</p> <ol> <li>Is there a way to convert this problem into an at-most-polynomially-larger ordinary network flow problem?</li> <li>Can it be solved using an augmenting-flow type of approach?</li> <li>In the original problem, if the capacities are integers then there is an optimum flow which is integer. This is not true in the new problem, but is it true that there is an optimum flow in which the edge flows are integer or half integer? </li> <li>The polytope of all flows is interesting in the original problem; is it still interesting in the new problem? (Choose your own definition of "interesting".)</li> </ol> <p>UPDATE: Q3 was answered in the negative by Douglas Zare. Let me now weaken the hypothesis. Say that a pair-capacity $c(e_1,e_2)$ <em>bites</em> if $c(e_1,e_2)\lt c(e_1)+c(e_2)$. What happens in Q3 if no two biting pair-capacities have an edge in common? [Also negative per Douglas.]</p> http://mathoverflow.net/questions/97841/network-flows-with-capacities-on-pairs-of-edges/97894#97894 Answer by Douglas Zare for Network flows with capacities on pairs of edges Douglas Zare 2012-05-25T01:23:09Z 2012-05-25T03:35:19Z <p>Here is a simple counterexample to 3. Let the vertices be $\lbrace s, v, t\rbrace$. Let there be two edges $e_1$ and $e_2$ from $s$ to $v$, and one edge $e_3$ from $v$ to $t$. </p> <p>$$s \overset{e_1}{\underset{e_2} \rightrightarrows} v \overset{e_3} \rightarrow t$$</p> <p>Let the conditions be $c(e_1,e_3) \le 1, c(e_2,e_3) \le1$. There is a flow of size $2/3$ possible by letting $1/3$ flow through $e_1$ and $e_2$ and letting $2/3$ flow through $e_3$. There is no way to have a flow of size $1$, so there is no integer or half-integer flow which is at least as large as $2/3$.</p> <p>The same idea works on a larger graph without a doubled edge.</p> <hr> <p>Update: A slight modification of this counterexample has no intersecting biting pairs.</p> <p>$$s \overset{e_1}{\underset{e_2} \rightrightarrows} v \overset{e_3} \rightarrow w \overset{e_4} \rightarrow t$$</p> <p>Then $c(e_1,e_3) \le 1, c(e_2,e_4) \le 1$ has the same effect as in the previous example, and the maximum flow is also $2/3$.</p>