$n$-可换性与线性Datalog蕴含对称Datalog
摘要：如果$mathbb A$是一个核心关系结构，CSP（$mathbb A$）可以通过线性Datalog程序解决，并且$mathbb A$在某个$n$上是可置换的，那么CSP（$mathbb A $）可以通过对称Datalog程序解决（因此CSP（$mathbb A $）位于确定性logspace中）。目前，我们还不知道对于哪些结构$mathbb A$，CSP（$mathbb A $）可以通过线性Datalog程序解决。然而，一旦有人获得了线性Datalog的表征，我们的结果立即给出了对称Datalog的表征。
作者：Alexandr Kazda
论文ID：1508.05766
分类：Computational Complexity
分类简称：cs.CC
提交时间：2023-06-22