约束满足问题是种数学的问题，其定义为一组物件，而这些物件需要满足一些限制或条件。 CSPs将其问题中的单元表示成在变数上有限条件的一组同质的集合, 这类问题透过"约束满足方法"来解决。CSPs是人工智能和运筹学 的热门主题,因为它们公式中的规律，提供了共同基础来分析、解决很多看似不相关的问题。 CSPs通常呈现高复杂性, 需要同时透过启发式算法 和 联合搜索 的方法，来在合理的时间内解决问题。 布尔可满足性问题 , 可满足性的理论 和回答集编程 可以算是某种程度上的约束满足问题。
元启发算法, 又称 万能启发式算法、万用启发式算法。在计算机科学和数学优化中，元启发是一种高级的程序或启发式算法，专门用于搜索、生成或选取一个启发式结果，该结果可以为一个最优化问题提供足够好的求解，尤其适用于信息不完备或者计算能力受限时的最优化问题。
格文-纽曼算法是复杂系统启发式算法社区发现算法。
约束满足问题是种数学的问题，其定义为一组物件，而这些物件需要满足一些限制或条件。 CSPs将其问题中的单元表示成在变数上有限条件的一组同质的集合, 这类问题透过"约束满足方法"来解决。CSPs是人工智能和运筹学 的热门主题,因为它们公式中的规律，提供了共同基础来分析、解决很多看似不相关的问题。 CSPs通常呈现高复杂性, 需要同时透过启发式算法 和 联合搜索 的方法，来在合理的时间内解决问题。 布尔可满足性问题 , 可满足性的理论 和回答集编程 可以算是某种程度上的约束满足问题。
格文-纽曼算法是复杂系统启发式算法社区发现算法。
Mini wiki
