Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
Cut monotones and decreasing potential reachability
Cut monotones and decreasing potential reachability · lines 769–788
For a cut , with , define
and
All counts include identifiers and hence multiplicity.
Displayed formulas in this passage
unlabeled · line 773
unlabeled · line 781