Professional Documents
Culture Documents
Submodularflow Slides
Submodularflow Slides
18 de junho de 2014
X , Y C, X Y 6= , X Y 6= X Y , X Y C.
X , Y C, X , Y cross X Y , X Y C.
{X : X V , r 6 X } = 2V r
{X : X 2V {, V }, d in (X ) = 0}
Nx 6 b.
X Y or Y X or X Y = or X Y = V ,
X Y or Y X or X Y = ,
I have included the proofs in these slides but have not discussed in
class.
max cx
s.t. Nx 6 b
l 6x 6u
Or equivalently,
min y b 1w + 1z
s.t y N w I + zI = c
y, w, z > 0
C := {{v } : v V } and b = 0.
C := {X V {, V } : d in (X ) = 0} and b = 1.
Set
C := 2V {, V } and b(X ) := d in (X ) k.
You can check that a submodular flow for this pair C, b
corresponds to a k-arc-connected reorientation.
{(u , u ) : u E },
where X := V \ X .
min yb 1w + 1z
s.t yN w I + zI = c
y, w , z > 0
X Y or Y X or X Y = or X Y = S,
X Y or Y X or X Y = ,
C(T , ) := {X a : a A}.
Edmonds and Giles (1977) showed that the converse is true, that
is, every cross-free family has a tree-representation and every
laminar family has a rooted tree-representation.