From d63fc6b94eb76c47cb035d9a1711ee672f0b9a8a Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Sat, 27 Sep 2025 06:49:30 +0200 Subject: [PATCH] [TI] Small addition, uncompiled --- semester3/ti/parts/languages-problems/kolmogorov-complexity.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex index 34cd04f..0d562d8 100644 --- a/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex +++ b/semester3/ti/parts/languages-problems/kolmogorov-complexity.tex @@ -41,3 +41,5 @@ Deshalb haben diese Wörter auch (meist) eine kleinere Kolmogorov-Komplexität. \fancydef{$K(n)$ für $n \in \N$} Die \bi{Kolmogorov-Komplexität einer natürlichen Zahl $n$} ist $K(n) = K(\text{Bin}(n))$, wobei $\text{Bin}(x) = \ceil{\log_2(x + 1)}$ % TODO: Verify correctness here + +\inlinelemma Für jede Zahl $n \in \N - \{ 0 \}$ existiert ein Wort $w_n \in (\alphabets{bool})^n