关于合取查询计数复杂性的简短注记
计算机科学中的逻辑
2021-12-03 v1 计算复杂性
数据库
摘要
本注记通过证明非自由连通(free-connex)的查询在标准复杂性假设下不存在线性时间计数算法，弥补了合取查询计数复杂性文献中的一个小缺口。更一般地，我们证明了所谓量化星型大小(quantified star size)是任意合取查询计数算法运行时间指数的下界。
引用
@article{arxiv.2112.01108,
title = {A short note on the counting complexity of conjunctive queries},
author = {Stefan Mengel},
journal= {arXiv preprint arXiv:2112.01108},
year = {2021}
}