MathLabs

第6题

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

若连通分支的所有顶点度数均为偶数,则存在欧拉回路,可沿连续边交替染色。

deg⁡(v) even for every v\deg(v)\text{ even for every }v
详细分析

在所有顶点度数均为偶数的连通分支中取一条欧拉回路。由于图为二分图,回路长度为偶数。沿回路边交替染红白;每个顶点的进入和离开边成对出现且各色一条,因此差为 00。