Welche Art von Vermutungen und offenen Hauptproblemen sind in der algorithmischen Spieltheorie (oder der Spieltheorie im Allgemeinen in Bezug auf CS) am wichtigsten? Zum Beispiel wäre die Auflösung von NASH als PPAD-vollständig meines Erachtens die größte gewesen, bis sie aufgelöst wurde....
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...
Ich beginne meine Doktorarbeit in diesem Herbst und plane, mich für meine Diplomarbeit mit Komplexitätstheorie zu befassen. Ich erstelle eine Liste wichtiger Artikel, die jeder Komplexitätstheoretiker kennen sollte. Welche Papiere würden Sie einer Person wie mir vorschlagen? Und erläutern Sie kurz,...
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...
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...
Nach der Diskussion über untere Schranken für 3SAT [ 1 ] frage ich mich, was die wichtigsten Ergebnisse für untere Schranken sind, die als Raum-Zeit-Kompromisse formuliert wurden. Ich schließe Ergebnisse aus, wie zum Beispiel den Satz von Savitch; Ein guter Beitrag würde sich auf ein einzelnes...
Die Compilertheorie scheint ein ziemlich geprüftes Thema zu sein. Was sind offene Probleme oder aktuelle Forschungsergebnisse auf diesem
Zum 100. Geburtstag von Alan Turing möchte ich einen Dokumentarfilm über sein Leben sehen. Es stehen jedoch mehrere Dokumentationen zur Auswahl. Welcher Dokumentarfilm über Alan Turing ist Ihr Favorit? Bitte fügen Sie nur einen Dokumentarfilm pro Antwort
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...
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...
Welche nützlichen Algorithmen gibt es, die mit großen Datenströmen arbeiten und deren Ergebnisse relativ klein sind, und man kann das Ergebnis für eine Mischung aus zwei Datenströmen berechnen, indem man deren Ergebnisse irgendwie zusammenführt? Ich kann einige nennen: Die offensichtlichen Dinge...
Was sind Probleme mit den folgenden Eigenschaften: 1) Sie beschränken (möglicherweise bekannte) Probleme, die PSPACE-vollständig sind. 2) Die eingeschränkten Versionen sind in PSPACE, aber es ist ein offenes Problem, wenn sie PSPACE-vollständig sind (oder auch wenn sie NP-hart sind). Vier Beispiele...
Ich suche eine Liste über die bekannte oder unbekannte Komplexität verschiedener zahlentheoretischer / algebraischer Probleme. Beispielsweise, GCD in ist offen,NC1NC1NC^1 Factoring in ist offen,PPP Computing Sheaf Cohomology ist -hard#P#P\#P , Arora und Barak Zustand , dass eine Variante des...
Was sind einige (nicht bekannte) Behauptungen, dass der PH zusammenbrechen muss, wenn er wahr ist? Antworten, die eine kurze Aussage auf hoher Ebene mit Referenzen enthalten, sind willkommen. Ich habe versucht, ohne viel Glück rückwärts zu
Ich bin ein CS-Student. Wir haben Graphentheorie in einem Kurs gemacht. Ich fand es interessant. Was sind die wirklichen Anwendungen der Graphentheorie in der Informatik? Ich fand zum Beispiel heraus, dass einige Konzepte in der Graphentheorie zum Entwerfen von Netzwerken verwendet werden können....
Alle mir bekannten Computermuseen und Exponate scheinen nur die Geschichte der Computer zu behandeln, aber nichts zu Themen der Informatik. Sie sind an der Schaffung eines neuen Computermuseums beteiligt, das gegründet wurde, um die breite Öffentlichkeit in einer Vielzahl von Themen aus den...
Approximationsalgorithmen können eine Ausgabe bis zu einem konstanten Faktor liefern. Dies ist etwas weniger zufriedenstellend als exakte Algorithmen. Konstante Faktoren werden jedoch in der zeitlichen Komplexität ignoriert. Ich frage mich also, ob der folgende Trick möglich ist oder angewendet...
1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden. Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten....
Ich suche stark NP-harte Probleme für eine Reduktion. Bisher habe ich folgende Probleme festgestellt: 3-Partitions-Problem Müllverpackungsproblem Numerische dreidimensionale Übereinstimmung TSP Jedes NP-vollständige Problem ohne numerische Daten, z. B. ZUFRIEDENHEIT, HAMILTONISCHER ZYKLUS,...
Ich habe mich gefragt, was die Liste der aktuellen natürlichen Rechenprobleme ist, für die es keinen bekannten Komplexitätsvorteil bei der Verwendung eines Quantencomputers gibt. Zunächst einmal denke ich, dass die Berechnung der Bearbeitungsentfernung eine ist, für die der schnellste bekannte...