2019年1月2日

约束可满足问题

摘要： 1.约束可满足问题（CSP）由三个基本元素组成：变量集V={V1,V2,...,Vl}，变量的域D={D1,D2,...,Dl}，约束C。变量的域D是变量可能取值的集合，变量V只能在域D内取值，约束C表述了变量V之间必须满足的关系。求解约束问题就是在各变量的域D中找到一个值S使得各变量之间满足约束C 阅读全文

posted @ 2019-01-02 12:06 悟江居士 阅读(1189) 评论(3) 推荐(0) 编辑

导航