DOI

We prove that three preorders on the finite k-labeled forests are polynomial time computable. Together with an earlier result of the first author, this implies polynomial-time computability for an important initial segment of the corresponding degrees of discontinuity of k-partitions on the Baire space. Furthermore, we show that on ω-labeled forests the first of these three preorders is polynomial time computable as well while the other two preorders are NP-complete. © 2011 Springer-Verlag.
Язык оригиналаанглийский
Название основной публикацииModels of Computation in Context (CiE 2011)
Страницы112-121
Число страниц10
DOI
СостояниеОпубликовано - 26 сен 2011
Событиеcomputability in europe-2011 -
Продолжительность: 27 июн 2011 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том6735
ISSN (печатное издание)0302-9743

конференция

конференцияcomputability in europe-2011
Период27/06/11 → …

ID: 127085904