答案 0 :(得分:2)
这是对这一事实的直观解释(这不是一个严格的证据):让我们看一下路径封面中的每条路径。除路径中的第一个顶点外,每个顶点都有一个唯一的前驱。而且,每个顶点只有一个后继(除了每个路径中的最后一个)。这就是我们可以说每个顶点与其前身匹配的原因。如果顶点与任何东西都不匹配,则它是某个路径中的第一个顶点。这就是为什么路径的数量等于不匹配的顶点的数量(每个路径只有一个第一个顶点)。不匹配顶点的数量显然等于顶点总数减去匹配顶点数。这就是我们获得n - m
公式的方式。最大匹配的大小不可能得到更少的路径(否则n - m1 < n - m
=&gt; m1 > m
=&gt; m
不是最大值。同时,我们可以明确地构建一个具有n - m
路径的解决方案。
答案 1 :(得分:0)
这是最小边缘问题:https://code.google.com/codejam/contest/11254486/dashboard#s=p2&a=2