U102242 Proving Equivalences

在数学中，我们常常需要完成若干命题的等价性证明。 例如：有4个命题a,b,c,d，要证明他们是等价的，我们需要证明ab，然后bc，最后cd。注意每次证明是双向的，因此一共完成了6次推导。另一种证明方法是：证明a->b，然后b->c，接着c->d，最后d->a，只须4次证明。 现在你任务是证明 n 个命题全部等价，且你的朋友已经为你作出了m次推导（已知每次推导的内容），你至少还需做几次推导才能完成整个证明。

有T(T

输出还需要做推导数的最小值。