Ein Berechnungsmodell, in dem die Berechnung über Schaltungen verschiedener Logikgatter beschrieben wird.
Ich weiß, dass bitweise Operationen auf modernen Prozessoren so schnell sind, weil sie parallel mit 32 oder 64 Bits arbeiten können, sodass bitweise Operationen nur einen Taktzyklus benötigen. Die Addition ist jedoch eine komplexe Operation, die aus mindestens einer und möglicherweise bis zu einem...
In Bezug auf das Quantentoffoli- Tor : ist es klassisch universell und wenn ja, warum? ist es quantenuniversal und warum?
Nach der Veröffentlichung der AIGER-Bibliothek, um irgendwann im Jahr 2006 Graphen zu verarbeiten und umzuwandeln (glaube ich), wurden 2006-2008 einige Schaltkreis-SAT-Solver veröffentlicht, und in einigen SAT-Rennen / Wettbewerben gab es AIG-Strecken. Es scheint jedoch, dass der Fokus seitdem...
Ich weiß, dass NAND-Gatter verwendet werden können, um Schaltkreise zu erstellen, die jede Wahrheitstabelle implementieren, und moderne Computer bestehen aus NAND-Gattern. Was ist der theoretische Zusammenhang zwischen NAND-Gattern und Turing-Vollständigkeit? Es scheint mir, dass...
Zum Beispiel weiß ich, dass die nicht reguläre Sprache anbnanbna^nb^n in AC0AC0AC^0 . Ich würde gerne weitere Beispiele wie dieses
Die Definition von P ist eine Sprache, die durch einen Polynomzeitalgorithmus bestimmt werden kann. Unter der Definition von P / Poly kann eine Sprache verstanden werden, die von einer Schaltung mit Polynomgröße bestimmt werden kann (siehe http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf )....
Ich kann mich nicht darum kümmern, wie der SR Latch funktioniert. Scheinbar stecken Sie eine Eingangsleitung von R und eine andere von S, und Sie sollen Ergebnisse in und .QQQQ′Q′Q' Sowohl R als auch S erfordern jedoch eine Eingabe vom Ausgang des anderen, und der Ausgang des anderen erfordert eine...
Es ist bekannt, dass jede Boolesche Funktion unter Verwendung einer Booleschen Schaltung der Tiefe 2 (über die Variablen, ihre Negation und konstanten Werte) realisiert werden kann. Enthält UND-Gatter in der ersten Ebene und ein einzelnes ODER-Gatter in der oberen Ebene; Dies ist einfach die...
Ich versuche, kombinatorische Logikschaltungen (Computer, die nur auf logischen Gattern basieren) mit allem zu verknüpfen, was ich kürzlich in Theory of Computation gelernt habe. Ich habe mich gefragt, ob kombinatorische Logikschaltungen Berechnungen auf die gleiche Weise wie Finite-State-Maschinen...
Übung 4.29 aus Quantenberechnung und Quanteninformation von Nielsen und Chuang hat mich verblüfft. Suchen Sie eine Schaltung mit Toffoli-, CNOT- und Einzel-Qubit-Gattern, die ein -Gatter (für ) ohne Arbeits-Qubits implementiert .O ( n2)Ö(n2)O(n^2)C.n( X.)C.n(X.)C^n(X)n > 3n>3n > 3 Ich habe...
Nach dem, was ich verstanden habe: Ein Flip Flop ist ein getakteter Latch, dh Flip Flop = Latch + Clock Latch sucht kontinuierlich nach Eingaben und ändert die Ausgabe, wenn sich die Eingabe ändert Flip Flop überprüft auch kontinuierlich die Eingabe, ändert jedoch die durch die Uhr bestimmte...
Das Testen der Polynomidentität ist das Standardbeispiel für ein Problem, von dem bekannt ist, dass es in Co-RP, aber nicht in P vorliegt . Über arithmetische Schaltungen scheint es in der Tat schwierig zu sein, da der Grad des Polynoms durch wiederholtes Quadrieren exponentiell groß gemacht werden...
Ein Schwellenwertgatter, das eine lineare Schwellenwertfunktion an booleschen Eingängen implementiert ist durch die Gleichung gegeben: wobei . Die werden als Gewichte der Schwellenwertfunktion bezeichnet, und wird als Schwellenwert bezeichnet, und natürlich das Gate einennnx1,x2…,xnx1,x2…,xnx_1,...
Angenommen, Sie haben boolesche Eingaben und erhalten einen Schwellenwert . Sie müssen eine boolesche Schaltung erstellen, die als wahr ausgewertet wird, wenn mindestens der Eingänge wahr sind. Sie können AND-, OR-, NOT- oder XOR-Gatter verwenden (beschränkt auf Fan-In 2 mit willkürlichem Fan-Out)....
Es gibt ein grundlegendes Ergebnis in der Schaltungskomplexität, das besagt: Es gibt eine Sprache, die mit Schaltkreisen der Größe nicht gelöst werden kann .o(2nn)o(2nn)o(\frac{2^n}{n}) Das Argument ist ein einfaches Zählargument für die Anzahl der Booleschen Funktionen und die Anzahl der...
Von http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Definieren, M.[ x , c ]M[x,c]M_{[x,c]} als deterministische Turingmaschine, die an einer Eingabe wie folgt arbeitet yyy. Die Maschine behandelt als deterministisches Programm und simuliert bei Eingabe von . Gleichzeitig...
Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung? Ich habe versucht, mich mit der obigen Aussage zu beschäftigen, aber kein Gegenbeispiel gefunden, obwohl ich glaube, dass die Aussage falsch ist. Was mich neugierig gemacht hat, ist, dass ich einige Theoreme gelesen habe, die...