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

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
Atavory (שיחה | תרומות)
שורה 118:
 
אורך הקידוד, לכן, הוא
<center><math>h + O(1) = |K(x) \langle+ M_K1 + O(1) = K(x) \rangle+ |O(1).</math></center>
נשים לב כי,
<center><math>
K(x)
=
\log_{\left| \Sigma \right|}
\left(
\frac{1}{\left| \Sigma \right|^{-K(x)}}
\right)
\leq
\log_{\left| \Sigma \right|}
\left(
\frac{1}{\sum_{M \;|\; M(\epsilon) = x} \left| \Sigma \right|^{- \left| \langle M \rangle \right|} }
\right)
=
\log_{\left| \Sigma \right|}
\left(
\frac{1}{ P_U(x) }
\right)
</math></center>