paperbot · PL 论文追踪

RSS

Bounded degree and planar spectra

LMCS vol.Volume 13, Issue 42017引用 5
Anuj Dawar, Eryk Kopczyński

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(Abstract)

The finite spectrum of a first-order sentence is the set of positive integers that are the sizes of its models. The class of finite spectra is known to be the same as the complexity class NE. We consider the spectra obtained by limiting models to be either planar (in the graph-theoretic sense) or by bounding the degree of elements. We show that the class of such spectra is still surprisingly rich by establishing that significant fragments of NE are included among them. At the same time, we establish non-trivial upper bounds showing that not all sets in NE are obtained as planar or bounded-degree spectra.Comment: 21 pages. Accepted for publication in Logical Methods in Computer Science

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@article{DawarK16,
  title = {Bounded degree and planar spectra},
  author = {Anuj Dawar and Eryk Kopczyński},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 13, Issue 4},
  year = {2017},
  doi = {10.23638/lmcs-13(4:6)2017}
}