标签：post 一个 pos 允许 搜索 style log 启发式 赋值
一、初始状态
给每个变量都赋一个值
二、后继函数
一次改变一个变量的取值
三、约束满足问题的局部搜索
允许状态不符合约束
动作定义为：给变量重新赋值
变量选择：随机选择一个违反约束的变量重新赋值
赋值方案：最小冲突启发式
约束满足问题的局部搜索
原文地址：https://www.cnblogs.com/wander-clouds/p/8555087.html
