用分治策略解决工业类SAT实例

摘要

尝试用最少截图工具CHACO2.2去观察实例转成图后的结构松散情况,发现多数工业类实例的结构相对其他类别实例较为松散,更容易被分割。为人们提供分治策略线索去设计算法解决工业实例:把大的SAT工业类实例分拆成若干个小实例来求解,可使实例的难度降低。