Theoretische Informatik

Seit Chris Okasakis 1998 erscheinendem Buch "Rein funktionale Datenstrukturen" sind nicht mehr allzu viele neue aufregende rein funktionale Datenstrukturen aufgetaucht. Ich kann nur einige nennen: IntMap (ebenfalls von Okasaki im Jahr 1998 erfunden, aber in diesem Buch nicht vorhanden) Fingerbäume...

Diese Frage ist (inspiriert von) / (schändlicherweise gestohlen von) einer ähnlichen Frage bei MathOverflow , aber ich gehe davon aus , dass die Antworten hier ganz anders ausfallen werden. Wir alle haben Lieblingsarbeiten in unseren jeweiligen theoretischen Bereichen. Hin und wieder findet man...

Paul Erdos sprach über das "Buch", in dem Gott den elegantesten Beweis für jeden mathematischen Satz aufbewahrt. Dies inspirierte sogar ein Buch (von dem ich glaube, dass es jetzt in der 4. Auflage vorliegt ): Proofs from the Book . Wenn Gott ein ähnliches Buch für Algorithmen hätte, welche...

Um die Bedeutung von Algorithmen zu demonstrieren (z. B. für Studierende und Professoren, die keine theoretischen Kenntnisse besitzen oder aus ganz anderen Bereichen stammen), ist es manchmal hilfreich, eine Liste von Beispielen zur Hand zu haben, in denen Kernalgorithmen in kommerziellen,...

Ich habe Theory of Computation zum Spaß überarbeitet und diese Frage hat mich eine Weile genervt (lustig, ich habe nie daran gedacht, als ich in meinem Grundstudium die Automatentheorie lernte). Warum untersuchen wir also genau deterministische und nicht deterministische endliche Automaten (DFA /...

Norbert Blum veröffentlichte kürzlich einen 38-seitigen Beweis, dass . Ist es richtig?P≠NPP≠NPP \ne NP Auch zum Thema: Wo sonst (im Internet) wird über deren Richtigkeit diskutiert? Hinweis: Der Fokus dieses Fragetextes hat sich im Laufe der Zeit geändert. Siehe Fragenkommentare für...

[ Timeline ] Bei dieser Frage geht es darum, welche Artikel jeder lesen und welche Videos jeder ansehen sollte . Es werden bemerkenswerte Bücher in verschiedenen Bereichen der theoretischen Informatik verlangt. Die Bücher können mathematisch orientiert sein, aber für einen Informatiker ist es...

Wikipedia listet unter "ungelöste Probleme in der Informatik" nur zwei Probleme auf : P = NP? Die Existenz von Einwegfunktionen Was sind andere Hauptprobleme, die zu dieser Liste hinzugefügt werden sollten? Regeln: Nur ein Problem pro Antwort Geben Sie eine kurze Beschreibung und relevante Links an...

Angenommen, Mario läuft auf der Oberfläche eines Planeten. Wie schnell können wir bestimmen, wo er anhalten wird, wenn er von einem bekannten Ort aus in einer festgelegten Richtung über eine festgelegte Distanz läuft? Genauer gesagt, nehmen wir an, wir erhalten ein konvexes Polytop im 3-Raum, einen...

Die Stanford University verfügt nun über einen Youtube-Kanal mit kostenlosem Zugriff auf HD-Videos mit vollständigen Kursen von dynamischen Systemen bis hin zur Quantenverschränkung. Weitere Konferenzen und Workshops zeichnen ihre Vorträge auf Video auf. Welche Online-Videos sollten Ihrer Meinung...

Faktorisierung und Graph-Isomorphismus sind Probleme in NP, von denen weder bekannt ist, dass sie in P sind, noch dass sie NP-vollständig sind. Welche anderen (ausreichend unterschiedlichen) natürlichen Probleme teilen diese Eigenschaft? Künstliche Beispiele, die direkt aus dem Ladner-Beweis...

Nachdem ich Daniel Apons Frage gelesen hatte , dachte ich, dass es nützlich sein könnte (insbesondere für Nachwuchsforscher und Doktoranden wie mich), eine umfassendere und allgemeinere Frage zu stellen, damit wir aus den Erfahrungen älterer Forscher lernen können. Also hier ist die Frage: Welche...

Eine Mischung aus zwei Zeichenfolgen wird gebildet, indem die Zeichen in eine neue Zeichenfolge eingefügt werden, wobei die Zeichen der einzelnen Zeichenfolgen in der angegebenen Reihenfolge bleiben. Zum Beispiel MISSISSIPPIist ein Shuffle von MISIPPund SSISI. Lassen Sie mich einen String als...

Es gab mehrere Fragen mit demselben Schema wie dieses: Welche Papiere sollten alle lesen? Welche Bücher sollten alle lesen? Was sind die neuesten TCS-Bücher, deren Entwürfe online verfügbar sind? Welche Videos sollte jeder sehen Ich zögerte, noch einen zu posten, aber Jeff Ericksons...

Die theoretische Informatik hat einige Beispiele für "den Preis der Abstraktion" geliefert. Die beiden bekanntesten sind für die Gaußsche Eliminierung und Sortierung. Nämlich: Es ist bekannt, dass die Gaußsche Elimination beispielsweise für die Berechnung der Determinante optimal ist, wenn Sie...

Ich habe ein paar Teile der Kategorietheorie gelernt. Es ist sicherlich eine andere Sichtweise. (Sehr grobe Zusammenfassung für diejenigen, die es nicht gesehen haben: Die Kategorietheorie bietet die Möglichkeit, alle Arten von mathematischem Verhalten ausschließlich in Bezug auf funktionale...

Im Anschluss an den Beitrag Welche Bücher sollten alle lesen , habe ich festgestellt, dass es neuere Bücher gibt, deren Entwürfe online verfügbar sind. Beispielsweise zitiert der Eintrag zu Approximationsalgorithmen im obigen Beitrag ein 2011 erscheinendes Buch mit dem Titel The design of...

In den letzten Jahren wurden viele Pfadfindungsalgorithmen entwickelt, mit denen der beste Pfad in Reaktion auf Diagrammänderungen viel schneller als mit A * berechnet werden kann - was sind sie und wie unterscheiden sie sich? Sind sie für verschiedene Situationen oder veralten einige andere? Dies...

Ich bereite mich auf einen Vortrag vor, der sich an Bachelor-Mathematiker richtet, und als Teil davon denke ich darüber nach, das Konzept der Entscheidbarkeit zu diskutieren. Ich möchte ein Beispiel für ein Problem geben, von dem wir derzeit nicht wissen, dass es entscheidbar oder unentscheidbar...

Ich möchte um Hilfe bei der Zusammenstellung einer Liste mit möglichst vielen TCS-bezogenen Konferenzen und Workshops bitten. Meine Hauptmotivation dafür ist es, eine mögliche Blog-Berichterstattung über mehr theoretische Veranstaltungsorte zu planen - Korrespondenten zu finden, die an diesen...