-\: Bìhem celého algoritmu je $ \psi \ge 0 $, nebo» je souètem nezáporných èlenù.
-\: Na poèátku je $ \psi = 0 $.
-\: Zvednutí vrcholu zvý¹í potencíál o $1$. Ji¾ víme, ¾e za~celý prùbìh algoritmu je zvednutí maximálnì $2N^2$, proto zvedáním vrcholù zvý¹íme potenciál nejvý¹e o~$2N^2$.
-\: Nasycené pøevedení zvý¹í potenciál nejvý¹e o~$2N$, nebo» èistì nasyceným pøevedením mù¾eme potenciál zvý¹it a¾ o~$2N$, pokud nejde o~èistì nasycené pøevedení, potenciál se dokonce o~$1$ sní¾í. Za~celý prùbìh tak dojde k~maximálnì $NM$ takovýchto pøevedení, díky nim¾ se potenciál zvý¹í maximálnì o~$2N^2M$.
-\: Koneènì kdy¾ pøevadím po~hranì $(u,v)$ nenasycenì, tak od~potenciálu urèitì odeètu vý¹ku vrcholu $u$ a mo¾ná pøiètu vý¹ku vrcholu $v$. Jen¾e $h(v) = h(u) - 1$, proto nenasycené pøevedení potenciál v¾dy sní¾í alespoò o~$1$.
+\:Bìhem celého algoritmu je $ \psi \ge 0 $, nebo» je souètem nezáporných èlenù.
+\:Na poèátku je $ \psi = 0 $.
+\:Zvednutí vrcholu zvý¹í $\psi$ o~jednièku. Ji¾ víme, ¾e za~celý prùbìh algoritmu je v¹ech zvednutí maximálnì $2N^2$, proto zvedáním vrcholù zvý¹íme potenciál dohromady nejvý¹e o~$2N^2$.
+\:Nasycené pøevedení zvý¹í $\psi$ nejvý¹e o~$2N$, proto¾e buï po~pøevodu hranou $uv$ v~$u$ zùstal nìjaký pøebytek, tak¾e se mohl potenciál zvý¹it a¾ o~$2N$, nebo je pøebytek v~$u$ po~pøevodu nulový a potenciál se dokonce o~jedna sní¾il. Za~celý prùbìh tak dojde k~maximálnì $NM$ takovýmto pøevedením, díky nim¾ se potenciál zvý¹í maximálnì o~$2N^2M$.
+\:Koneènì kdy¾ pøevádíme po~hranì $uv$ nenasycenì, tak od~potenciálu urèitì odeèteme vý¹ku vrcholu~$u$ a mo¾ná pøièteme vý¹ku vrcholu~$v$. Jen¾e $h(v) = h(u) - 1$, a proto nenasycené pøevedení potenciál v¾dy sní¾í alespoò o~jedna.