Es wird manchmal behauptet, dass Ketan Mulmuleys geometrische Komplexitätstheorie das einzige plausible Programm ist, um die offenen Fragen der Komplexitätstheorie wie die P vs. NP-Frage zu klären. Es gab mehrere positive Kommentare von berühmten Komplexitätstheoretikern zum Programm. Laut Mulmuley...
Soweit ich weiß, versucht das Programm der geometrischen Komplexitätstheorie, zu trennen, indem es beweist, dass das Permament einer komplexwertigen Matrix viel schwerer zu berechnen ist als die Determinante.VP≠ VNPVP≠VNPVP \neq VNP Die Frage , die ich hatte , nachdem sie durch das GCT Paper...
Im Allgemeinen wissen wir, dass die Komplexität des Testens, ob eine Funktion an einem bestimmten Eingang einen bestimmten Wert annimmt, einfacher ist als die Bewertung der Funktion an diesem Eingang. Beispielsweise: Das Auswerten der bleibenden Zahl einer nichtnegativen Ganzzahlmatrix ist #...
Sei eine feste positive ganze Zahl der Größe Bits.AAAnnn Man darf diese ganze Zahl entsprechend vorverarbeiten. Wie komplex ist die Multiplikation anderen positiven ganzen Zahl einer Größe von Bits ?BBBmmmABABAB Beachten Sie, dass wir bereits -Algorithmen haben. Die Frage hier ist, ob wir von etwas...
Kürzlich habe ich mehrere Artikel über arxiv gesehen, die sich auf ein Beweissystem beziehen, das als Quadratsumme bezeichnet wird. Kann jemand erklären, was ein Quadratsummenbeweis ist und warum solche Beweise wichtig / interessant sind? In welcher Beziehung stehen sie zu anderen algebraischen...
Kategorietheorie und abstrakte Algebra befassen sich mit der Art und Weise, wie Funktionen mit anderen Funktionen kombiniert werden können. Die Komplexitätstheorie befasst sich damit, wie schwer eine Funktion zu berechnen ist. Es ist seltsam für mich, dass ich niemanden gesehen habe, der diese...
Beim Lesen einer Abhandlung über die Verwendung algebraischer Methoden zur Erkennung einiger induzierter Teilgraphen scheint das Kantenideal ein wichtiges Werkzeug zu sein, das kommutative Algebra und Graphentheorie verbindet. Gibt es gute Referenzen oder Bücher zu diesem Thema, da ich mit...
Diese Frage kann entweder im Rahmen der Schaltungskomplexität von Booleschen Schaltungen oder im Rahmen der algebraischen Komplexitätstheorie oder wahrscheinlich in vielen anderen Situationen gestellt werden. Durch Zählen der Argumente kann leicht gezeigt werden, dass es boolesche Funktionen für N...
Viele Kryptosysteme mit öffentlichem Schlüssel weisen eine nachweisbare Sicherheit auf. Zum Beispiel ist das Rabin-Kryptosystem nachweislich so hart wie Factoring. Ich frage mich, ob es für Kryptosysteme mit geheimen Schlüsseln wie AES eine solche nachweisbare Sicherheit gibt. Wenn nicht, was ist...
Ich möchte etwas über algebraische Algorithmen und Komplexität lernen. Insbesondere interessiere ich mich für PIT. Gibt es eine Reihe von Vorlesungsskripten, Büchern, Artikeln und Umfragen für Studenten, die ein Standardlehrbuch über Theorie wie Sipsers Buch oder das Komplexitätslehrbuch von...
BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} ( min , + )(max,+)(max,+)(\max,+)(min,+)(Mindest,+)(\min,+) Sei ein Semiring. Ein Nullmuster einer Folge von Polynomen in ist eine Teilmenge für die existiert. und , so dass für alle , iff . Das heißt, die Graphen genau jener Polynome mit müssen...
Die kleinste bekannte Formel für die Determinante hat die Größe gemäß der Folklore (oder laut Ran Raz in seiner Arbeit Multi-Lineare Formeln für Permanent und Determinante haben die Größe Super-Polynom ).nO(logn)nO(logn)n^{\mathcal O(\log n)} Haben Sie eine Referenz dafür? Was ist diese Formel im...
Die Gaußsche Eliminierung macht die Determinante einer Matrixpolynomzeit berechenbar. Die Verringerung der Komplexität bei der Berechnung der Determinante, die ansonsten die Summe der Exponentialausdrücke ist, beruht auf dem Vorhandensein alternativer negativer Vorzeichen (deren Fehlen die...
Cohn, Kleinberg, Szegedy und Umans stellen in ihrer bahnbrechenden Arbeit Gruppentheoretische Algorithmen für Matrixmultiplikationen das Konzept des einzigartig lösbaren Puzzles (unten definiert) und der USP-Kapazität vor. Sie behaupten , dass Copper und Winograd, in ihrem eigenen wegweisenden...
Ein Hauptproblem bei TCS ist das Problem, eine bleibende Karte als Determinante auszudrücken. Ich habe Agrawals Artikel Determinant Versus Permanent gelesen und in einem Absatz behauptet er, das umgekehrte Problem sei einfach. Es ist leicht zu erkennen, dass die Determinante einer Matrix als die...
In dem berühmten Gegenbeispiel zur Graphisomorphie nach Weisfeiler-Lehman (WL) wurde das folgende Gadget in dieser Arbeit von Cai, Furer und Immerman konstruiert . Sie konstruieren einen Graphen Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) gegeben durch
Durch Zählen Argumente, kann man zeigen , dass es existiert Polynome vom Grad n in 1 Variable ( das heißt, etwas von der Form , die Schaltungskomplexität hat n. Man kann auch zeigen, dass ein Polynom wie x n mindestens log 2 n Multiplikationen benötigt (Sie brauchen das nur, um einen ausreichend...
Sei ein Feld. Wie üblich definieren wir für f ∈ k [ x 1 , x 2 , … , x n ] L ( f ) als die geradlinige Komplexität von f über k . Sei F die Menge der Monome von f , nämlich die Monome, die in f mit einem Koeffizienten ungleich Null erscheinen.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in...
Ich versuche die Beziehung zwischen algorithmischer Komplexität und Schaltungskomplexität von Determinanten und Matrixmultiplikation zu verstehen. Es ist bekannt, dass die Determinante einer Matrix in ˜ O ( M ( n ) ) -Zeit berechnet werden kann , wobei M ( n ) die minimale Zeit ist, die...
Die Moore-Matrix ähnelt der Vandermonde-Matrix, hat jedoch eine leicht modifizierte Definition. http://en.wikipedia.org/wiki/Moore_matrix Was ist die Komplexität der Berechnung der Determinante einer gegebenen vollen Rang-Moore-Matrix modulo einer ganzen Zahl?n×nn×nn \times n Kann die...