arrow
Return

Complexity issues for the iterated h-preordersa

delete2025-11-01
delete0
PRE
AI
P
P. E. Alaev *
V
Victor Selivanov
DOI:10.1177/22113568251335491delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
We show that natural structures related to the so called homomorphism preorder (or h-preorder) on the iterated labeled forests have isomorphic copies computable in polynomial time. Moreover, the polynomials in the upper bounds are of low degree which makes the computational content of the whole theory feasible. We discuss possible applications of these results to relevant questions of automata and computability theory.
Keywords:
preorder
labeled forest
iterated h-preorder
structure
polynomial-time presentation

Journal

C
Computability-The Journal of the Association CiE
IF:
0.7
Papers:
12
Citations:
0

Organization

R
Russian Academy of Sciences
Scholars:
6.9K
Papers: 2.6K
Citations: 1.3W
S
sobolev institute of mathematics
Scholars:
81
Papers: 68
Citations: 0