原始正式比较的泛型表达式硬度结果
Generic Expression Hardness Results for Primitive Positive Formula Comparison
摘要：
我们研究了两个涉及本原正公式比较的基本问题的表达式复杂性：等价性和包容性。特别是，我们研究这些问题的复杂性相对于有限的关系结构。我们提出了两个通用的硬度研究问题的结果，并讨论了证据，他们是最佳的和产量，为每个问题，一个复杂的分解。
英文摘要：
We study the expression complexity of two basic problems involving the comparison of primitive positive formulas: equivalence and containment. In particular, we study the complexity of these problems relative to finite relational structures. We present two generic hardness results for the studied problems, and discuss evidence that they are optimal and yield, for each of the problems, a complexity trichotomy.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
