- 博客(1)
- 收藏
- 关注
RSS订阅原创 AI笔记 The SAT problem
算法之SAT SAT问题即满足问题。给定一个规则(约束条件)和dataset(数据集)，求证这个数据集能否满足这个规则，如果满足，给出可能的解。历史上有很多经典SAT问题，例如地图涂色问题，婚礼问题，理事会问题。 DPLL是解此类问题的一个经典算法，DPLL是4个算法发明人名字的首字母。这四个人是Martin Davis, Hilary Putnam, George Logem
2017-03-21 10:41:17
2749
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人