发表机构
Institut für Algebra; TU Dresden（代数研究所; 德累斯顿工业大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
证明有限保守结构若不能 pp-构造 st-Con 或 3Lin2，则其 CSP 可由对称线性 Datalog 求解，属于 L 类。
AI 中文摘要
我们证明了任何有限保守结构，若其不能 pp-构造 st-Con（其 CSP 为 NL-完全）或 3Lin2（其 CSP 为 Mod2L-完全），则其约束满足问题可由对称线性 Datalog 程序求解，从而属于 L 类。
英文摘要
We show that the constraint satisfaction problem of any finite conservative structure that can not pp-construct st-Con (whose CSP is NL-complete) or 3Lin2 (whose CSP is Mod2L-complete) is solved by a symmetric linear Datalog program and therefore in L.
