k-团查询的动态描述复杂性
计算机科学中的逻辑
2016-10-31 v1
摘要
在这项工作中，研究了 k-团查询的动态描述复杂性。结果表明，当仅允许插入边时，k-团可由元数为 k-1 的无量词更新程序维护，但无法由元数为 k-2 的无量词更新程序维护（即使在存在一元辅助函数的情况下）。这建立了插入操作下无量词更新程序的图查询的元数层次。下界的证明使用了拉姆齐数的上界和下界。
引用
@article{arxiv.1610.09089,
title = {The Dynamic Descriptive Complexity of k-Clique},
author = {Thomas Zeume},
journal= {arXiv preprint arXiv:1610.09089},
year = {2016}
}
备注
An extended abstract of this work appeared in the proceedings of the conference Mathematical Foundations of Computer Science 2014 (MFCS 2014)