Stornierung und Determinante

9

Der Berkowitz-Algorithmus liefert eine Polynomgrößenschaltung mit logarithmischer Tiefe zur Determinante einer quadratischen Matrix unter Verwendung von Matrixleistungen. Der Algorithmus verwendet implizit die Löschung. Ist eine Aufhebung wesentlich, um eine Schaltung mit Polynomgröße mit logarithmischer oder linearer Tiefe zu erhalten, um die Determinante (und eine mögliche beste Schaltung für Permanent) zu berechnen? Gibt es für diese Probleme vollständig exponentielle (nicht nur superpolynomielle oder subexponentielle) Untergrenzen für diese Probleme unter Verwendung von Schaltungen ohne Aufhebung?

T ....
quelle
2
In einem intuitiven Sinne ist die Determinante ohne Stornierungen dieselbe wie die permanente
Sasho Nikolov

Antworten:

11

Ja, Stornierungen sind erforderlich und es gibt Untergrenzen für monotone und nicht kommutative Modelle, bei denen Stornierungen nicht möglich sind. Siehe Diskussion in monotonen Rechenschaltungen . Eine Übersicht über die Komplexität aritmetischer Schaltkreise finden Sie unter http://www.cs.technion.ac.il/~shpilka/publications/SY10.pdf

Noam
quelle
1
f=g1+g2fg1g2f=g1×g2g1g2. Die Untergrenze von Jerrum-Snir funktioniert, solange die Schaltung die Eigenschaft erfüllt, dass die formalen Monome der Wurzel gleich den Nicht-Null-Monomen des berechneten Polynoms sind.
Ramprasad