Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Beweisführung / Landau-Notation (http://www.informatikerboard.de/board/thread.php?threadid=1745)


Geschrieben von JayJay am 14.12.2013 um 02:46:

  Beweisführung / Landau-Notation

Hallo liebe Informatiker smile

Ich muss folgende Aussage beweisen:

Gilt f(n) ∈ O(g(n)) und g(n) ∈ o(h(n)), dann auch f(n) ∈ o(h(n))

Durch prädikatenlogische Umformungen bin ich schon soweit gekommen, dass
f(n) ∈ ¸ (g(n)) ∧ g(n) ∈ o(h(n))
äquivalent ist zu
f(n) ∈ o(h(n))
sein muss. Allerdings weiß ich nicht, wie ich das zeigen kann.
Bis jetzt habe ich nur Dinge wie O(n) in o(n) ∧ ¸(n) aufgespalten und das Distributionsgesetz angewendet.

Hoffentlich habt ihr einen guten Ratschlag für mich,

JayJay



Geschrieben von JayJay am 14.12.2013 um 02:48:

  RE: Beweisführung / Landau-Notation

Entschuldigt den ASCII Fehler, ∈ = ELEMENT_VON


Forensoftware: Burning Board, entwickelt von WoltLab GmbH