这是本文档旧的修订版!
给出一张无向联通图,定义四个点的匹配关系,要求这四个点生成的子图中边的数量不超过两条。现在要求在这张图中要么找到一个至少有$\lceil \frac{n}{2} \rceil$个点的路径,要么找到一个至少包含$\lceil \frac{n}{2} \rceil$个点的数个匹配。
构建dfs生成树,如果最深的节点深度$\ge \lceil \frac{n}{2} \rceil$,则已经找到一条合法路径。否则所有点的深度均小于$\lceil \frac{n}{2} \rceil$,我们只需要将同一深度的数个点两两分为一组,如果是奇数就掉那一个,这样最多扔掉$\lfloor\frac{n}{2} \rfloor$个点,且这些组合显然满足条件(由dfs生成树的性质)。