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

תוכן שנמחק תוכן שנוסף
Atavory (שיחה | תרומות)
מ ←‏הגדרות: הגהה - עקביות עם שאר הספר, ביטול חוסר עקביות עם שאר הפרק.
Gran (שיחה | תרומות)
←‏הגדרות: כנראה לכך הכוונה
שורה 12:
 
{{הגדרה|תוכן=
סיבוכיות קולומוגורוב <math>K(x)</math> של מחרוזת <math>x</math>, היא מספראורך המצביםהקידוד המינימלי הדרוששל למכונהמכונה, שעל קלט ריק עוצרת עם הפלט <math>x</math>:
<center><math>K(x) = \min_{M \;:\; M(\epsilon) = x} \left|\langle M \rangle\right| </math></center>
}}
שורה 24:
לכל שתי מחרוזת <math>x</math> ו<math>y</math>, '''הסיבוכיות המותנית''' של <math>y</math> בהנתן <math>x</math> היא
 
<center><math>K(y|x) = \min_{M \;:\; U(M, (x) = y} \left|\langle M \rangle\right| </math></center>
 
כלומר, תיאור מ"ט הקצרה ביותר (תחת מ"ט אוניברסלית כלשהי <math>U</math>) הפולטת את <math>y</math> בהנתן <math>x</math>.
}}