Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

6
Was ist neu in rein funktionalen Datenstrukturen seit Okasaki?
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 …
30
Welche Bücher sollte jeder lesen?
[ 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 …
15
Welche Vorlesungsunterlagen sollten alle lesen?
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 …
17
Beispiele für den Preis der Abstraktion?
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 …
30
Lustige TCS-bezogene Papiere etc?
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 …
2
Was ist die tatsächliche zeitliche Komplexität der Gaußschen Eliminierung?
In einer Antwort auf eine frühere Frage erwähnte ich die verbreitete, aber falsche Annahme, dass die „Gaußsche“ Eliminierung in Zeit abläuft . Während es offensichtlich ist, dass der Algorithmus -Arithmetikoperationen verwendet, kann eine unachtsame Implementierung Zahlen mit exponentiell vielen Bits erzeugen. Nehmen wir als einfaches Beispiel an, wir möchten die …
13
Verwendung algebraischer Strukturen in der theoretischen Informatik
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 …
17
Anwendungen von TCS in der klassischen Mathematik?
Wir in TCS verwenden häufig leistungsstarke Ergebnisse und Ideen aus der klassischen Mathematik (Algebra, Topologie, Analyse, Geometrie usw.). Was sind einige Beispiele dafür, wann es umgekehrt gegangen ist? Hier sind einige, die ich kenne (und die auch einen Vorgeschmack auf die Art der Ergebnisse geben sollen, nach denen ich frage): …
2
Kann man P = NP über P = PH hinaus verstärken?
In der beschreibenden Komplexität hat Immerman Folgerung 7.23. Die folgenden Bedingungen sind äquivalent: 1. P = NP. 2. Über endlichen, geordneten Strukturen ist FO (LFP) = SO. Dies kann als "Verstärken" von P = NP auf eine äquivalente Aussage über (vermutlich) größere Komplexitätsklassen angesehen werden. Beachten Sie, dass SO die …
7
Bei welchen Problemen in P ist es einfacher, das Ergebnis zu überprüfen, als es zu finden?
Für ( Suchversionen ) von NP- vollständigen Problemen ist die Überprüfung einer Lösung eindeutig einfacher als das Auffinden, da die Überprüfung in Polynomzeit erfolgen kann, während das Auffinden eines Zeugen (wahrscheinlich) exponentielle Zeit in Anspruch nimmt. In P kann die Lösung jedoch auch in Polynomzeit gefunden werden, so dass es …
4
Verallgemeinerter Satz von Ladner
Ladners Theorem besagt, dass wenn P ≠ NP ist, es eine unendliche Hierarchie von Komplexitätsklassen gibt, die ausschließlich P enthalten und ausschließlich in NP enthalten sind. Der Beweis verwendet die Vollständigkeit von SAT unter einer um ein Vielfaches verringerten NP. Die Hierarchie enthält Komplexitätsklassen, die durch eine Art Diagonalisierung aufgebaut …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.