MathLabs

第6题

给定平面上的有限点集,每个点具有整数坐标。是否总能把这些点染成红色或白色,使得对每条平行于某一坐标轴的直线 LL,其上直线 LL 上白点数与红点数之差的绝对值不超过 11?
第 3/4 步:分解含奇度顶点的分支
通俗地说

含有 2k2k 个奇度顶点的连通图可分解成 kk 条路径;二分性使每条路径交替经过两部分。

2k odd-degree vertices⟹k edge-disjoint paths2k\text{ odd-degree vertices}\Longrightarrow k\text{ edge-disjoint paths}
详细分析

若分支有 2k>02k>0 个奇度顶点,标准路径分解定理把其边分成 kk 条边不相交路径(或迹)。每条路径上的边交替染色。路径内部顶点从该路径得到各一条红边与白边;端点多出一条未配对边。合并所有路径后,每个顶点两色数之差至多为 11。