Mü-Rekursion < Komplex. & Berechnb. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 13:16 Sa 12.01.2013 | | Autor: | starki |
| Aufgabe | | f(x, y) = x mod (y + 2), x und y [mm] \in \IN_{>= 0} [/mm] |
Also ich habe eine Frage bezüglich der mü-Rekursion. Und zwar: Ich habe die Funktion f(x, y) wie angegebene gegeben. Nun will ich die den mü-Operator darauf anwenden, also d.h.
g(n) = min [mm] \{ f(n, y) = 0 und \forall m < n ist f(m, y) definiert) \}
[/mm]
d.h. g(n) = min [mm] \{ (n mod (y + 2)) = 0 und \forall m < n ist (m mod (y + 2)) definiert) \}
[/mm]
Also stellt sich jetzt die erste Frage: Für welche n ist f(n, y) = 0
Nun, es sind ja alle Paare (n, y) für die gilt:
n = k * (y + 2), k [mm] \in \IN_{>= 0}
[/mm]
Also Beispiel: g(4) = [mm] min\{(0,4), (6, 4), (12, 4), (18, 4) ... \}
[/mm]
Also d.h. g(4) = (6,4) ?
kann ich denn dann auch sagen: g(n) = (0, y) [mm] \forall [/mm] n [mm] \in \IN [/mm] ?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Mo 14.01.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
