Traceable Sets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Traceable Sets

Résumé

We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncomputable sets or complex and autocomplex sets. We review known notions and results that appear in the literature in different contexts, put them into perspective and provide simplified or at least more direct proofs. In addition, we introduce notions of traceability and complexity such as infinitely often versions of jump traceability and of complexity, and derive results about these notions that partially can be viewed as a natural completion of the previously known results. Finally, we give a result about polynomial-time bounded notions of traceability and complexity that shows that in principle the equivalences derived so far can be transferred to the time-bounded setting.
Fichier principal
Vignette du fichier
03230301.pdf (322.85 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054451 , version 1 (06-08-2014)

Licence

Paternité

Identifiants

Citer

Rupert Hölzl, Wolfgang Merkle. Traceable Sets. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.301-315, ⟨10.1007/978-3-642-15240-5_22⟩. ⟨hal-01054451⟩
121 Consultations
66 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More