隐枚举法的基本思想是在的基础上，设计一些方法，使在检查取值组合中只检查一部分，就能求。

第1题：

跳过白色块（WBS)编码的基本思想：在实际中，大多数二值图像都是白色背景占大部分，黑像素只占图像像素很少一部分，因此，若能跳过白色区域，只对黑色像素编码，就能减少传输的数码率。（）

跳过白色块（WBS)编码的基本思想：在实际中，大多数二值图像都是白色背景占大部分，黑像素只占图像像素很少一部分，因此，若能跳过白色区域，只对黑色像素编码，就能减少传输的数码率。（）

第2题：

隐枚举法是将所有变量取0、1的组合逐个代入约束条件试算的方法寻找可行解

第3题：

求解纯整数规划的两种方法是分支界定法和隐枚举法。

第4题：

本讲在讲述软件建模方法时，主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中，________不属于形式化思维方法中采用的表达方法。

A．C语言

B．VDM语言

C．Z语言

D．Petri网

第5题：

请简述求解0—1整数规划的隐枚举法的基本思想。