www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-SonstigesBeweisen bei Algorithmen
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Uni-Sonstiges" - Beweisen bei Algorithmen
Beweisen bei Algorithmen < Sonstiges < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Beweisen bei Algorithmen: Ansatz fehlt!
Status: (Frage) beantwortet Status 
Datum: 14:52 Di 22.04.2014
Autor: Max80

Aufgabe
[mm]n^2 - 7n +5 = \Theta(n log n)[/mm]<br>
Beweisen oder widerlegen Sie!


<br>

Hallo zusammen,

ich dachte eigentlich, ich hätte das Thema verstanden. Aber offesichtlich doch nicht. Das Thema sind Algorithmen und da geht es darum, dass man die Laufzeit berechnen kann und dass es dabei abhängige Größen gibt wie die Probleminstanz (Eingabewerte). Leider verstehe ich jetzt nur noch Bahnhof. Wie soll ich das obige denn nun beweisen? Unser Skript kann man ganz klar vergessen. Meine Frage wäre also, ob man anhang eines Beispiels das Prinzip hier vielleicht erklären kann, oder ob ich mir das irgendwie anders erarbeiten kann? Vielen Dank!! Gruß Max

        
Bezug
Beweisen bei Algorithmen: Antwort
Status: (Antwort) fertig Status 
Datum: 15:59 Di 22.04.2014
Autor: fred97


> [mm]n^2 - 7n +5 = \Theta(n log n)[/mm]<br>
>  Beweisen oder
> widerlegen Sie!
>  
> <br>
>  
> Hallo zusammen,
>  
> ich dachte eigentlich, ich hätte das Thema verstanden.
> Aber offesichtlich doch nicht. Das Thema sind Algorithmen
> und da geht es darum, dass man die Laufzeit berechnen kann
> und dass es dabei abhängige Größen gibt wie die
> Probleminstanz (Eingabewerte). Leider verstehe ich jetzt
> nur noch Bahnhof. Wie soll ich das obige denn nun beweisen?
> Unser Skript kann man ganz klar vergessen. Meine Frage
> wäre also, ob man anhang eines Beispiels das Prinzip hier
> vielleicht erklären kann, oder ob ich mir das irgendwie
> anders erarbeiten kann? Vielen Dank!! Gruß Max


$ [mm] n^2 [/mm] - 7n +5 = [mm] \Theta(n [/mm] log n) $   bedeutet:

es gibt a,b > 0 und N [mm] \in \IN [/mm] mit

   $ a(n*logn) [mm] \le n^2-7n+5 \le [/mm] b(n*logn)$   für n>N.

Hilft das ?

FRED

Bezug
                
Bezug
Beweisen bei Algorithmen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:02 Di 22.04.2014
Autor: Max80

Aufgabe
<br>
 


<br>
Hi,
danke für die Antwort. Wenn ich ehrlich bin verstehe ich nur Bahnhof. Woher kommen denn jetzt a und b?
Woher weißt du, dass N nur natürliche Zahlen sein können? Ist das immer so? Bei den Sortierfällen in der Uni sicherlich häufiger (oder fast immer)
der Fall, aber woher weißt du das hier bei dieser speziellen Formel?
Die letzte Zeile verstehe ich leider gar nicht. :(
Wie kommst du auch diese Zeile? Danke!!!!

Viele Grüße
Max

Bezug
                        
Bezug
Beweisen bei Algorithmen: Antwort
Status: (Antwort) fertig Status 
Datum: 18:37 Di 22.04.2014
Autor: fred97


> <br>
>   
>  
> <br>
>  Hi,
>  danke für die Antwort. Wenn ich ehrlich bin verstehe ich
> nur Bahnhof. Woher kommen denn jetzt a und b?
>  Woher weißt du, dass N nur natürliche Zahlen sein
> können? Ist das immer so? Bei den Sortierfällen in der
> Uni sicherlich häufiger (oder fast immer)
>  der Fall, aber woher weißt du das hier bei dieser
> speziellen Formel?
>  Die letzte Zeile verstehe ich leider gar nicht. :(
>  Wie kommst du auch diese Zeile? Danke!!!!

Wie wurde bei Euch denn [mm] \Theta [/mm] definiert ?!

FRED

>  
> Viele Grüße
>  Max


Bezug
                                
Bezug
Beweisen bei Algorithmen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 23:46 So 27.04.2014
Autor: Max80

Aufgabe
<br>
 


<br>

Hallo Fred,

also so langsam bin ich schlauer geworden, aber lösen kann ich das immer noch nicht. Also das Zeichen (ich kenne den Namen nicht): [mm] \Theta[/mm] besagt die "genaue Wachstumsrate". Also nicht obere oder untere Schranke. Mir ist also klar, dass ich beweisen soll, dass die Funktion der Wachstumsrate von O(nlogn) entspricht. Mir ist aber nicht dein Ansatz mit den zwei Konstanten jetzt klar.

Vielen Dank!
Gruß
Max

Bezug
                                        
Bezug
Beweisen bei Algorithmen: Antwort
Status: (Antwort) fertig Status 
Datum: 00:55 Mo 28.04.2014
Autor: Teufel

Hi!

Das Ding ist ein großes Theta. Es gilt [mm] $f=\Theta(g)\gdw f=\mathcal{O}(g)\cap \Omega [/mm] (g)$.

Ferner gilt [mm] $f=\mathcal{O}(g)\gdw \exists [/mm] c>0, N: [mm] f(n)\le [/mm] cg(n) [mm] \forall [/mm] n>N$. Wenn dir das zu unhandlich ist, kannst du auch folgende Äquivalenz nutzen:

[mm] $f=\mathcal{O}(g)\gdw \limsup\limits_{n \to \infty}\frac{f(n)}{g(n)}<\infty$. [/mm]

Analog gilt

[mm] $f=\Omega(g)\gdw \liminf\limits_{n \to \infty}\frac{f(n)}{g(n)}>0$. [/mm]

Versuch das jetzt mal auf deine Aufgabe anzuwenden.

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Sonstiges"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]