15.4 最大化可验证区域