Rigorose Bücher über Algorithmen

7

Ich habe meinen Algorithmusunterricht sehr genossen, aber ich hatte das Gefühl, dass es an Genauigkeit mangelte. Die meiste Zeit konnte ich intuitiv verstehen, warum die vorgestellten Algorithmen funktionierten und warum sie die vorgestellte zeitliche Komplexität hatten, aber ich möchte in der Lage sein, solche Dinge zu beweisen. Daher möchte ich ein Buch, das viele gängige Algorithmen behandelt und sich darauf konzentriert, die Richtigkeit und zeitliche Komplexität der Algorithmen zu beweisen. Irgendwelche guten Empfehlungen?

Budge
quelle
3
Knuths Bücher enthalten normalerweise Analysen. Schauen Sie sich also die Kunst der Computerprogrammierung an.
Pavel
2
Willkommen bei CS.SE! Diese Frage ist ziemlich weit gefasst: Es gibt viele Lehrbücher für Algorithmen, die sich maßgeblich auf Korrektheitsnachweise und zeitliche Komplexität konzentrieren. Welche Recherchen haben Sie bereits durchgeführt? Welche Optionen haben Sie in Betracht gezogen und warum haben Sie sie abgelehnt? (Siehe cs.stackexchange.com/help/how-to-ask. ) Außerdem funktioniert diese Website für Empfehlungen nicht gut, da sie von Natur aus subjektiv sind. siehe unsere Hilfe . Können Sie sich eine Möglichkeit vorstellen, die Frage zu bearbeiten, um diese Bedenken auszuräumen?
DW
4
Ich bin nicht sicher, welches Buch Sie im Unterricht verwendet haben, aber Einführung in Algorithmen von Cormen et al. gilt als das beliebteste Lehrbuch für Bachelor- und Masterstudiengänge in Algorithmen. Es deckt eine enorme Menge an Material ab, wobei eine große Anzahl von Referenzen bereitgestellt wird. Ich glaube nicht, dass Sie ein besseres Buch über Algorithmen finden werden als dieses, es sei denn, Sie suchen nach einem ganz bestimmten Thema.
user340082710
2
Ich habe auch diesen Beitrag gefunden, der andere Vorschläge hat: cs.stackexchange.com/questions/2495/…
user340082710
2
Wir haben keine strenge Richtlinie für Listenfragen, aber es gibt eine allgemeine Abneigung . Bitte beachten Sie auch diese und diese Diskussion; Vielleicht möchten Sie Ihre Frage verbessern, um die dort erläuterten Probleme zu vermeiden. Wenn Sie nicht sicher sind, wie Sie Ihre Frage verbessern können, können wir Ihnen vielleicht im Computer Science Chat helfen ?
Raphael

Antworten:

5

Hinweis: Bitte bearbeiten Sie diese Antwort und fügen Sie sie hinzu. Erstellen Sie keine neuen Antworten

Rigorose Bücher:

Die Kunst der Computerprogrammierung von Knuth

Eine Disziplin der Programmierung von Dijkstra

Einführung in Algorithmen von Cormen, Leiserson, Rivest und Stein

Algorithmen von Sedgewick und Wayne

Dr. Dobbs wesentliche Bücher über Algorithmen und Datenstrukturen
Dies schließt auch einintroduction to algorithms

Algorithmen + Datenstrukturen = Programme von Wirth und deren Nachfolge:
Algorithmen und Datenstrukturen

Die Wissenschaft des Programmierens von Gries und
ein logischer Ansatz zur diskreten Mathematik desselben Autors

Algorithmen für Strings, Bäume und Sequenzen von Gusfield

Konkrete Mathematik: Eine Stiftung für Informatik von Graham, Knuth und Patashnik

Die Theorie des Parsens, Übersetzens und Kompilierens (Teil I und II) von Aho und Ullman

Das Design und die Analyse von Computeralgorithmen von Aho, Hopcroft und Ullman

Einführung in Automatentheorie, Sprachen und Berechnung von Hopcroft und Ullman

Offensichtlich kann die Liste ziemlich erweitert werden.
Beachten Sie, dass Bücher mit der Erweiterung des Bereichs der Informatik nicht mithalten können und Sie sich daher Forschungsarbeiten zuwenden müssen.

Johan
quelle
Mindestens meine Version von Introduction to Algorithms von Cormen, Leiserson, Rivest und Stein ist nicht streng , wenn asymptotische Notationen definiert, math.stackexchange.com/questions/2536528/... Es wird versucht zu definieren - Notation als ein Satz , aber dann einige seltsame Weg fügt eine Menge plus ein Polynom wieΘex=1+x+θ(x2)
user2219896