Logo do repositório
 
Publicação

A hierarchy for BPP//log* based on counting calls to an oracle

dc.contributor.authorBeggs, Edwin
dc.contributor.authorCortez, Pedro
dc.contributor.authorCosta, José Félix
dc.contributor.authorTucker, John V.
dc.date.accessioned2020-09-22T16:05:46Z
dc.date.available2020-09-22T16:05:46Z
dc.date.issued2016
dc.description.abstractAlgorithms whose computations involve making physical measurements can be modelled by Turing machines with oracles that are physical systems and oracle queries that obtain data from observation and measurement. The computational power of many of these physical oracles has been established using non-uniform complexity classes; in particular, for large classes of deterministic physical oracles, with fixed error margins constraining the exchange of data between algorithm and oracle, the computational power has been shown to be the non-uniform class BPP//log⋆ . In this paper, we consider non-deterministic oracles that can be modelled by random walks on the line. We show how to classify computations within BPP//log⋆ by making an infinite non-collapsing hierarchy between BPP//log⋆ and BPP . The hierarchy rests on the theorem that the number of calls to the physical oracle correlates with the size of the responses to queries.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.doihttps://doi.org/10.1007/978-3-319-46376-6pt_PT
dc.identifier.urihttp://hdl.handle.net/10451/44415
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherSpringerpt_PT
dc.relation.publisherversionhttps://link.springer.com/chapter/10.1007/978-3-319-46376-6_3pt_PT
dc.titleA hierarchy for BPP//log* based on counting calls to an oraclept_PT
dc.typebook part
dspace.entity.typePublication
oaire.citation.endPage56pt_PT
oaire.citation.startPage39pt_PT
oaire.citation.titleEmergent Computationpt_PT
rcaap.rightsopenAccesspt_PT
rcaap.typebookPartpt_PT

Ficheiros

Principais
A mostrar 1 - 1 de 1
A carregar...
Miniatura
Nome:
akl.pdf
Tamanho:
417.94 KB
Formato:
Adobe Portable Document Format