Die Suche ergab 202 Treffer

von sqrt(2)
18. Sep 2016 18:12
Forum: AuD: Arbeit mit Nabla
Thema: Nabla (war) down !
Antworten: 3
Zugriffe: 536

Re: Nabla (war) down !

Nabla ist zur Zeit down...?!
von sqrt(2)
17. Sep 2016 20:02
Forum: Archiv
Thema: Ein weiterer Induktionsbeweis (insertionSort aus V26)
Antworten: 4
Zugriffe: 569

Re: Ein weiterer Induktionsbeweis (selectionSort aus V26)

Invariante: Nach i >= 0 Iterationen gilt: 1. das newHead auf eine korrekt gebildete Liste verweist 2. das searchMinFromHere ein Pointer auf das erste Element der unsortierten Teilliste von oldHead ist. 3. das elemWithMinValue auf das Element mit dem kleinsten Key der Teilliste von searchMinFromHere...
von sqrt(2)
17. Sep 2016 11:44
Forum: Archiv
Thema: Ein weiterer Induktionsbeweis (insertionSort aus V26)
Antworten: 4
Zugriffe: 569

Re: Ein weiterer Induktionsbeweis (selectionSort aus V26)

Terminierung: - Die while-Schleife terminier sobald man das letzte Element der linearen Liste erreicht, aufgrund des korrekten Inputs existiert so ein Ende - Die for-Schleife terminiert sobald der Pointer p == NULL ist Ich nehme an, Sie betrachten hier die innere Schleife (die das Maximum unter den...
von sqrt(2)
17. Sep 2016 09:33
Forum: AuD: Rund um die Klausur
Thema: 20.09.2016 :: 12:00 - 14:00
Antworten: 6
Zugriffe: 919

Re: 20.09.2016 :: 12:00 - 14:00

Ja, das stimmt. Neuer und korrekter Zeitraum 11:30 bis 13:30+x.
von sqrt(2)
16. Sep 2016 22:07
Forum: AuD: Rund um die Klausur
Thema: 20.09.2016 :: 12:00 - 14:00
Antworten: 6
Zugriffe: 919

Re: 20.09.2016 :: 12:00 - 14:00

\(push\)
von sqrt(2)
16. Sep 2016 19:04
Forum: Archiv
Thema: Korrektheitsbeweis: BinaryTree
Antworten: 6
Zugriffe: 1120

Re: Korrektheitsbeweis: BinaryTree

Hallo Hallo, hier mal meine Variante zum Induktionsbeweis. Der kann sehr ähnlich zu deinem sein, habe ihn mir bewusst noch nicht angeschaut. Input: - Wurzel (node) auf einen korrekt gebildeten binären Baum (setze das mal voraus) - Wurzel (node) kann auch null sein - Integer Zahl sum die im Intervall...
von sqrt(2)
16. Sep 2016 13:10
Forum: Archiv
Thema: Ein weiterer Induktionsbeweis (insertionSort aus V26)
Antworten: 4
Zugriffe: 569

Ein weiterer Induktionsbeweis (insertionSort aus V26)

Hallo, ich wollte hier mal probieren einen Induktionsbeweis zum Algorithmus selectionSort aus der letzten Vorlesung (V26) durchzuführen. Input: - oldHead verweist auf den Kopf einer korrekt gebildeten linearen, doppelt verketteten Liste, die auch leer sein kann. - Duplikate erlaubt Output: - Ohne Än...
von sqrt(2)
16. Sep 2016 11:37
Forum: Archiv
Thema: Ein perfekter Induktionsbeweis?
Antworten: 4
Zugriffe: 685

Re: Ein perfekter Induktionsbeweis?

Okay, vielen Dank für die Unterstützung. Ja ich werde das so nochmal überarbeiten. Den HashSet in der Invariante zu übernehmen ist ein guter Hinweis, daran habe ich gar nicht gedacht. Sie erzählen den Algorithmus mehr oder weniger nach. Vergleichen Sie das doch einmal mit folgender Formulierung: Nac...
von sqrt(2)
15. Sep 2016 21:28
Forum: Archiv
Thema: Komplexität algorithmischer Probleme: Problemstellung die in NPC sind
Antworten: 5
Zugriffe: 845

Re: Komplexität algorithmischer Probleme: Problemstellung die in NPC sind

Prof. Karsten Weihe hat geschrieben: Puuuh, soweit für's erste ... (ich nehme an, Sie haben Anschlussfragen?)
Nein zunächst nicht. Vielen Dank Herr Weihe!
Nichts desto trotz, fühle ich mich irgendwie nicht so wirklich gut vorbereitet für die Theoriefragen...
von sqrt(2)
15. Sep 2016 21:19
Forum: Archiv
Thema: Ein perfekter Induktionsbeweis?
Antworten: 4
Zugriffe: 685

Re: Ein perfekter Induktionsbeweis?

Naja, da ist noch viel Verbesserungspotenzial. Schonmal vielen Dank für Ihr Feedback. Komplexität: Best Case: Im Best Case ist m.theSuccessors == NULL und wir erhalten somit O(1) . NEIEN!!! Sowohl Worst als auch Best Case sind Funktionen in der Knotenzahl des Baumes. Der Best Case tritt also nicht e...
von sqrt(2)
15. Sep 2016 17:15
Forum: AuD: Rund um die Klausur
Thema: 20.09.2016 :: 12:00 - 14:00
Antworten: 6
Zugriffe: 919

20.09.2016 :: 12:00 - 14:00

Hallo, wenn ich das richtig verstehe ist die Klausur von 12:00 - 14:00 [1] und wir sollen spätestens um 11:25 [2] im Raum sein? [1] https://moodle.informatik.tu-darmstadt.de/pluginfile.php/34385/mod_resource/content/3/AuD_Klausur_Raumliste.pdf [2] https://moodle.informatik.tu-darmstadt.de/pluginfile...
von sqrt(2)
15. Sep 2016 11:42
Forum: Archiv
Thema: Ein perfekter Induktionsbeweis?
Antworten: 4
Zugriffe: 685

Ein perfekter Induktionsbeweis?

Hallo, ich habe mir nochmal Mühe bei einem rekursiven Induktionsbeweis gegeben und probiert die Dinge gemäß Vorlagen und Beispiele auf den Punkt zu bringen. Der Code prüft die Verzeigerungsstruktur eines Multi-Way-Trees. public boolean isTreeCorrect(TreeNode<T> r) { if (r == null) return true; HashS...
von sqrt(2)
14. Sep 2016 21:15
Forum: Archiv
Thema: Fehler in Muster für Korrektheit
Antworten: 2
Zugriffe: 401

Re: Fehler in Muster für Korrektheit

Prof. Karsten Weihe hat geschrieben:
sqrt(2) hat geschrieben: müsste genaugenommen j = 0, 2, 4, ... stehen bei Induktionsparameter?
Falls ich an die Stelle geschaut habe, die Sie im Sinn hatten, dann ist j=0,1,2,... schon richtig, denn es wird ja immer 2*j betrachtet.
Stimmt :oops:
von sqrt(2)
14. Sep 2016 21:14
Forum: Archiv
Thema: MST vs MSF
Antworten: 2
Zugriffe: 383

Re: MST vs MSF

Prof. Karsten Weihe hat geschrieben:
sqrt(2) hat geschrieben: gibt es einen Grund warum das eine Tree und das andere Forest heißt?
Typische Mathematikermanie des Dozenten, immer den allgemeinsten Fall zu betrachten, der mit der Methode gelöst werden kann. :twisted:
Okay, danke (:
von sqrt(2)
14. Sep 2016 20:29
Forum: AuD: Rund um die Klausur
Thema: Comparator
Antworten: 1
Zugriffe: 512

Comparator

Hallo,

wie der Comparator spezifiziert ist wird sicherlich in der Klausur nochmal explizit erwähnt werden, oder?

Zur erweiterten Suche