Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Logik, Mengen & Beweistechnik » Induktion » rekursive Laufzeitgleichung
Autor
Universität/Hochschule J rekursive Laufzeitgleichung
nakrama
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 12.05.2019
Mitteilungen: 47
  Themenstart: 2022-05-12

Hallo, ich soll für die folgende rekursive Laufzeitgleichung einen Induktionsbeweis führen. $T(n) = \begin{cases} 1 & n = 1 \\ 8*T(n/2) + n^2*\sqrt(n) & n > 1 \end{cases}$ Zeigen soll ich, dass $T(n) = (2 + \sqrt(2))*n^3 - (1+\sqrt(2))*n^2*\sqrt(n)$ gilt. Für n gilt, $n = 2^k, k \in \mathbb{N} $ Mir ist nicht ganz klar, inwiefern das funktionieren soll. Die Induktion nach n: IA: n = 1 $ T(1) = 1 = (2 + \sqrt(2))*1^3-(1+\sqrt(2))*1^2*\sqrt(1)$ IS: n -> n+1 Hier fällt der T(n) = 1 Fall ja raus. Weiter als das komme ich jedoch nicht, da mir nicht klar ist, wie ich hier weiter machen soll um auf T(n) zu kommen, damit ich die Voraussetzung verwenden kann. Danke im Voraus. Mit freundlichen Grüßen nakrama


   Profil
haegar90
Wenig Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 18.03.2019
Mitteilungen: 935
  Beitrag No.1, eingetragen 2022-05-12

Vielleicht hilft es umzuschreiben ? $T(2^k) = \begin{cases} 1 & k = 0 \\ 8 \cdot T(2^{k-1}) + 2^{2k}\cdot 2^{k/2} & k > 0 \end{cases}$


   Profil
Kuestenkind
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.04.2016
Mitteilungen: 2568
  Beitrag No.2, eingetragen 2022-05-12

Huhu, das ist ja einfache Algebra und ein wenig Potenzgesetze. \(\displaystyle T\left(2^{k+1}\right)=8T\left(\frac{2^{k+1}}{2}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}=8T\left(2^k\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\stackrel{IV}{=}8\left(\left(2+\sqrt{2}\right)(2^k)^3-(1+\sqrt{2})(2^k)^2\sqrt{2^k}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}=\ldots=(2+\sqrt{2})\left(2^{k+1}\right)^3 -(1+\sqrt{2})\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\) Gruß, Küstenkind edit: Tippfehler verbessert. PS: Schreibe \cdot und \sqrt{...} in \(\LaTeX\) für \(\cdot\) bzw. \(\sqrt{...}\)


   Profil
nakrama
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 12.05.2019
Mitteilungen: 47
  Beitrag No.3, vom Themenstarter, eingetragen 2022-05-12

\quoteon(2022-05-12 15:28 - haegar90 in Beitrag No. 1) Vielleicht hilft es umzuschreiben ? $T(2^k) = \begin{cases} 1 & k = 0 \\ 8 \cdot T(2^{k-1}) + 2^{2k}\cdot 2^{k/2} & k > 0 \end{cases}$ \quoteoff Hat definitiv geholfen! Hab mich ein bisschen mit der Anmerkung von k schwer getan, auf k = 0 bin ich auch noch gekommen und war mir nicht sicher ob die 0 per se erlaubt ist, bzw hab ich bei den Wurzeln und dem T(n/2) nicht dran gedacht es einfach umzuformen.. Vielen Dank euch beiden!


   Profil
nakrama
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 12.05.2019
Mitteilungen: 47
  Beitrag No.4, vom Themenstarter, eingetragen 2022-05-12

\quoteon(2022-05-12 15:44 - Kuestenkind in Beitrag No. 2) Huhu, das ist ja einfache Algebra und ein wenig Potenzgesetze. \(\displaystyle T\left(2^{k+1}\right)=8T\left(\frac{2^{k+1}}{2}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}=8T\left(2^k\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\stackrel{IV}{=}8\left(\left(2+\sqrt{2}\right)(2^k)^3-(1+\sqrt{2})(2^k)^2\sqrt{2^k}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}=\ldots=(2+\sqrt{2})\left(2^{k+1}\right)^3 -(1+\sqrt{2})\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\) \quoteoff Ich muss doch nochmal fragen.. Dachte eigentlich es hätt sich erledigt, aber tatsächlich sehe ich nicht ganz was in deinen fehlenden Schritten stattfindet: \(8\left(\left(2+\sqrt{2}\right)(2^k)^3-(1+\sqrt{2})(2^k)^2\sqrt{2^k}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\) Wenn ich 8 = 2^3 ausdrücke und multipliziere komme ich zwar auf den vorderen Teil der gesuchten Form, aber scheitere danach an der Umformung: \(8\left(\left(2+\sqrt{2}\right)(2^k)^3-(1+\sqrt{2})(2^k)^2\sqrt{2^k}\right)+\left(2^{k+1}\right)^2\sqrt{2^{k+1}}\) $$=(2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*\sqrt{2^k}*2^{2k}*2^3+(2^{k+1})^2*\sqrt{2^{k+1}} $$ wie bekomme ich die "Seite" nach dem Minus umgeformt? Hab schon ein bisschen was rumprobiert, aber führt nichts in die gewünschte Richtung..


   Profil
Kuestenkind
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.04.2016
Mitteilungen: 2568
  Beitrag No.5, eingetragen 2022-05-12

Huhu nakrama, \(2^3=2^2\cdot\sqrt{2}\cdot\sqrt{2}\). Dann einfach ausklammern. Gruß, Küstenkind [Verschoben aus Forum 'Berechenbarkeitstheorie' in Forum 'Induktion' von Kuestenkind]


   Profil
nakrama
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 12.05.2019
Mitteilungen: 47
  Beitrag No.6, vom Themenstarter, eingetragen 2022-05-12

\quoteon(2022-05-12 19:49 - Kuestenkind in Beitrag No. 5) Huhu nakrama, \(2^3=2^2\cdot\sqrt{2}\cdot\sqrt{2}\). Dann einfach ausklammern. Gruß, Küstenkind [Verschoben aus Forum 'Berechenbarkeitstheorie' in Forum 'Induktion' von Kuestenkind] \quoteoff Eigentlich dachte ich, dass es das Problem gelöst hätte, aber scheinbar nicht. Habs erst mit: $$(2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*\sqrt{2^k}*2^{2k}*2^3+(2^{k+1})^2*\sqrt{2^{k+1}} $$ $$ = (2^{k+1})^3*(2+\sqrt{2})-(2+\sqrt{2})*\sqrt{2^k}*2^{2k}*2^2*\sqrt{2}+(2^{k+1})^2*\sqrt{2^{k+1}} $$ $$ = ... $$ versucht, bin damit nicht weiter gekommen, obwohl die Umformungen richtig sein sollten. Dachtest du an: $$(2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*\sqrt{2^k}*2^{2k}*2^2*\sqrt{2}*\sqrt{2}+(2^{k+1})^2*\sqrt{2^{k+1}} $$ $$ = (2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*\sqrt{2^{k+1}}*2^{2k+2}*\sqrt{2}+(2^{k+1})^2*\sqrt{2^{k+1}} $$ $$ = (2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*(2^{2k+5/2})*\sqrt{2^{k}} \leftarrow $$ $$ = (2^{k+1})^3*(2+\sqrt{2})-(1+\sqrt{2})*(2^{k+1})^2*\sqrt{2^{k+1}} $$ An der Stelle mit dem Pfeil hab ich ehrlich gesagt nicht ganz verstanden wie der Schritt dort hin funktioniert hat. (Mit WolframAlpha umformen lassen) Habe es selbst anders ausgeklammert in diesem Schritt, von daher wäre eine kurze Erklärung noch ganz hilfreich! Hat mich tatsächlich gut zum verzweifeln gebracht😴


   Profil
Kuestenkind
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 12.04.2016
Mitteilungen: 2568
  Beitrag No.7, eingetragen 2022-05-13

Guten Morgen nakrama, es ist - wie gesagt - nur ausklammern: \(\displaystyle -(1+\sqrt{2})\cdot \sqrt{2^k}\cdot 2^{2k}\cdot 2^3+(2^{k+1})^2\cdot \sqrt{2^{k+1}}=-(1+\sqrt{2})\cdot \sqrt{2^{k+1}}\cdot 2^{2k+2}\cdot \sqrt{2}+(2^{k+1})^2\cdot \sqrt{2^{k+1}}=-(2^{k+1})^2\cdot \sqrt{2^{k+1}}\left((1+\sqrt{2})\sqrt{2}-1\right)\) Und die letzte klammer schaffst du sicherlich alleine. Gruß, Küstenkind


   Profil
nakrama
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 12.05.2019
Mitteilungen: 47
  Beitrag No.8, vom Themenstarter, eingetragen 2022-05-13

\quoteon(2022-05-13 06:51 - Kuestenkind in Beitrag No. 7) Guten Morgen nakrama, es ist - wie gesagt - nur ausklammern: \(\displaystyle -(1+\sqrt{2})\cdot \sqrt{2^k}\cdot 2^{2k}\cdot 2^3+(2^{k+1})^2\cdot \sqrt{2^{k+1}}=-(1+\sqrt{2})\cdot \sqrt{2^{k+1}}\cdot 2^{2k+2}\cdot \sqrt{2}+(2^{k+1})^2\cdot \sqrt{2^{k+1}}=-(2^{k+1})^2\cdot \sqrt{2^{k+1}}\left((1+\sqrt{2})\sqrt{2}-1\right)\) Und die letzte klammer schaffst du sicherlich alleine. Gruß, Küstenkind \quoteoff Hallo, ich sehe jetzt erst woran es gelegen hat, so weit war ich auch schon, aber hab vor lauter Versuchen/Ansätzen komplett übersehen, dass man es ja letztlich nur noch zusammenfassen muss... Manchmal steht man sich auch selbst im Weg. Nochmals danke, damit hat es sich dann wirklich erledigt!


   Profil
nakrama hat die Antworten auf ihre/seine Frage gesehen.
nakrama hat selbst das Ok-Häkchen gesetzt.
nakrama wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]