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,...
Meine erste Frage ist, ob für alle klassischen Komplexitätsklassen eine interaktive Proofsystemcharakterisierung bekannt ist. Ich würde unter anderem P, NP, PSPACE, EXP, NEXP, EXPSPACE, rekursive und rekursiv aufzählbare Funktionen als klassisch bezeichnen. Speziell, ist eine interaktive...
Eine funktionale Sprache kann als eine Kategorie angesehen werden, in der ihre Objekte Typen sind und Morphismen zwischen ihnen funktionieren. Wie passen Typklassen in dieses Modell? Ich gehe davon aus, dass wir nur die Implementierungen berücksichtigen sollten, die die Bedingungen der meisten...
Ergebnis 1: Das Linial-Mansour-Nisan-Theorem besagt, dass das der von den Schaltkreisen berechneten Funktionen sich mit hoher Wahrscheinlichkeit auf die kleinen Teilmengen konzentriert.A C0EINC0\mathsf{AC}^0 Ergebnis 2: Das konzentriert sich auf den des Grades .P A R I T
Ich interessiere mich für Graphen auf nnn Eckpunkten, die nach folgendem Verfahren erzeugt werden können. Beginnen Sie mit einem beliebigen Graphen auf k ≤ n Ecken. Beschriften Sie alle Eckpunkte in G als nicht verwendet .GGGk ≤ nk≤nk\le nGGG Erstellen Sie einen neuen Graphen indem Sie einen neuen...
GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht....
Ich erinnere mich an eine Studie oder einen Artikel vor einiger Zeit, in dem behauptet wurde, dass der größte Teil der in Computerprogrammen in den letzten Jahrzehnten beobachteten Beschleunigung auf besseren Algorithmen und nicht auf schnellerer Hardware beruht. Kennt jemand die Studie oder den...
Ich lese " Verkettung regulärer Sprachen und Beschreibungskomplexität " von Galina Jiraskova, 2009, über die Zustandskomplexität infolge der Verkettung zweier regulärer Sprachen (von Galina Jiraskova), kann aber die praktischen Auswirkungen der Zustandskomplexität nicht verstehen . Der erste...
Welche Komplexitätsklasse ist mit umfassenden Suchalgorithmen verbunden? (wenn es einen gibt) Ist es NP oder PSPACE? Gibt es eingeschränkte Berechnungsmodelle, die die Klasse der umfassenden Suchalgorithmen erfassen, ähnlich den Modellen für gieriges und dynamisches
Betrachte den dimensionalen Raum und sei eine lineare Beschränkung der Form , wobei , und .{ 0 , 1 } n c ein 1 x 1 + ein 2 x 2 + ein 3 x 3 + . . . + a n - 1 x n - 1 + a n x n ≥ k a i ≤ R x i ≤ { 0 , 1 } k ≤
In der Arbeit Randomized Primal-Dual-Analyse von RANKING für Online Bipartite Matching zeigen die Autoren, dass der RANKING- Algorithmus -kompetitiv ist Erwartung (siehe Lemma 3 auf Seite 5). Meine Frage ist:( 1 - 1e)(1-1e)\left(1 - \frac{1}{e}\right) Reicht es aus, wenn lineare
Ein beliebtes Spiel bei Weihnachtsfeiern in Nordamerika ist die Geschenkbörse für weiße Elefanten . In Kürze (Variationen ignorieren) funktioniert es wie folgt: Es gibt Leute und n verpackte Geschenke. Die Reihenfolge der Spieler ist beliebig. Im i - ten Runde, Spieler i
Gegeben als Eingabe eine ganze Zahl nnn und ein Satz SSS von Sätzen von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} , was die Komplexität einen Satz zu finden , TTT von Elementen von {1,...,n}{1,...,n}\{1, ..., n\} so, dass TTT eine minimale Kardinalität hat und TTT in keiner der Mengen von SSS ?...
Als Informatikstudent bin ich in die Spieltheorie eingeführt worden, habe aber nicht viele Details zu diesem Thema gesehen. Ich habe bei Google nach Büchern über Spieltheorie gesucht und sie bestätigten deren Verwendung in der Informatik. Ich habe ein formales Studium der Spieltheorie aus der Sicht...
Es ist bekannt, dass kein deterministisches Zwei-Parteien-Protokoll das Disjointness-Problem (DISJ) an Bit-Eingängen lösen kann, ohne im schlimmsten Fall Bits zu senden (siehe z. B. das Buch von Kushilevitz und Nisan). Für begrenzte Fehlerprotokoll randomisiert, unterer A gebundenen für eine...
In ihrer Arbeit Approximate Distance Oracles zeigten Thorup und Zwick, dass es möglich ist, für jeden gewichteten ungerichteten Graphen eine Datenstruktur der Größe zu konstruieren , die ein ( 2 k - 1 ) -Näherungswert liefert Abstand zwischen zwei Scheitelpunkten im Diagramm.O ( k n1 + 1 /...
Aus den Kommentaren zu einer meiner Fragen zu MathOverflow habe ich das Gefühl, dass die Frage, ob GCD in vs. P ist, mit der Frage verwandt ist, ob Integer Factorization in P vs. N P ist .N CNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}N PNP\mathsf{NP} Gibt es so etwas wie einen "Quantum " -Algorithmus für...
Die längste Zeit habe ich gedacht, dass ein Problem NP-vollständig ist, wenn es sowohl (1) NP-schwer als auch (2) NP ist. In der berühmten Veröffentlichung "Die Ellipsoidmethode und ihre Konsequenzen für die kombinatorische Optimierung" behaupten die Autoren jedoch, dass das Problem der...
Diese Frage stellte Jan Pax auf der Mailingliste Foundations of Mathematics . Sicherlich P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} aber ich vermute , aus den Antworten auf diese Frage , dass es nicht bekannt , ob ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP (sonst PPPPPP wäre eine mögliche...
Alice und Bob haben n-Bit-Zeichenfolgen und möchten herausfinden, ob sie gleich sind, während sie wenig kommunizieren. Die randomisierte Standardlösung besteht darin, die n-Bit-Zeichenfolgen als Polynome des Grades und dann die Polynome über einige zufällig ausgewählte Elemente aus einem Feld mit...