ula_41 包含 formula_9 中入度为零的节点，而 formula_43 中包含 formula_11 中出度为零的节点）。令 formula_45 为从 formula_41 只沿紧边的有向路径可到达 formula_27 的节点。可由广度优先搜索求得。若 formula_48 非空，则将 formula_27 中从 formula_41 到 formula_43 的有向路径反向。则相应匹配数增加1。若 formula_48 为空，则令 formula_53。formula_54 为正