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 (und ihre Verallgemeinerung über Monoide) Es gibt auch einige interessante …
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 eine Zeitung, die so erstaunlich ist (z. …
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 Algorithmen …
[ 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 vielleicht großartig. Beispiele: Wahrscheinlichkeit Ungleichungen Logik Graphentheorie …
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
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 nach alle kennen? Ich werde dies mit ein paar Antworten auf Präsentationen …
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 stammen, zählen nicht. Sind einige dieser Beispiele nachweislich NP-intermediär, wenn man nur …
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 Vorlesungsnotizen über Algorithmen änderten meine Meinung. Ich …
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 Operationen auf Zeilen und Spalten als Ganzes beschränken [1]. Offensichtlich …
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 approximation algorithms . Ich denke, dass es …
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 Veranstaltungen teilnehmen und bereit wären, kurze oder ausführliche Blogeinträge über die Veranstaltungen …
Was ist das lustigste veröffentlichte Werk zum Thema TCS, das Sie kennen? Bitte geben Sie nur diejenigen an, die lustig sein sollen. Es werden Werke bevorzugt, die explizit so gestaltet sind, dass sie auf intelligente Weise humorvoll sind (und nicht etwa eine veröffentlichte Sammlung von kurzen Witzen in Bezug auf …
Bitte führen Sie Beispiele auf, bei denen ein Satz aus der Mathematik, der normalerweise nicht in der Informatik angewendet wurde, zum ersten Mal verwendet wurde, um ein Ergebnis in der Informatik zu beweisen. Die besten Beispiele sind solche, bei denen die Verbindung nicht offensichtlich war, aber sobald sie entdeckt wurde, …
Was sind Algorithmen von legitimem Nutzen, die einfach zu komplex sind, um sie zu implementieren? Lassen Sie mich klar sein: Ich suche nicht nach Algorithmen wie dem aktuellen asymptotischen optimalen Matrixmultiplikationsalgorithmus (Coppersmith-Winograd), der sinnvoll zu implementieren ist, aber eine Konstante hat, die es in der Praxis unbrauchbar macht. Ich bin …
Ich bin ein Software-Praktiker und schreibe eine Umfrage zu algebraischen Strukturen für die persönliche Forschung. Ich versuche Beispiele zu liefern, wie diese Strukturen in der theoretischen Informatik (und in geringerem Maße in anderen Teilbereichen der Informatik) verwendet werden. . In der Gruppentheorie bin ich auf syntaktische Monoide für formale Sprachen …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.