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

Back to manuscript

For a cut , with , define

and

All counts include identifiers and hence multiplicity.

Displayed formulas in this passage

  • unlabeled · line 773

  • unlabeled · line 781

Nearby in this section