תורת החישוביות/סיבוכיות קולמוגורוב/הסתברות אוניברסאלית: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
מ ←‏הגדרות: עריכה
Atavory (שיחה | תרומות)
מ ←‏הגדרות: הגהה
שורה 19:
נגדיר גם את '''הסתברות הקולמוגורוב''' של מחרוזת ע"י ביטוי אלגברי דומה (שלו קשה יותר למצוא מוטיווציה):
{{הגדרה|שם=הסתברות אוניברסאלית של מחרוזת|תוכן=
עבור מחרוזת <math>x</math>, נניח ש-<math>M_K(x)</math> היא תוכנית בעלת התיאור הקצר ביותר המייצרת את <math>x</math>. אז '''הסתברות הקולמוגורוב''' של מחרוזת <math>x</math> היא
<center><math>
P_K(x) = \left| \Sigma \right|^{- \left| \langle M_K(x) \rangle \right|} = \left| \Sigma \right|^{- K(x)}.
</math></center>
}}