When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
当对称性导致NP难性:关于S5框架的仿射ML-SAT
专题命中 其他多模态 :multi-modal(abstract)
AI总结 本文证明了在S5框架下,受限于XOR和1连接词的仿射ML-SAT问题为NP难性。
Comments accepted at FoIKS 2026
AI 大模型
跨文本、图像、视频、音频等模态的大模型与学习方法。
当对称性导致NP难性:关于S5框架的仿射ML-SAT
专题命中 其他多模态 :multi-modal(abstract)
AI总结 本文证明了在S5框架下,受限于XOR和1连接词的仿射ML-SAT问题为NP难性。
Comments accepted at FoIKS 2026