Als «circuits» getaggte Fragen

Ein Berechnungsmodell, in dem die Berechnung über Schaltungen verschiedener Logikgatter beschrieben wird.

9
Warum ist Addition in modernen Prozessoren so schnell wie bitweise Operationen?
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 Dutzend bitweiser Operationen besteht, daher dachte …
1
Warum arbeiten alle neueren SAT-Solver mit CNF anstelle von Circuit SAT?
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 ausschließlich auf SMT oder der Verbesserung von klausalen SAT-Lösern liegt. Intuitiv erscheint …
1
So verstehen Sie den SR Latch
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 …
1
Warum sind P und P / Poly nicht trivial gleich?
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 ). Warum kann eine polynomgroße Schaltung nicht in Polynomzeit simuliert werden?
1
Tiefen-2-Schaltungen mit ODER- und MOD-Gattern sind nicht universell?
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 DNF-Darstellung von .ff:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff Ein anderer …
1
Erstellen größerer kontrollierter Nots aus einzelnen Qubit-, Toffoli- und CNOT-Gates ohne Arbeitsbereich
Ü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 herausgefunden, dass dies nicht klassisch möglich ist . Ich habe …
1
Kombinierte Logikschaltungen und Berechnungstheorie
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 implementieren können. Sie scheinen radikal anders zu sein: Finite-State-Maschinen haben jedoch einen …
3
Schaltungsgröße für "mindestens n Eingänge sind wahr"
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). Asymptotisch wie klein können Sie diese Schaltung machen?mmmnnnnnn …
1
Gewichtsannahme in Schwellwertschaltungen
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, x_2 \ldots, x_nw1x1+w2x2+…,wnxn≥tw1x1+w2x2+…,wnxn≥tw_1 x_1 + w_2 x_2 + \ldots, w_n x_n \ge tw1,…,wn,t∈Rw1,…,wn,t∈Rw_1, \ldots, w_n, t …
1
Die Auswirkungen der unteren Grenze der Schaltung sind eng
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 verschiedenen Schaltkreise. Siehe zum Beispiel diese Vorlesungsunterlagen . Ich glaube, …
1
Wie man die Schaltungsgröße mit der Laufzeit der Turingmaschine in Beziehung setzt
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 führt die Maschine einen Zähler aus, der nach den Schritten seine Ausführung stoppt . Wenn die Maschine …
2
Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung?
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 besagen, dass ein Protokoll (Kryptographieprotokolltheorie) jede …
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.