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.
Original languageEnglish
Title of host publicationModels of Computation in Context (CiE 2011)
Pages112-121
Number of pages10
DOIs
StatePublished - 26 Sep 2011
Eventcomputability in europe-2011 -
Duration: 27 Jun 2011 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume6735
ISSN (Print)0302-9743

Conference

Conferencecomputability in europe-2011
Period27/06/11 → …

ID: 127085904