תורת החישוביות/סיבוכיות קולמוגורוב/הסתברות אוניברסאלית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
מ ←התכנות בניית עץ השיוך=: תקלדה |
|||
שורה 33:
<math>c > 0</math>
עבורו
<center><math>\forall_x P_K(x)
ובאופן שקול, קיים קבוע <math>c' > 0</math> שעבורו
<center><math>\forall_x K(x) - c' \leq \log\left( \frac{1}{P_u(x)} \right) \leq K(x)).</math></center>
| |||