Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
426077 | Information and Computation | 2013 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Simone Bova, Hubie Chen, Matthew Valeriote,