Artykuł w czasopiśmie
Brak miniatury
Licencja

ClosedAccessDostęp zamknięty

Bounded degree and planar spectra

Autor
Kopczyński, Eryk
Dawar, Anuj
Data publikacji
2017
Abstrakt (EN)

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.

Słowa kluczowe EN
spectra finite model theory planar graphs bounded degree graphs
Dyscyplina PBN
informatyka
Czasopismo
Logical Methods in Computer Science
Tom
13
Zeszyt
4
Strony od-do
1-21
ISSN
1860-5974
Licencja otwartego dostępu
Dostęp zamknięty