Show simple item record

dc.contributor.authorMota, Francisco
dc.contributor.authorAaronson, Scott
dc.contributor.authorAntunes, Luís
dc.contributor.authorSouto, André
dc.date.accessioned2014-03-20T14:49:22Z
dc.date.available2014-03-20T14:49:22Z
dc.date.issued2013
dc.identifier.isbn978-3-642-39309-9
dc.identifier.isbn978-3-642-39310-5
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttp://hdl.handle.net/1721.1/85842
dc.description.abstractThe sophistication of a string measures how much structural information it contains. We introduce naive sophistication, a variant of sophistication based on randomness deficiency. Naive sophistication measures the minimum number of bits needed to specify a set in which the string is a typical element. Thanks to Vereshchagin and Vitányi, we know that sophistication and naive sophistication are equivalent up to low order terms. We use this to relate sophistication to lossy compression, and to derive an alternative formulation for busy beaver computational depth.en_US
dc.description.sponsorshipFundação para a Ciência e a Tecnologia (project CSI[superscript 2], reference# PTDC/EIA-CCO/099951/2008)en_US
dc.description.sponsorshipInstituto de Telecomunicações (grant)en_US
dc.description.sponsorshipFundação para a Ciência e a Tecnologia (scholarship SFRH/BPD/76231/2011)en_US
dc.language.isoen_US
dc.publisherSpringer-Verlag Berlin Heidelbergen_US
dc.relation.isversionofhttp://dx.doi.org/10.1007/978-3-642-39310-5_17en_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alikeen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/en_US
dc.sourceMIT web domainen_US
dc.titleSophistication as Randomness Deficiency (chapter)en_US
dc.typeArticleen_US
dc.identifier.citationMota, Francisco, Scott Aaronson, Luís Antunes, and André Souto. “Sophistication as Randomness Deficiency.” in Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings (Lecture Notes in Computer Science; ser. vol. 8031) (2013): 172–181.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratoryen_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.mitauthorAaronson, Scotten_US
dc.relation.journalDescriptional Complexity of Formal Systemsen_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/JournalArticleen_US
eprint.statushttp://purl.org/eprint/status/PeerRevieweden_US
dspace.orderedauthorsMota, Francisco; Aaronson, Scott; Antunes, Luís; Souto, Andréen_US
dc.identifier.orcidhttps://orcid.org/0000-0003-1333-4045
mit.licenseOPEN_ACCESS_POLICYen_US
mit.metadata.statusComplete


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record