对称性何时导致NP困难：S5框架上的仿射ML-SAT
计算机科学中的逻辑
2025-12-22 v1 计算复杂性
摘要
Hemaspaandra等人[JCSS 2010]猜想，在框架类T、S4和S5上，仅限于异或（XOR）和1连接词的多模态逻辑的可满足性可在多项式时间内求解。我们通过证明NP困难性，驳斥了这一关于S5框架的猜想。
引用
@article{arxiv.2512.17378,
title = {When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames},
author = {Andreas Krebs and Arne Meier},
journal= {arXiv preprint arXiv:2512.17378},
year = {2025}
}
备注
accepted at FoIKS 2026