5
ตัวแปรที่คำนวณได้อย่างมีประสิทธิภาพของความซับซ้อน Kolmogorov
ความซับซ้อนของคำนำหน้า Kolmogorov (เช่นคือขนาดของโปรแกรมการลดขนาดตัวเองขั้นต่ำที่เอาต์พุตx ) มีคุณสมบัติที่ดีหลายประการ:K(x)K(x)K(x)xxx มันสอดคล้องกับสัญชาตญาณของการให้สายกับ patters หรือโครงสร้างความซับซ้อนต่ำกว่าสตริงโดยไม่ต้อง มันช่วยให้เราสามารถกำหนดเงื่อนไขซับซ้อนหรือดียิ่งขึ้นK ( x | O )สำหรับบาง oracle OK( x | y)K(x|Y)K(x|y)K( x | O )K(x|O)K(x|O)OOO มันเป็นย่อยสารเติมแต่ง )K( x , y) ≤ K( x ) + K( y)K(x,Y)≤K(x)+K(Y)K(x,y) \leq K(x) + K(y) อย่างไรก็ตามมันมีข้อเสียที่น่ากลัว: การส่งกลับให้xไม่สามารถตัดสินใจได้K( x )K(x)K(x)xxx ฉันได้สงสัยว่ามีความแตกต่างจาก Kolmogorov ซับซ้อนโดยใช้แบบจำลองที่ จำกัด ของการคำนวณ (โดยใช้ภาษาที่อ่อนแอกว่าหน่วยความจำหรือการใช้ทรัพยากร TM …