Theoretische Informatik

1

Alternative Beweise des Immerman-Szelepcsenyi-Theorems

Immerman und Szelepcsenyi bewiesen unabhängig voneinander, dass . Borodin et al. Haben mit ihrer Technik des induktiven Zählens bewiesen, dass S A C i unter Komplementation für i > 0 geschlossen ist . Vor dem Reingold Satz ( S L = L ), Nisan und Ta-Shma bewiesen S L = …

20 cc.complexity-theory space-bounded

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

2

Probleme zwischen NC und P: Wie viele wurden aus dieser Liste gelöst?

In der Arbeit "Ein Kompendium von Problemen, die für P vollständig sind" von Greenlaw, Hoover und Ruzzo (PS) (PDF) gibt es eine Liste von Problemen in P, von denen nicht bekannt ist, dass sie in NC vorliegen, und von denen auch nicht bekannt ist, dass sie P-vollständig sind . (Diese …

20 cc.complexity-theory open-problem circuit-complexity

5

Versionskontrolle für die Zusammenarbeit (mit Unterschieden auf Wortebene)?

Die meisten Artikel werden jetzt gemeinsam verfasst, und die Mitarbeiter befinden sich häufig an verschiedenen Orten. Ich habe immer Versionskontrollsysteme für meine Dokumente und meinen Code verwendet und auch die Versionskontrolle als kritisch für kollaborative Softwareprojekte eingestuft, aber es scheint, dass viele Forscher theoretisch davon absehen, gemeinsame Arbeiten zu schreiben. …

20 soft-question research-practice software writing

1

Haben alle Komplexitätsklassen eine Blattsprachcharakterisierung?

Blattsprachen sind eine schöne Möglichkeit, viele Komplexitätsklassen einheitlich zu definieren. Die meisten Komplexitätsklassen werden normalerweise durch ein Rechenmodell (z. B. deterministisches / randomisiertes TM) und eine Ressourcengrenze (logarithmische Zeit, Polyraum usw.) spezifiziert. In der Blattsprachenformulierung gibt es jedoch nur ein Berechnungsmodell, und die Klasse wird durch Angabe ihrer Blattsprache spezifiziert. …

20 cc.complexity-theory complexity-classes

2

Geschätzter Durchschnitt in Polynomialzeit

Sei eine Funktion. Wir wollen den Durchschnitt von f schätzen , das heißt: E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x ) .f: { 0 , 1 }n→ ( 2- n, 1 ]f:{0,1}n→(2−n,1]f \colon \lbrace …

20 ds.algorithms randomized-algorithms black-box

4

Positive topologische Reihenfolge, nehmen Sie 3

Angenommen, wir haben eine nx n-Matrix. Ist es möglich, die Zeilen und Spalten so neu anzuordnen, dass sich eine Matrix mit einem oberen Dreieck ergibt? Diese Frage ist durch das Problem motiviert: Positive topologische Ordnung Das ursprüngliche Entscheidungsproblem ist mindestens so schwer wie dieses, daher würde ein Ergebnis der NP-Vollständigkeit …

20 ds.algorithms np-hardness open-problem matrices

4

Gibt es ein Äquivalent zur Derandomisierung für Quantenalgorithmen?

Mit einigen randomisierten Algorithmen können Sie den Algorithmus derandomisieren, indem Sie (zu einem möglichen Preis in der Laufzeit) die Verwendung von Zufallsbits entfernen und eine Untergrenze für das Ziel maximieren (in der Regel unter Verwendung der Tatsache berechnet, dass die Theoreme die erwartete Leistung des Zufalls widerspiegeln Algorithmus). Gibt es …

20 derandomization quantum-computing

2

Prägnante Schaltungsdarstellung von Diagrammen

Die Komplexitätsklasse PPAD (zB Berechnung verschiedener Nash-Gleichgewichte) kann definiert werden als die Menge der Gesamtsuchprobleme, die polytime auf END OF THE LINE reduziert : ENDE DER LINIE : Wenn die Schaltungen S und P mit n Eingangsbits und n Ausgangsbits so gegeben sind, dass P (0 n ) = 0 …

20 reference-request combinatory-logic graph-theory ppad

3

Ist es schwierig, optimale Additionsketten zu finden?

Eine Additionskette ist eine Folge von positiven ganzen Zahlen wobei und jeder Index ist. Für einige Indizes gilt . Die Länge der Additionskette beträgt ; Das Ziel der Additionskette ist .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k …

20 reference-request np-hardness

2

-normkonservierende Turingmaschinen

Wenn ich einige aktuelle Threads zum Thema Quantencomputer ( hier , hier und hier ) lese, erinnere ich mich an eine interessante Frage zur Leistungsfähigkeit einer Art -norm preserving machine.ℓpℓp\ell_p Für Leute, die sich mit Komplexitätstheorie und Quantenkomplexität beschäftigen, ist Fortnows Artikel ein großartiger Einführungstext, der von Joshua Grochow hier …

20 cc.complexity-theory quantum-computing computability turing-machines norms

3

Weltraumgebundene TMs und Orakel

Im Allgemeinen zählt das Abfrageband für ein Orakel für die räumliche Komplexität eines TM. Es erscheint jedoch plausibel, nur ein beschreibbares Orakelband zuzulassen (wie es bei L-Platz-Verkleinerungen verwendet wird). Ist eine solche Konstruktion sinnvoll? Ergibt es irgendwelche besonders absurden Ergebnisse?

20 cc.complexity-theory space-bounded oracles

1

Erklären Sie Gurvits 'Tensor-Rank-Interpretation von Deolalikars Aufsatz

[Anmerkung: Ich glaube, dass diese Frage in keiner Weise von der Richtigkeit oder Unrichtigkeit von Deolalikars Papier abhängt.] Auf Scott Aaronson Blog Shtetl Optimized , in der Diskussion über Deolalikar jüngsten Versuch P vs NP, machte Leonid Gurvits den folgenden Kommentar : Ich habe versucht, den Ansatz zu verstehen / …

20 cc.complexity-theory lower-bounds tensor-rank

3

Sind rekursive Formen von Godels Aussage möglich?

Die Selbstreferenzialität des P / NP-Problems wurde manchmal als Hindernis für seine Lösung herausgestellt, siehe zum Beispiel Scott Aaronsons Artikel: Ist P vs. NP formal unabhängig ? Eine der vielen denkbaren Lösungen für P / NP wäre der Nachweis, dass das Problem formal unabhängig von ZFC oder wahr, aber nicht …

20 cc.complexity-theory lo.logic

3

Eigenschaftsprüfung in anderen Metriken?

Es gibt eine große Literatur über „Eigenschaft Test“ - das Problem der eine kleine Anzahl von Black - Box - Anfragen an eine Funktion zu machen zwischen zwei Fälle zu unterscheiden:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R ist ein Mitglied einer Funktionsklasse CfffCC\mathcal{C} ist ε -Far von jeder Funktion inKlasse C .fffεε\varepsilonCC\mathcal{C} Der Bereich …

20 reference-request lg.learning metrics property-testing black-box