Als «big-list» getaggte Fragen

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...

[ 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...

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...

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...

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...

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...

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...

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...

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...

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...

Ich komme aus einem mathematischeren Umfeld und habe nie wirklich gelernt, wie man programmiert. Ich beginne eine Promotion in TCS und viele Leute waren überrascht, wie wenig ich über Programmierung (und über Computer im Allgemeinen) wusste. Ich kann Algorithmen in Pseudocode schreiben, kenne aber...

BEARBEITEN AM 12.10.08: Ich werde versuchen, die Frage so zu ändern, dass möglicherweise mehr Menschen daran interessiert sind, ihre Meinung mitzuteilen. Wir brauchen Ihre Beiträge! Dieser Beitrag ist inspiriert von dem Beitrag in MO: Beispiele für verbreitete falsche Vorstellungen in der...

Unten aktualisiert Wir alle kennen die entscheidende Bedeutung von Peer-Review. Es ist die Hauptform der Qualitätskontrolle und des Feedbacks zur Forschung. Für einen Nachwuchsforscher (wie mich) kann dies jedoch manchmal ein verwirrendes System / Prozess sein. Dementsprechend gibt es mehrere...

Wenn wir an TCS-Konferenzen teilnehmen, bemerken wir oft einige kleine Details, für die wir uns die Organisatoren der Konferenz gewünscht hätten. Und wenn wir Konferenzen organisieren, haben wir es bereits vergessen. Daher die Frage: Welche kleinen Schritte könnten wir leicht unternehmen, um...

Ich suche nach Beispielen für Probleme, die durch eine Zahl parametrisiert sind , wobei die Härte des Problems in nicht monoton ist . Die meisten Probleme (meiner Erfahrung nach) haben einen einphasigen Übergang, zum Beispiel hat SAT einen einphasigen Übergang von (wo das Problem in P ist) zu (wo...