Max-flöde, minsta-snitt

Satsen om max-flöde, minsta-snitt säger att för en given viktad graf är det största möjliga flödet mellan två noder lika med det minsta möjliga snitt som separerar dessa två noder. Satsen är av stor vikt inom optimeringslära och har praktiska tillämpningar inom till exempel bildanalys och datorseende.[1]

Linjärprogramformulering

Max-flöde och minsta-snitt kan formuleras som två linjärprogram som är dualer till varandra[2]:

Max-flöde

Minsta-snitt

maximera | f | {\displaystyle |f|\,}
minimera ( i , j ) E c i j d i j {\displaystyle \sum _{(i,j)\in E}c_{ij}d_{ij}}

under villkoren

under villkoren

f i j c i j {\displaystyle f_{ij}\leq c_{ij}}
j : ( j , i ) E f j i j : ( i , j ) E f i j 0 , {\displaystyle \sum _{j:\,\,(j,i)\in E}f_{ji}-\sum _{j:\,\,(i,j)\in E}f_{ij}\leq 0,}
f i j 0 {\displaystyle f_{ij}\geq 0}
( i , j ) E {\displaystyle (i,j)\in E}
i V {\displaystyle i\in V}
d i j + x i x j 0 {\displaystyle d_{ij}+x_{i}-x_{j}\geq 0}
x s = 0 {\displaystyle x_{s}=0\,}
x t = 1 {\displaystyle x_{t}=1\,}
d i j 0 {\displaystyle d_{ij}\geq 0}
( i , j ) E {\displaystyle (i,j)\in E}
 
 
( i , j ) E {\displaystyle (i,j)\in E}

f i j {\displaystyle f_{ij}} anger flödet mellan i {\displaystyle i} och j {\displaystyle j}

x i {\displaystyle x_{i}} anger om nod i {\displaystyle i} är kopplad till s {\displaystyle s} eller t {\displaystyle t}

d i j {\displaystyle d_{ij}} anger om bågen mellan i {\displaystyle i} och j {\displaystyle j} är avskuren

Referenser

  • Y. Boykov, O. Veksler and R. Zabih (1998), "Markov Random Fields with Efficient Approximations", International Conference on Computer Vision and Pattern Recognition (CVPR).
  • Y. Boykov, O. Veksler and R. Zabih (2001), "Fast approximate energy minimisation via graph cuts", IEEE Transactions on Pattern Analysis and Machine Intelligence, 29, 1222–1239.
  • Christos H. Papadimitriou, Kenneth Steiglitz (1998). ”6.1 The Max-Flow, Min-Cut Theorem”. Combinatorial Optimization: Algorithms and Complexity. Dover. sid. 120-128. ISBN 0486402584 

Noter

  1. ^ Boykov 1998,2001
  2. ^ Papadimitriou 1998