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)
---- Berechenbarkeits- und Komplexitätstheorie (http://www.informatikerboard.de/board/board.php?boardid=15)
----- Komplexitätsfunktionen als Äquivalenzrelation (http://www.informatikerboard.de/board/thread.php?threadid=3045)


Geschrieben von Shizmo am 21.05.2016 um 23:51:

  Komplexitätsfunktionen als Äquivalenzrelation

Hallo,

Zitat:
Sei [latex]M:= \{f|f:\mathbb{N}\rightarrow \mathbb{R}^+ \}[/latex] die Menge aller Komplexitätsfunktionen von [latex]\mathbb{N}[/latex] nach [latex]\mathbb{R}^+[/latex]. Wir definieren die Relation [latex]\sim[/latex] wie folgt: Für zwei Funktionen [latex]f,g \in M[/latex] gilt [latex]f\sim g \iff f \in \Theta(g)[/latex]. Zeigen Sie, dass [latex]\sim[/latex] eine Äquivalenzrelation ist.


Leider weiß ich nicht, wie ich die Symmetrie am besten formal "beweise".

LG


Forensoftware: Burning Board, entwickelt von WoltLab GmbH