状态对称性在规划和泛化规划中起着重要作用。在第一种情况下，状态对称性可用于减少搜索空间；在第二种情况下，可用于减少训练集的大小。然而，在泛化规划的情况下，区分非对称状态也至关重要，即表示非同构关系结构的状态。然而，虽然一阶逻辑语言能够区分非对称状态，但用于表示和学习泛化策略的语言和架构却不能。特别是，最近用于学习泛化策略的方法使用从描述逻辑中推导出的状态特征，或者通过图神经网络 (GNN) 学习得到，而这些方法的表达能力被限制在 C_2，即具有两个变量和计数功能的一阶逻辑。在这项工作中，我们解决了在规划和泛化规划中检测对称性的问题，并利用结果评估了在各种规划领域学习泛化策略的表达要求。为此，我们将规划状态映射到普通图，运行现成的算法来确定两个状态是否相对于目标同构，并运行着色算法来确定通过逻辑或 GNN 计算的 C_2 特征是否能够区分非同构状态。对称性检测结果导致更有效的学习，而无法检测到非对称性会导致在某些领域无法学习到泛化策略。