Als «gct» getaggte Fragen

Geometrische Komplexitätstheorie

3
Wikipedia-artige Erklärung der Geometrischen Komplexitätstheorie
Kann jemand eine kurze Erklärung für Mulmuleys GCT-Ansatz liefern, die auch für Laien verständlich ist? Eine Erklärung, die für eine Wikipedia-Seite zum Thema geeignet wäre (die im Moment stumm ist). Motivation: Ich "lese" Scott Aaronsons Buch "Quantum Computing since Democritus" zusammen mit einem Freund von mir, der in der Stringtheorie …

2
Mulmuleys GCT-Programm
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 wird es lange dauern, bis die gewünschten Ergebnisse erzielt werden. Der …

1
Voraussetzung für das Erlernen von GCT
Es scheint, dass die Theorie der geometrischen Komplexität viel Wissen über reine Mathematik wie algebraische Geometrie und Darstellungstheorie erfordert. Während ich ein CS-Student bin und KEINEN sehr abstrakten und reinen Mathematikunterricht habe, interessiere ich mich für dieses Programm. Gibt es eine Liste mit "Mindestkenntnissen" zum Erlernen dieser Theorie? Diese Liste …

3
Ist
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 Skimming: Würde dies sofort bedeuten , …


3
Konstruktivität in natürlichem Beweis und geometrischer Komplexität
Kürzlich hat Ryan Willams bewiesen, dass Konstruktivität in natürlichem Beweis unvermeidbar ist, um eine Trennung der Komplexitätsklassen abzuleiten: und . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Die Konstruktivität in Natural Proof ist eine Bedingung, die alle kombinatorischen Beweise in auf die Schaltungskomplexität erfüllen, und dass wir durch einen ausgeführten …

4
Aufsätze zum Zusammenhang zwischen rechnerischer Komplexität und algebraischer Geometrie / Topologie?
Ich fragte mich, welche Papiere ich lesen sollte, um diese Frage zu verstehen Eine unerwartete Verbindung zu anderen Bereichen der Mathematik wie der algebraischen Geometrie oder der höheren Kohomologie. Vielleicht ist sogar ein Bereich der Mathematik noch nicht erschlossen. Vielleicht wird jemand eine ganz neue Richtung für die Mathematik entwickeln, …

2
Wie vermeidet der geometrische Ansatz von Mulmuley-Sohoni zur Erzeugung von Untergrenzen die Erzeugung natürlicher Beweise (im Sinne von Razborov-Rudich)?
Die genaue Formulierung des Titels stammt von Anand Kulkarni (der die Erstellung dieser Website vorgeschlagen hat). Diese Frage wurde als Beispielfrage gestellt, aber ich bin wahnsinnig neugierig. Ich weiß sehr wenig über algebraische Geometrie und verstehe die Hindernisse in der Frage P / Poly versus NP tatsächlich nur flüchtig. (Nicht …

2
Status der unteren Schaltkreisgrenzen für polylogbegrenzte Tiefenschaltungen
Die Schaltungskomplexität mit begrenzter Tiefe ist eines der Hauptforschungsgebiete der Schaltungskomplexitätstheorie. Dieses Thema hat Ursprünge in Ergebnissen wie "Die Paritätsfunktion befindet sich nicht in " und "Die Mod- Funktion wird nicht von berechnet ", wobei die Klasse ist von Sprachen, die durch ungleichmäßige, konstante Tiefe, Polynomgröße, unbegrenzte Fan-In-AND-, OR-, NOT- …

1
Noethers Normalisierungslemma für endliche Felder
Meine Frage bezieht sich auf die Sätze 4.1 und 4.2 in "Geometric Complexity Theory V" . Der erste Satz besagt, dass es einen EXPSPACE- Algorithmus zum Konstruieren von hsop für (siehe Definitionen in der Arbeit) auf (tatsächlich auf einem beliebigen algebraisch geschlossenen Feld des Merkmals Null) ).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} Der zweite liefert …
9 gct 

2
Nachauswahl in der geometrischen Komplexitätstheorie
Kontext: Soweit ich weiß, dient in der Theorie der geometrischen Komplexität das Vorhandensein von Hindernissen sozusagen als Nachweis für das Nichtvorhandensein einer effizienten Rechenschaltung für die explizite harte Funktion im betrachteten Problem der unteren Grenze. Nun gibt es einige andere Annahmen für Hindernisse, dass sie kurz, leicht zu überprüfen und …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.