Academic Journal
An Additively Optimal Interpreter for Approximating Kolmogorov Prefix Complexity
| Τίτλος: | An Additively Optimal Interpreter for Approximating Kolmogorov Prefix Complexity |
|---|---|
| Συγγραφείς: | Zoe Leyva-Acosta, Eduardo Acuña Yeomans, Francisco Hernandez-Quiroz |
| Πηγή: | Entropy, Vol 26, Iss 9, p 802 (2024) |
| Στοιχεία εκδότη: | MDPI AG |
| Έτος έκδοσης: | 2024 |
| Συλλογή: | Directory of Open Access Journals: DOAJ Articles |
| Θεματικοί όροι: | algorithmic complexity, Kolmogorov complexity, coding theorem method, complexity approximation, Science, Astrophysics, QB460-466, Physics, QC1-999 |
| Περιγραφή: | We study practical approximations of Kolmogorov prefix complexity ( K ) using IMP2, a high-level programming language. Our focus is on investigating the optimality of the interpreter for this language as the reference machine for the Coding Theorem Method (CTM). This method is designed to address applications of algorithmic complexity that differ from the popular traditional lossless compression approach based on the principles of algorithmic probability. The chosen model of computation is proven to be suitable for this task, and a comparison to other models and methods is conducted. Our findings show that CTM approximations using our model do not always correlate with the results from lower-level models of computation. This suggests that some models may require a larger program space to converge to Levin’s universal distribution. Furthermore, we compare the CTM with an upper bound on Kolmogorov complexity and find a strong correlation, supporting the CTM’s validity as an approximation method with finer-grade resolution of K . |
| Τύπος εγγράφου: | article in journal/newspaper |
| Γλώσσα: | English |
| Relation: | https://www.mdpi.com/1099-4300/26/9/802; https://doaj.org/toc/1099-4300; https://doaj.org/article/0a3aaae290604bf1b86c3aaab24147b6 |
| DOI: | 10.3390/e26090802 |
| Διαθεσιμότητα: | https://doi.org/10.3390/e26090802 https://doaj.org/article/0a3aaae290604bf1b86c3aaab24147b6 |
| Αριθμός Καταχώρησης: | edsbas.6CF554A6 |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://doi.org/10.3390/e26090802# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.6CF554A6 RelevancyScore: 945 AccessLevel: 3 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 944.983581542969 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: An Additively Optimal Interpreter for Approximating Kolmogorov Prefix Complexity – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Zoe+Leyva-Acosta%22">Zoe Leyva-Acosta</searchLink><br /><searchLink fieldCode="AR" term="%22Eduardo+Acuña+Yeomans%22">Eduardo Acuña Yeomans</searchLink><br /><searchLink fieldCode="AR" term="%22Francisco+Hernandez-Quiroz%22">Francisco Hernandez-Quiroz</searchLink> – Name: TitleSource Label: Source Group: Src Data: Entropy, Vol 26, Iss 9, p 802 (2024) – Name: Publisher Label: Publisher Information Group: PubInfo Data: MDPI AG – Name: DatePubCY Label: Publication Year Group: Date Data: 2024 – Name: Subset Label: Collection Group: HoldingsInfo Data: Directory of Open Access Journals: DOAJ Articles – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22algorithmic+complexity%22">algorithmic complexity</searchLink><br /><searchLink fieldCode="DE" term="%22Kolmogorov+complexity%22">Kolmogorov complexity</searchLink><br /><searchLink fieldCode="DE" term="%22coding+theorem+method%22">coding theorem method</searchLink><br /><searchLink fieldCode="DE" term="%22complexity+approximation%22">complexity approximation</searchLink><br /><searchLink fieldCode="DE" term="%22Science%22">Science</searchLink><br /><searchLink fieldCode="DE" term="%22Astrophysics%22">Astrophysics</searchLink><br /><searchLink fieldCode="DE" term="%22QB460-466%22">QB460-466</searchLink><br /><searchLink fieldCode="DE" term="%22Physics%22">Physics</searchLink><br /><searchLink fieldCode="DE" term="%22QC1-999%22">QC1-999</searchLink> – Name: Abstract Label: Description Group: Ab Data: We study practical approximations of Kolmogorov prefix complexity ( K ) using IMP2, a high-level programming language. Our focus is on investigating the optimality of the interpreter for this language as the reference machine for the Coding Theorem Method (CTM). This method is designed to address applications of algorithmic complexity that differ from the popular traditional lossless compression approach based on the principles of algorithmic probability. The chosen model of computation is proven to be suitable for this task, and a comparison to other models and methods is conducted. Our findings show that CTM approximations using our model do not always correlate with the results from lower-level models of computation. This suggests that some models may require a larger program space to converge to Levin’s universal distribution. Furthermore, we compare the CTM with an upper bound on Kolmogorov complexity and find a strong correlation, supporting the CTM’s validity as an approximation method with finer-grade resolution of K . – Name: TypeDocument Label: Document Type Group: TypDoc Data: article in journal/newspaper – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: https://www.mdpi.com/1099-4300/26/9/802; https://doaj.org/toc/1099-4300; https://doaj.org/article/0a3aaae290604bf1b86c3aaab24147b6 – Name: DOI Label: DOI Group: ID Data: 10.3390/e26090802 – Name: URL Label: Availability Group: URL Data: https://doi.org/10.3390/e26090802<br />https://doaj.org/article/0a3aaae290604bf1b86c3aaab24147b6 – Name: AN Label: Accession Number Group: ID Data: edsbas.6CF554A6 |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.6CF554A6 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3390/e26090802 Languages: – Text: English Subjects: – SubjectFull: algorithmic complexity Type: general – SubjectFull: Kolmogorov complexity Type: general – SubjectFull: coding theorem method Type: general – SubjectFull: complexity approximation Type: general – SubjectFull: Science Type: general – SubjectFull: Astrophysics Type: general – SubjectFull: QB460-466 Type: general – SubjectFull: Physics Type: general – SubjectFull: QC1-999 Type: general Titles: – TitleFull: An Additively Optimal Interpreter for Approximating Kolmogorov Prefix Complexity Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Zoe Leyva-Acosta – PersonEntity: Name: NameFull: Eduardo Acuña Yeomans – PersonEntity: Name: NameFull: Francisco Hernandez-Quiroz IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2024 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa Titles: – TitleFull: Entropy, Vol 26, Iss 9, p 802 (2024 Type: main |
| ResultId | 1 |