分支约束法
参考答案：
一种空间搜索方法，通过约束条件减少搜索空间，提高搜索效率。
铸铁材料中碳元素始终是以石墨的形式存在于集体里。
信息系统的功能模型也称为逻辑模型，下列不属于系统逻辑模型的是______。
A．总体结构图
B．数据流程图
C．数据概念结构图
D．模块结构图
