子图同构渐近描述复杂度的紧界
计算复杂性
2018-02-08 v1 计算机科学中的逻辑
摘要
设 表示固定的连通模式图 中的顶点数。我们给出无限族模式 ，使得在宿主图足够大且连通的假设下，存在与 同构的子图可由量词深度为 的一阶句子表达。另一方面，对任意 ，若使用少于 个一阶变量则不可能实现。
引用
@article{arxiv.1802.02143,
title = {Tight Bounds on the Asymptotic Descriptive Complexity of Subgraph Isomorphism},
author = {Oleg Verbitsky and Maksim Zhukovskii},
journal= {arXiv preprint arXiv:1802.02143},
year = {2018}
}
备注
22 pages, 3 figures