约束知足问题的介绍

约束知足问题   约束知足问题在人工智能领域有着普遍的应用。好比新的学期教室的规划分配，飞机场跑道的占用状况，它们都涉及了约束条件。咱们所熟知的经典的皇后问题、幻方问题都属于约束知足问题。约束知足问题能够分为二元约束知足问题和多元约束知足问题。其中，多元约束知足问题能够被划分为等价的二元约束知足问题。于是，研究二元约束知足问题是一个重要的研究方向。在已有的约束传播技术中，弧相容（AC）出现的最先，

>>阅读原文<<