Als «circuit-complexity» getaggte Fragen

Schaltungskomplexität ist die Untersuchung von ressourcengebundenen Schaltungen und den von solchen Schaltungen berechneten Funktionen.

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- …
2
Ist PARITY in QAC_0 (wenn das überhaupt Sinn macht)
Wie allgemein bekannt ist, kann PARITÄT nicht in Schaltkreisen mit konstanter Tiefe in Polygröße durchgeführt werden, und tatsächlich erfordern Schaltkreise mit konstanter Tiefe die EXP-Anzahl von Gattern. Was ist mit QUANTUM-Schaltungen? a) Kann PARITÄT mit einer Quantenschaltung durchgeführt werden, die eine konstante Tiefe und Polyanzahl von Gattern hat? b) Ist …
2
Anzahl der Binärgatter, die benötigt werden, um UND und ODER von n Eingangsbits gleichzeitig zu berechnen
Wie viele binäre Gatter sind mindestens erforderlich, um UND und ODER von Eingangsbits gleichzeitig zu berechnen ? Die triviale Obergrenze ist . Ich glaube, das ist optimal, aber wie kann man das beweisen? Die Standard-Gate-Eliminierungstechnik funktioniert hier nicht, da durch Zuweisen einer Konstanten zu einer der Eingangsvariablen einer der Ausgänge …
5
Stärkere Vorstellungen von Uniformierungen?
Eine Lücke, die mir immer bewusst war und die ich nicht wirklich verstehe, ist die zwischen ungleichmäßiger und gleichmäßiger Rechenkomplexität, wobei die Schaltungskomplexität die ungleichmäßige Version darstellt und Turing-Maschinen dort, wo die Dinge gleichförmig sind. Ich nehme an, "Uniform" ist eine Möglichkeit, die Klasse der Algorithmen einzuschränken, z. B. eine …
3
Welche
Neil Immermans berühmtes Bild der Welt ist das folgende (zum Vergrößern klicken): Seine Klasse "Wirklich machbar" beinhaltet keine andere Klasse; meine frage ist dann: Was ist ein AC 0- Problem, das als unpraktisch angesehen wird, und warum?
1
Ist Dynamic Programming niemals schwächer als Greedy?
In der Schaltungskomplexität gibt es Trennungen zwischen den Leistungen verschiedener Schaltungsmodelle. In der Beweiskomplexität unterscheiden wir Potenzen verschiedener Beweissysteme. In der Algorithmik gibt es jedoch nur wenige Unterschiede zwischen den Potenzen algorithmischer Paradigmen . Meine folgenden Fragen zielen darauf ab, dieses letztere Problem für zwei Paradigmen zu berühren: Gierige und …
1
Gibt es Polynome, die schwer zu zählen, aber leicht zu entscheiden sind?
Jede monotone arithmetische Schaltung , dh eine -Schaltung, berechnet ein multivariates Polynom mit nichtnegativen ganzzahligen Koeffizienten. Bei einem Polynom ist die SchaltungF ( x 1 , … , x n ) f ( x 1 , … , x n ){+,×}{+,×}\{+,\times\}F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) berechnet wenn für alle ; F ( a ) …
1
Ist
Was passiert, wenn wir so definieren, dass anstelle einer Polytime-Turing-Maschine / Polysize-Schaltung eine Logspace-Turing-Maschine oder eine -Schaltung das Problem codiert?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} Kürzlich stellte sich heraus , dass es wichtig war, schnellere Algorithmen für die Schaltungserfüllbarkeit für kleine Schaltungen . frage ich mich, was mit den korrigierten Versionen von .PPADPPAD{\bf …
1
Charakterisierung von einmal lesbaren Formeln über die gesamte Binärbasis
Hintergrund Eine Read-Once-Formel über eine Reihe von Gattern (auch Basis genannt) ist eine Formel, in der jede Eingabevariable einmal vorkommt. Einmal-Lese-Formeln werden üblicherweise über die De Morgan-Basis (die die 2-Bit-Gatter AND und OR und das 1-Bit-Gatter NOT aufweist) und die vollständige Binärbasis (die alle 2-Bit-Gatter aufweist) untersucht. So kann zum …
1
Aufrechterhaltung der Reihenfolge in einer Liste in
Das Auftragspflegeproblem (oder "Auftrag in einer Liste pflegen") besteht darin, die folgenden Vorgänge zu unterstützen: singleton: Erstellt eine Liste mit einem Element und gibt einen Zeiger darauf zurück insertAfter: einen Zeiger auf ein Element gegeben, fügt ein neues Element danach ein und gibt einen Zeiger auf das neue Element zurück …
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.