Ich versuche derzeit, EXPSPACE-vollständige Probleme zu finden (hauptsächlich, um Inspiration für eine Reduzierung zu finden), und ich bin überrascht über die geringe Anzahl an Ergebnissen, die sich ergeben. Bisher habe ich diese gefunden, und ich habe Probleme, die Liste zu erweitern:...
Wo finde ich Diagramme, die für Probleme im wirklichen Leben relevant sind? Zwei mir bekannte Repositories sind: Sparse Matrix Collection der Universität Florida Bodlaenders TreewidthLib
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...
Dies ist in Anlehnung an " Algorithmen aus dem Buch ". Obwohl Reduktionen auch Algorithmen sind, hielt ich es für zweifelhaft, dass man sich eine Reduktion der Antwort auf die Frage nach Algorithmen aus dem Buch vorstellen würde. Daher eine separate Abfrage! Ermäßigungen aller Art sind herzlich...
Es gibt viele Stellen, an denen die Zahlen und angezeigt werden. Ich bin gespannt auf Algorithmen, deren Laufzeit den goldenen Schnitt oder im Exponenten
Ich suche nach Sprachen, die "wahrscheinlich nicht kontextfrei" sind, aber wir können sie mit bekannten Standardtechniken nicht (dis) beweisen. Gibt es eine aktuelle Umfrage zu diesem Thema oder einen offenen Problembereich einer aktuellen Konferenz? Wahrscheinlich gibt es nicht viele Sprachen, von...
Ich habe Jung ( http://jung.sourceforge.net/ ) verwendet, um den Seitenrang zu visualisieren, und fand es etwas langsam und schwierig, ihn über 100 Knoten hinaus zu skalieren. Ich habe mich gefragt, welche anderen Tools die Leute für die Analyse und Visualisierung von Netzwerken / sozialen...
In dieser Frage scheinen wir ein natürliches Problem identifiziert zu haben, das unter randomisierten Reduktionen NP-vollständig ist, möglicherweise jedoch nicht unter deterministischen Reduktionen (obwohl dies davon abhängt, welche unbewiesenen Annahmen in der Zahlentheorie zutreffen). Sind noch...
Verschlossen . Diese Frage und ihre Antworten sind gesperrt, da die Frage nicht zum Thema gehört, aber von historischer Bedeutung ist. Derzeit werden keine neuen Antworten oder Interaktionen akzeptiert. Welche Algorithmen werden am häufigsten verwendet? Bitte schreiben Sie einen Algorithmus pro...
Ich halte es für eine gute Idee, eine Liste von Theoremen zu erstellen, aus denen hervorgeht, dass P nicht gleich NP ist, wenn und nur wenn ein und derselbe existiert, eine Komplexitätsklasse in einer anderen Komplexitätsklasse enthalten ist und so weiter und so fort.
Ich habe noch nie einen Algorithmus mit einem Protokoll im Nenner gesehen und frage mich, ob es tatsächlich nützliche Algorithmen für dieses Formular gibt. Ich verstehe viele Dinge, die zur Multiplikation eines Protokollfaktors in der Laufzeit führen können, z. B. Sortier- oder baumbasierte...
Ich würde gerne wissen, ob es Vermutungen gegeben hat, die in TCS seit langem nicht mehr bewiesen wurden und die später durch eine Implikation aus einem anderen Theorem bewiesen wurden, was möglicherweise einfacher zu beweisen war.
Welche Universitäten haben einen starken Lehrplan für Quantencomputer und bieten irgendeine Art von Quantencomputer / Informationskursen / Forschung an? Das Ziel hier ist es, eine nützliche Liste für jemanden zu sammeln, der ein Studium in diesen Bereichen in Betracht zieht, und nicht zu...
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...
Was sind einige der Hauptprobleme in Bezug auf die Komplexität offener Berechnungen, die sich aus Programmiersprachen ergeben, insbesondere Programmanalyse und -kompilierung? Ich suche nach Problemen im Sinne der "Zeitkomplexität der Hindley-Milner-Typinferenz" oder der "Zeitkomplexität von 0CFA"...
Gibt es in der theoretischen Informatik Vermutungen, die einen Parameter n beinhalten und für kleine Werte von n UND für Primzahlen bewiesen wurden, sich aber später als falsch herausstellten? In der Zahlentheorie existieren solche Probleme, z. wie Aaron Meyerowitz auf die Koeffizienten der...
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...
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...
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...
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...