Wir hören oft von klassischen Forschungen und Veröffentlichungen auf dem Gebiet der rechnerischen Komplexität (Turing, Cook, Karp, Hartmanis, Razborov usw.). Ich habe mich gefragt, ob es kürzlich veröffentlichte Artikel gibt, die als wegweisend gelten und gelesen werden müssen. Mit neu meine ich in...
Mark Dominus sammelte einige Beispiele für die Reduzierung der Polynomzeit von verschiedenen NP-harten Problemen bis hin zum Matching mit „regulären Ausdrücken“ . Es ist kein enormer Sprung, sich Polynom-Zeit-Überprüfungen vorzustellen. Wie veranschaulichen Sie die Klasse NP-complete für Studenten...
Während ich sowohl an der High School als auch an der Universität einige Kurse über Wahrscheinlichkeitstheorie absolviert habe, fällt es mir schwer, TCS-Artikel zu lesen, wenn es um Wahrscheinlichkeit geht. Es scheint, dass die Autoren der TCS-Artikel mit der Wahrscheinlichkeit sehr vertraut sind....
In der Arbeit The Random Oracle Hypothesis Is False diskutieren die Autoren (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan und Rohatgi) die Auswirkungen der Zufalls-Orakel-Hypothese . Sie argumentieren, dass wir nur sehr wenig über die Trennung von Komplexitätsklassen wissen und die meisten...
Bei dieser Frage geht es um Probleme, bei denen eine große Lücke in Bezug auf die Komplexität zwischen der bekannten Untergrenze und der Obergrenze besteht, jedoch nicht aufgrund offener Probleme in Bezug auf die Komplexitätsklassen. Um genauer zu sein, nehmen wir an, ein Problem hat die...
Es gibt Unmengen von NP-vollständigen Problemen und Quellen, die sie sammeln, z. B. das Buch von Garey und Johnson. Es würde mich interessieren, auch eine Liste von NEXP-vollständigen Problemen zu sehen. Gibt es eine zur Verfügung? Da ich davon ausgehe, dass dies nicht der Fall ist, öffne ich diese...
Einige mathematische und logische Paradoxe könnten wahrscheinlich automatisch auf Computer angewendet werden. Gibt es jedoch Paradoxe, die in der Informatik selbst entdeckt wurden? Mit Paradoxen meine ich kontraintuitive Ergebnisse, die wie ein Widerspruch
Richard J. Lipton wurde zum Gewinner des Knuth-Preises 2014 für die Einführung neuer Ideen und Techniken gewählt. Was sind für Sie die wichtigsten neuen Ideen und Techniken, die Lipton entwickelt hat? Hinweis. Diese Frage wird zum Community-Wiki. Bitte geben Sie eine Idee, Technik oder ein Ergebnis...
Kürzlich erwähnte ein Freund von mir (der in TCS arbeitet) in einem Gespräch, dass "er alle (oder so viel wie möglich) der schönen Ergebnisse in TCS in seinem Leben sehen / kennen wollte". Diese Art hat mich über die schönen Ergebnisse in diesem Bereich und damit die Motivation für die folgende...
Das Schöne an der Entwicklung in einem Universum mit drei räumlichen Dimensionen ist, dass wir Problemlösungsfähigkeiten für Objekte im Raum entwickelt haben. So können wir uns zum Beispiel ein Triplett von Zahlen als einen Punkt in 3D vorstellen und daher eine Berechnung über Tripletts von Zahlen...
Ich interessiere mich für Beispiele von Problemen, bei denen ein Satz, der scheinbar nichts mit Quantenmechanik / Information zu tun hat (zB Aussagen über rein klassische Objekte), dennoch mit Quantenwerkzeugen bewiesen werden kann. Eine Übersicht über Quantensätze für klassische Theoreme (A....
Ich bin ein Informatiker, der einen Kurs über Topologie belegt (eine Prise Punkt-Set-Topologie, die stark von der Kontinuum-Theorie beeinflusst ist). Ich habe mich für Entscheidungsprobleme interessiert, bei denen ich eine Beschreibung eines Raumes (durch Vereinfachungen) auf topologische...
Bearbeiten: Ich wähle die Antwort mit der höchsten Punktzahl bis zum 06. Dezember 2012. Das ist eine weiche Frage. Das Konzept der (deterministischen) Algorithmen geht auf BC zurück. Was ist mit den probabilistischen Algorithmen? In diesem Wiki-Eintrag wurde Rabins Algorithmus für das nächste...
In SAT-Solvern finden Sie häufig Schnittebenenmethoden, variable Propagierung, Branch-and-Bound, Klausellernen, intelligentes Backtracking oder sogar handgewebte menschliche Heuristiken. Doch seit Jahrzehnten verlassen sich die besten SAT-Löser stark auf Auflösungsprüftechniken und verwenden eine...
Dies ist meine erste Frage auf dem Cstheory-Stapel, sei also nicht zu unhöflich, wenn ich irgendwie gegen die Etikette verstoße. Wie wir wissen, machen in der Mathematik sogar berühmte Mathematiker, Superstars und Genies von Zeit zu Zeit schwere Fehler. Zum Beispiel liefern sowohl der 4-Farben-Satz...
Zu welchen fehlenden TCS-Themen auf Wikipedia möchten Sie am liebsten einen Artikel haben? Sie können auffällige Auslassungen sein oder nur Themen, von denen Sie denken, dass sie wirklich einen Artikel enthalten sollten. Bitte ein Thema pro Antwort, damit über die meistgesuchten abgestimmt werden...
Natürlich können einige Komplexitätsergebnisse für unäre Sprachen zusammenbrechen, aber ich frage mich, ob es in diesem Fall eine Umfrage gibt, die die bekannten Ergebnisse zusammenfasst: eine Art Komplexitätszoo für unäre Sprachen. Wussten Sie von einer solchen
Ich werde an meiner ersten Konferenz über Informatik teilnehmen und nachdem ich die Ratschläge zur Verbesserung von Konferenzen gelesen hatte , stellte ich fest, dass einige Vorschläge über Studenten kamen, die an ihrer ersten Konferenz teilnahmen. Welchen Rat haben Sie für einen Doktoranden, der...
Es besteht der Ruf, dass wir in der Informatik keine populärwissenschaftlichen Bücher haben. Das stimmt natürlich nicht wirklich! (Im gleichen Sinne der Liste Welche Bücher sollte jeder lesen ? , Welche Zeitungen sollte jeder lesen ? , Welche Videos sollte jeder sehen? Und inspiriert von einem...
Aus heutiger Sicht passt diese Frage nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich Debatten, Argumente, Abstimmungen oder erweiterte Diskussionen hervorrufen. Wenn Sie der Meinung...