4.17.1 分割检查法基本原理