Content deleted Content added
Line 168:
** every exposed vertex in ''G'' is a root of an alternating tree in ''F''.
Each iteration of the loop starting at line B09 either adds to a tree ''T'' in ''F'' (line B10) or finds an augmenting path (line B17) or finds a blossom (line
| author1 = Micali, Silvio
| author2 = Vazirani, Vijay
|