\section{Robust contractions}
-\def\C{{\cal C}}
-
Having the soft heaps at hand, we would like to use them in a~conventional MST
algorithm in place of a~usual heap. The most efficient specimen of a~heap-based
algorithm we have seen so far is the Iterated Jarn\'\i{}k's algorithm (\ref{itjar}).
and $\O(n)$ on identifying the live vertices.
\qed
+%--------------------------------------------------------------------------------
+
+\section{An optimal algorithm}
+
+
+
+
\endpart