dc.contributor.author |
Tadaki, K. |
en |
dc.date.accessioned |
2012-01-16T03:19:44Z |
en |
dc.date.available |
2012-01-16T03:19:44Z |
en |
dc.date.issued |
2011 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-406 (2011) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/10559 |
en |
dc.description.abstract |
The notion of weak truth-table reducibility plays an important role in recursion
theory. In this paper, we introduce an elaboration of this notion, where a
computable bound on the use function is explicitly specified. This elaboration enables
us to deal with the notion of asymptotic behavior in a manner like in computational
complexity theory, while staying in computability theory. We apply the elaboration
to sets which appear in the statistical mechanical interpretation of algorithmic information
theory. We demonstrate the power of the elaboration by revealing a critical
phenomenon, i.e., a phase transition, in the statistical mechanical interpretation, which
cannot be captured by the original notion of weak truth-table reducibility. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
http://www.cs.auckland.ac.nz/staff-cgi-bin/mjd/secondcgi.pl?serial |
en |
dc.title |
A Computational Complexity-Theoretic Elaboration of Weak Truth-Table Reducibility |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research::280000 Information, Computing and Communication Sciences |
en |
dc.rights.holder |
The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |