This note closes a minor gap in the literature on the counting complexity of conjunctive queries by showing that queries that are not free-connex do not have a linear time counting algorithm under standard complexity assumptions. More generally, it is shown that the so-called quantified star size is a lower bound for the exponent in the runtime of any counting algorithm for conjunctive queries.
翻译:本说明通过显示非自由connex查询在标准复杂度假设下没有线性时间算算算算算算算算法,填补了关于混合查询复杂性计算学文献中的细小差距。 更一般地说,可以证明,在计算组合查询计算算算法的运行期间,所谓的量化星体大小对于指数者来说是一个较低的界限。