שיחה:תורת החישוביות/סיבוכיות קולמוגורוב/הסתברות אוניברסאלית

צורך בהגבלה על עץ השיוך

בהוכחה המקורית המשתמשת בעץ השיוך בElements of Information Theory, ישנה מגבלה שבכל רמה בעץ יש בדיוק תוכנית אחת המייצרת מחרוזת נתונה. לדעתי ההגבלה מיותרת לחלוטין ואפשר לוותר עליה. Atavory - שיחה 23:42, 8 בפברואר 2012 (IST)