Login / Signup
A Mechanized Proof of the Max-Flow Min-Cut Theorem for Countable Networks.
Andreas Lochbihler
Published in:
ITP (2021)
Keyphrases
</>
max flow min cut
interactive theorem proving
energy minimization
problems in computer vision
markov chain
social networks
network structure
complex networks
computer vision
image sequences
pairwise
higher order
mutual information
information theoretic
global minimum
min cut