SAT
第一个被证明为NP完全的问题，询问是否存在一组布尔变量赋值使给定布尔公式为真，是P vs NP问题的经典代表
时间轴 (近 90 天)
SAT（布尔可满足性问题）是第一个被证明为NP完全的问题。
回门集是SAT求解中的概念：存在一组变量，当被赋予特定值后，剩余公式可被多项式时间求解。
将智能体路由图编码为 k-CNF 后，'是否存在死锁路径'等价于问该公式是否可满足（SAT）。
NP 完全问题是 NP 类中最难的一类，任何 NP 问题都可以在多项式时间内归约到它；经典例子包括旅行商问题的判定版本、布尔可满足性问题（SAT）和图的 3-着色问题。
GJK（Gilbert–Johnson–Keerthi）算法和 SAT（Separating Axis Theorem）是实时碰撞检测中最常用的两种方法
SAT 枚举所有可能的分离轴（由面法向量和边叉积生成），面数越多需要测试的轴就越多
SAT考试的计算器政策由College Board制定，AP考试则由各学科委员会分别规定
碰撞检测算法（如GJK或SAT）可将机器人自身三维模型与目标空间的边界框进行几何求交运算以计算可行性置信度
SAT是美国大学入学的标准化考试，涵盖阅读、写作和数学，每年有超过200万名考生参加
美国大学理事会研究显示，高收入家庭学生SAT平均得分比低收入家庭高出约200分
还有 1 条时间轴事件
全部知识事实 (11)
SAT（布尔可满足性问题）是第一个被证明为NP完全的问题。
50%待验证回门集是SAT求解中的概念：存在一组变量，当被赋予特定值后，剩余公式可被多项式时间求解。
50%待验证将智能体路由图编码为 k-CNF 后，'是否存在死锁路径'等价于问该公式是否可满足（SAT）。
50%待验证NP 完全问题是 NP 类中最难的一类，任何 NP 问题都可以在多项式时间内归约到它；经典例子包括旅行商问题的判定版本、布尔可满足性问题（SAT）和图的 3-着色问题。
50%待验证GJK（Gilbert–Johnson–Keerthi）算法和 SAT（Separating Axis Theorem）是实时碰撞检测中最常用的两种方法
50%待验证SAT 枚举所有可能的分离轴（由面法向量和边叉积生成），面数越多需要测试的轴就越多
50%待验证SAT考试的计算器政策由College Board制定，AP考试则由各学科委员会分别规定
50%待验证碰撞检测算法（如GJK或SAT）可将机器人自身三维模型与目标空间的边界框进行几何求交运算以计算可行性置信度
50%待验证SAT是美国大学入学的标准化考试，涵盖阅读、写作和数学，每年有超过200万名考生参加
50%待验证美国大学理事会研究显示，高收入家庭学生SAT平均得分比低收入家庭高出约200分
50%待验证SAT每年有超过200万名考生参加
50%