Theoretische Informatik big-list

5

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: Universalität (oder andere Eigenschaften) von regulären Ausdrücken mit Potenzierung. …

23 cc.complexity-theory reference-request big-list

4

Größere ungelöste Probleme in verteilten Systemen?

Inspiriert von dieser Frage , was sind die Hauptprobleme und bestehenden Lösungen, die im Bereich (theoretischer) verteilter Systeme verbessert werden müssen. So etwas wie Mitgliedschaftsprotokolle, Datenkonsistenz?

23 big-list dc.distributed-comp

1

Schwerwiegende Fehler in akzeptierten FOCS / STOC-Papieren [geschlossen]

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 sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden …

23 soft-question big-list paper-review

8

Grafiken aus dem realen Leben Probleme

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

23 graph-theory big-list co.combinatorics data-sets

9

Auszüge aus dem Buch.

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 willkommen. Ich beginne …

22 ds.algorithms np-hardness big-list reductions

2

Sprachen, die wir nicht als kontextfrei (dis) beweisen können

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 denen nicht bekannt ist, dass sie CF sind. Wenn …

21 reference-request big-list context-free

7

Goldener Schnitt oder Pi in der Laufzeit

Es gibt viele Stellen, an denen die Zahlen und angezeigt werden. Ich bin gespannt auf Algorithmen, deren Laufzeit den goldenen Schnitt oder im Exponenten enthält.ππ\pi(1+5–√)/2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request big-list

3

Probleme, die unter randomisierten oder P / Poly-Reduktionen NP-vollständig sind.

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 andere Probleme bekannt? Gibt es irgendwelche natürlichen Probleme, die unter P / Poly-Reduktionen NP-vollständig …

20 cc.complexity-theory np-hardness big-list randomness reductions

6

Visualisierungstools für die Analyse von Netzwerken / sozialen Netzwerken?

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 Netzwerken verwenden.

20 graph-theory big-list cg.comp-geom software graph-drawing

22

Welche Algorithmen werden in der Praxis am häufigsten verwendet?

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 Antwort und versuchen Sie, Ihre Antwort kurz zu halten …

19 ds.algorithms big-list

2

Langjährige Vermutungen wurden später trivial durch eine Implikation bewiesen

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.

18 reference-request soft-question big-list

11

Gibt es irgendwelche Probleme, deren bekanntester Algorithmus die Laufzeit hat?

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 Algorithmen, aber was kann dazu führen, dass …

18 ds.algorithms big-list time-complexity

4

Liste von Theoremen, die besagen, dass P genau dann nicht gleich NP ist, wenn

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.

18 cc.complexity-theory big-list p-vs-np

7

Hochschulen für Quantencomputing / Information?

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 diskutieren, welches "am besten" ist. Um diese …

18 soft-question quantum-computing big-list quantum-information

1

Liste der (ungelösten) Komplexitätsprobleme, die sich aus PL ergeben

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" (obwohl beide Probleme gelöst sind).

17 cc.complexity-theory pl.programming-languages big-list open-problem

Als «big-list» getaggte Fragen