Als «big-list» getaggte Fragen

Fragen, deren Antworten eine große Liste von Elementen sind (Bücher, Theoreme, Software, ...)


7
Zeiger für CS-Anwendungen der Logik
Ich bin ein Student der Mathematik mit einem soliden Hintergrund in Logik. Ich habe einen einjährigen Abschlusskurs in Logik zusammen mit Abschlusskursen in endlicher Modelltheorie und einem weiteren Kurs in Erzwingungs- und Mengenlehre belegt. Die meisten CS-Texte scheinen nur einen sehr bescheidenen logischen Hintergrund anzunehmen, der hauptsächlich die Grundlagen der …

3
Beispiele für eine erfolgreiche Derandomisierung von BPP zu P
Was sind einige wichtige Beispiele für eine erfolgreiche Derandomisierung oder zumindest Fortschritte bei der Darstellung konkreter Belege für das Ziel (nicht die Härte-Zufalls-Verbindung)?P=BPPP=BPPP=BPP Das einzige Beispiel, das mir in den Sinn kommt, ist das Testen der deterministischen Polynom-Zeit-Primalität nach AKS (auch dafür gab es eine Methodik, die GRH voraussetzte). Welchen …

5
Beispiele für Pedanterie in TCS
Larry Wasserman hat kürzlich einen Beitrag verfasst, in dem er über die "P-Value-Polizei" spricht. Er macht einen interessanten Punkt (alles Hervorheben von mir) (die Prämisse in Kursivschrift, die ich hinzugefügt habe, und seine Antwort darunter): Die häufigste Beschwerde ist, dass Physiker und Journalisten die Bedeutung eines p-Wertes falsch erklären. Wenn …

2
Bemerkenswerte Beispiele für die Quadratwurzel-Idee in der Komplexitätsanalyse
k = √max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n Baby-Step-Riesenschritt-Algorithmus zur Berechnung des diskreten Logarithmus in ,O(n−−√)O(n)O(\sqrt n) statische orthogonale 2D-Bereichszählung in -Zeit und -Speicher,O(n)O(n−−√)O(n)O(\sqrt n)O(n)O(n)O(n) Prioritätswarteschlange mit EXTRACT-MIN in und DECREASE-KEY in ,O(1)O(n−−√k)O(nk)O(\sqrt[k] n)O(1)O(1)O(1) Färben eines 3-farbigen Graphen mit Farben in Polynomzeit,O(n−−√)O(n)O(\sqrt n) nur um ein paar zu nennen. Obwohl solche Algorithmen …

6
Variationen von SAT
Ich habe im Internet nachgeschlagen, aber ich konnte keine "große Liste" von Varianten des SAT-Problems finden. Abgesehen von den (gemeinsamen) SAT, k-SAT, MAX-kSAT, Halb-SAT, XOR-SAT, NAE-SAT Welche weiteren Varianten gibt es? (Auch ist es sehr nützlich, wenn dort Komplexitätsklassen angegeben werden (wo möglich))


3
Untere Schranken für Datenstrukturen
Sind Ergebnisse bekannt, die das Vorhandensein von "Too Good To Be True" -Datenstrukturen ausschließen? Beispiel: Kann man einer Auftragsverwaltungsdatenstruktur (siehe Dietz und Sleator STOC '87 ) die Funktionen und J o i n hinzufügen und trotzdem O ( 1 ) -Zeitoperationen erhalten ?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oder: Kann man eine geordnete Menge mit …



9
Gegenintuitive Ergebnisse für Studenten
Ich suche nach Beispielen für Ergebnisse, die gegen die Intuition der Menschen für ein allgemeines Publikumsgespräch verstoßen. Ergebnisse, die, wenn Sie von Nicht-Experten gefragt werden, "Was sagt Ihnen Ihre Intuition?", Fast alle falsch machen würden. Die Aussage der Ergebnisse sollte für Studierende in cs / math leicht zu erklären sein. …

4
Interessante Ergebnisse in TCS, die für Programmierer ohne technischen Hintergrund leicht zu erklären sind
Angenommen, Sie treffen sich mit Programmierern, die einige professionelle Programmierkurse besucht haben (/ self thought), aber kein Mathematikstudium auf Universitätsniveau absolviert haben. Um ihnen die Schönheit von TCS zu zeigen, möchte ich einige nette Ergebnisse / offene Fragen von TCS sammeln, die leicht erklärt werden können. Ein guter Kandidat für …

2
Online-Algorithmen Bücher
Gibt es neuere Bücher zu Online-Algorithmen? Ich kenne nur zwei Bücher zu diesem Thema. Online-Berechnung und Wettbewerbsanalyse von Allan Borodin und Ran El-Yaniv: Dies ist ein klassisches, aber altes Buch, das nicht viele aktuelle Fortschritte auf diesem Gebiet enthält. Das Design von kompetitiven Online-Algorithmen nach einem Primal-Dual-Ansatz von Niv Buchbinder …



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.