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

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש
imported>יעל י
אין תקציר עריכה
 
(אין הבדלים)

גרסה אחרונה מ־09:51, 1 באוגוסט 2012

תבנית:תורת החישוביות

רוב המחרוזות אינן דחיסות במיוחד

הוכח את משפט: אי-דחיסות משמעותית של רוב המחרוזות

תבנית:מוסתר

סיבוכיות מספרים טבעיים

n הוא מספר טבעי כלשהו, וx היא מחרוזת. רוצים לתאר את n,x, כלומר לתאר הן את המספר, והן את המחרוזת, כך שברור היכן המספר מסתיים והמחרוזת מתחילה.

הוכח שמתקיים

K(n,x)2log(log(n))+log(n)+O(1)+K(x)

רמז: הכפל כל תו בחקל מתיאור n.

תבנית:מוסתר

סיבוכיות שרשרור נתן להפרדה בעזרת רכיבי הסיבוכיות הבסיסיים

הראה שלכל שתי מחרוזות x ו-y, סיבוכיות השרשור הנתן-להפרדה מקיים:

  1. K(x,y)2K(x)+O(1)+K(y)
  2. K(x,y)K(x)+K(y)+Θ(log(min(K(x),K(y)))

רמז: השתמש ברעיונות מתוךתרגיל: סיבוכיות מספרים טבעיים.