20.2.4 三色不变式与屏障技术