תורת החישוביות/סיבוכיות קולמוגורוב/תרגילים

מתוך testwiki
קפיצה לניווט קפיצה לחיפוש

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

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

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

תבנית:מוסתר

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

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)))

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