Speaker
Marko Horvat
(University of Zagreb Faculty of Science)
Description
This work is part of the research programme that is trying to determine
which conditions render semicomputable subsets of computable metric
spaces computable. In particular, we study generalized topological
graphs, which are obtained by gluing arcs and rays together at their
endpoints. We prove that every semicomputable generalized graph in
a computable metric space can be approximated, with arbitrary
precision, by a computable subgraph with computable endpoints.
Primary authors
Dr
Vedran Čačić
(University of Zagreb Faculty of Science)
Matea Čelar
(University of Zagreb, Faculty of Science)
Marko Horvat
(University of Zagreb Faculty of Science)
Zvonko Iljazović
(University of Zagreb)
