Overenie vlastností algoritmov pre minimálny rez grafu - Bača, Pavol, 1987- (STU v Bratislave FIIT, 2008)