Computability of graphs |
| |
Authors: | Zvonko Iljazović |
| |
Affiliation: | Department of Mathematics, University of Zagreb, Bijenička 30, Zagreb, Croatia |
| |
Abstract: | We consider topological pairs , , which have computable type, which means that they have the following property: if X is a computable topological space and a topological imbedding such that and are semicomputable sets in X, then is a computable set in X. It is known, e.g., that has computable type if M is a compact manifold with boundary. In this paper we examine topological spaces called graphs and we show that we can in a natural way associate to each graph G a discrete subspace E so that has computable type. Furthermore, we use this result to conclude that certain noncompact semicomputable graphs in computable metric spaces are computable. |
| |
Keywords: | |
|
|