תורת החישוביות/סיבוכיות קולמוגורוב/הסתברות אוניברסאלית: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
←קידוד ופענוח: הרחבה |
|||
שורה 103:
נניח שבצעד <math>n</math> מסתיימת תוכנית <math>M</math> ואין מקום פנוי ברמה
<math>|\langle M \rangle|</math>.
<math>x</math>
<math>
\sum_{x \;|\; \exists} | \Sigma |^{- |\langle M(x) \rangle|} \geq 1
</math>
===קידוד ופענוח===
| |||