更改

删除2,199字节 、 2025年6月15日 (日) 00:47
小
第56行: 第56行:     
=== 由算法信息论引导的复杂性度量——单个结构化对象的信息 ===
 
=== 由算法信息论引导的复杂性度量——单个结构化对象的信息 ===
−
<span class="lark-record-clipboard" data-lark-record-format="docx/text" data-lark-record-data="{&quot;rootId&quot;:&quot;BCUIdvopvozUxkxOYXDcOioYnEh&quot;,&quot;text&quot;:{&quot;initialAttributedTexts&quot;:{&quot;text&quot;:{&quot;0&quot;:&quot;单个结构化对象&quot;},&quot;attribs&quot;:{&quot;0&quot;:&quot;*0+7&quot;}},&quot;apool&quot;:{&quot;numToAttrib&quot;:{&quot;0&quot;:[&quot;author&quot;,&quot;7359408791762321412&quot;]},&quot;nextNum&quot;:1}},&quot;type&quot;:&quot;text&quot;,&quot;referenceRecordMap&quot;:{},&quot;extra&quot;:{&quot;channel&quot;:&quot;saas&quot;,&quot;isEqualBlockSelection&quot;:false,&quot;pasteRandomId&quot;:&quot;1699e947-0a82-44be-84e8-878cd122e0ee&quot;,&quot;mention_page_title&quot;:{},&quot;external_mention_url&quot;:{}},&quot;isKeepQuoteContainer&quot;:false,&quot;isFromCode&quot;:false,&quot;selection&quot;:[{&quot;id&quot;:41,&quot;type&quot;:&quot;text&quot;,&quot;selection&quot;:{&quot;start&quot;:6,&quot;end&quot;:13},&quot;recordId&quot;:&quot;Q1OQddvpDoFoMwxvgXHcoEelnYg&quot;}],&quot;payloadMap&quot;:{},&quot;isCut&quot;:false}"></span>长期以来,对单个结构化对象(如字符串、分子或模式)复杂性的度量探索一直由算法信息论(Algorithmic Information Theory, AIT) 所引导。AIT 由 Kolmogorov、Chaitin 和 Solomonoff 在 20 世纪 60 年代创立,它通过能在通用图灵机(universal Turing machine)上生成该对象的最短可能程序的长度来定义复杂性,即柯尔莫哥洛夫复杂度(Kolmogorov complexity)。这种方法抓住了我们的直觉:高度有序或重复的结构是低复杂度的,而随机、无模式的对象具有最大的复杂度。
+
长期以来,对单个结构化对象(如字符串、分子或模式)复杂性的度量探索一直由算法信息论(Algorithmic Information Theory, AIT) 所引导。AIT 由 Kolmogorov、Chaitin 和 Solomonoff 在 20 世纪 60 年代创立,它通过能在通用图灵机(universal Turing machine)上生成该对象的最短可能程序的长度来定义复杂性,即柯尔莫哥洛夫复杂度(Kolmogorov complexity)。这种方法抓住了我们的直觉:高度有序或重复的结构是低复杂度的,而随机、无模式的对象具有最大的复杂度。
−
然而,AIT 的核心度量是不可计算的:由于停机问题(halting problem),不存在确定确切最短程序的通用算法。对于物理对象(如分子),AIT 将需要指定一个能生成它们的通用分子构造器,这使得直接计算变得不可行。虽然存在像 Lempel-Ziv 压缩这样的近似方法,但这些方法通常反映的是统计冗余性而非真正的算法结构,并且可能无法区分随机性和结构化复杂性。<span class="lark-record-clipboard" data-lark-record-format="docx/text" data-lark-record-data="{&quot;rootId&quot;:&quot;BCUIdvopvozUxkxOYXDcOioYnEh&quot;,&quot;text&quot;:{&quot;initialAttributedTexts&quot;:{&quot;text&quot;:{&quot;0&quot;:&quot;组装理论&quot;},&quot;attribs&quot;:{&quot;0&quot;:&quot;*0+4&quot;}},&quot;apool&quot;:{&quot;numToAttrib&quot;:{&quot;0&quot;:[&quot;author&quot;,&quot;7359408791762321412&quot;]},&quot;nextNum&quot;:1}},&quot;type&quot;:&quot;text&quot;,&quot;referenceRecordMap&quot;:{},&quot;extra&quot;:{&quot;channel&quot;:&quot;saas&quot;,&quot;isEqualBlockSelection&quot;:false,&quot;pasteRandomId&quot;:&quot;8391a78e-e4d2-42b4-be74-2ed57aed4cfa&quot;,&quot;mention_page_title&quot;:{},&quot;external_mention_url&quot;:{}},&quot;isKeepQuoteContainer&quot;:false,&quot;isFromCode&quot;:false,&quot;selection&quot;:[{&quot;id&quot;:36,&quot;type&quot;:&quot;text&quot;,&quot;selection&quot;:{&quot;start&quot;:4,&quot;end&quot;:8},&quot;recordId&quot;:&quot;SXLBd6fJCo2LNnxuC7GcAAWmnOf&quot;}],&quot;payloadMap&quot;:{},&quot;isCut&quot;:false}"></span>
+
 
 +
然而,AIT 的核心度量是不可计算的:由于停机问题(halting problem),不存在确定确切最短程序的通用算法。对于物理对象(如分子),AIT 将需要指定一个能生成它们的通用分子构造器,这使得直接计算变得不可行。虽然存在像 Lempel-Ziv 压缩这样的近似方法,但这些方法通常反映的是统计冗余性而非真正的算法结构,并且可能无法区分随机性和结构化复杂性。
281

个编辑