约束满足问题
由变量、取值域和约束条件组成的数学问题，目标是找到一组变量赋值使所有约束同时满足；在图生成中用于将拓扑约束编码为可求解的完整约束体系。
核心事实
时间轴 (近 90 天)
如果唯一游戏猜想成立，它将为一大部分约束满足问题提供最优近似算法的精确边界。
全局约束满足方法将生成问题重新表述为约束满足问题（CSP），并设计了一种完整的编码，可由现代约束编程求解器求解。
乐高搭建天然是一个约束满足问题，其中每个积木的位置和朝向是变量，咬合规则、不重叠、连通性等构成约束，还包含美观、比例协调等软约束。
约束满足问题（CSP）是逻辑游戏的数学基础
极小不可满足集（MUS）是约束满足问题中的核心概念，指在无解约束集合中移除任意一条约束后整体变得可满足的最小子集，找到所有MUS并给出最优删除方案本质上是NP-hard的组合优化
食材反向推荐本质上是一个约束满足问题（Constraint Satisfaction Problem）
应将终态描述当作约束条件（constraints）而非视觉建议，约束条件是可验证的
约束满足问题（CSP）由变量、取值域和约束三个要素构成
全部知识事实 (8)
约束满足问题（CSP）由变量、取值域和约束三个要素构成
75%待验证如果唯一游戏猜想成立，它将为一大部分约束满足问题提供最优近似算法的精确边界。
50%待验证全局约束满足方法将生成问题重新表述为约束满足问题（CSP），并设计了一种完整的编码，可由现代约束编程求解器求解。
50%待验证乐高搭建天然是一个约束满足问题，其中每个积木的位置和朝向是变量，咬合规则、不重叠、连通性等构成约束，还包含美观、比例协调等软约束。
50%待验证约束满足问题（CSP）是逻辑游戏的数学基础
50%待验证极小不可满足集（MUS）是约束满足问题中的核心概念，指在无解约束集合中移除任意一条约束后整体变得可满足的最小子集，找到所有MUS并给出最优删除方案本质上是NP-hard的组合优化
50%待验证食材反向推荐本质上是一个约束满足问题（Constraint Satisfaction Problem）
50%待验证应将终态描述当作约束条件（constraints）而非视觉建议，约束条件是可验证的
50%