Recall the max-flow problem: for a directed graph G(V,E) with non-negative capacities ce for every e∈E and two special vertices s (source, with no incoming edges) and t (sink, with no outgoing edges), a flow in G is an assignment f:E→R≥0 such that fe≤ce for every edge and for every vertex v∈V,∑(u,v)∈Ef((u,v))=∑(v,u)∈Ef((v,u)). The task is to find a maximum flow f i.e., a flow f such that ∑(s,u)∈Ef((s,u)) is maximized.
Given an instance (G;s,t,c), we attempt here to design a LP whose optimal value is equal to the maximum flow in the graph G. There is a variable xuv for all (u,v)∈E. Note that for any pair of vertices that is not an edge, we do not introduce any variable corresponding to it.
maxu∑xut∀e=(u,v)∈E,xuv⩽ce∀v∈/{s,t},u∑xuv=w∑xvw∀e=(u,v)∈E,xuv⩾0
Is the LP above a valid formulation for computing the maximum flow in G?