Als «quantum-computing» getaggte Fragen

Ein Rechenmodell, das auf quantenmechanischen Phänomenen wie Verschränkung und Überlagerung beruht. Dies verallgemeinert das probabilistische Berechnungsmodell.

2
Intuition hinter dem Hadamard-Tor
Ich versuche, mich selbst über Quantencomputer zu unterrichten, und ich habe ein anständiges Verständnis der linearen Algebra. Ich kam durch das NICHT-Tor, was nicht so schlimm war, aber dann kam ich zum Hadamard-Tor. Und ich blieb stecken. Hauptsächlich, weil ich die Manipulationen zwar "verstehe", aber nicht verstehe, was sie wirklich …
1
Ausdruckskraft moderner regulärer Ausdrücke
Ich habe kürzlich mit einem Freund über eine Website gesprochen, auf der Regex-Herausforderungen vorgeschlagen wurden, wobei hauptsächlich eine Gruppe von Wörtern mit einer speziellen Eigenschaft abgeglichen wurde. Er suchte nach einem regulären Ausdruck, der zu Zeichenfolgen passt, bei ||||||||denen die Anzahl der |Primzahlen ist. Ich sagte ihm sofort, dass dies …
2
Bedeutet dieser Artikel, dass Turing-Berechenbarkeit nicht dasselbe ist wie „effektiv berechenbar“?
Zunächst entschuldige ich mich, wenn dies gefragt wurde, aber ich habe wirklich nichts gefunden. Ich bin über diesen Artikel gestolpert . Es heißt, dass es ein Problem gibt, das nur Quantencomputer lösen können. Nach meinem Verständnis sollte dies intuitiv bedeuten, dass dieses Problem "effektiv berechenbar" ist, da wir eine effektive, …
2
Könnte ein Quantencomputer eine lineare Algebra schneller ausführen als ein klassischer Computer?
Angenommen, wir hätten einen Quantencomputer mit einer ausreichenden Anzahl von Qubits. Könnten wir damit die lineare Algebra schneller ausführen als mit einem klassischen Computer? Welche Art von Beschleunigung können wir erwarten? Hat jemand einen Quantenalgorithmus für die lineare Algebra erstellt und wie lange läuft er? Theoretisch ist eine Operation wie …
1
ist ?
Ich denke, dass diese beiden Klassen gleich sein sollten, aber ich kann keine Literatur dazu finden und habe einen begrenzten Hintergrund zu diesem Thema. Dies ist meine Argumentation, und ich würde gerne wissen, ob (1) dies bereits bekannt ist oder (2) ich etwas falsch verstanden habe oder (3) ich gerade …
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 …
2
Shors Algorithmusgeschwindigkeit
Ich bin ein junger Informatiker und werde gebeten, eine Arbeit zu schreiben, die eine ganzzahlige Faktorisierung beinhaltet. Daher muss ich mich mit Shors Algorithmus auf Quantencomputern befassen. Für die anderen Algorithmen konnte ich spezifische Gleichungen finden, um die Anzahl der Anweisungen des Algorithmus für eine bestimmte Eingabegröße zu berechnen (aus …
1
Gibt es Probleme, die beim Quantencomputing exponentielle Zeit erfordern?
Gibt es angesichts der Tatsache, dass die QBits Überlagerungen haben und im Vergleich zu Schaltkreisen eine höhere Repräsentationskraft haben, Probleme, die mindestens eine exponentielle Zeit erfordern, um eine Lösung mit einem Quantencomputer zu gewährleisten? Ich habe den Complexity Zoo überprüft und konnte dort keine Komplexitätsklasse finden, die dieser Beschreibung entspricht.
3
Welche Beziehung besteht zwischen P vs. NP und der Fähigkeit der Natur, NP-Probleme effizient zu lösen?
Ich habe darüber nachgedacht, wie die Natur lächerliche (dh NP) Probleme mit Leichtigkeit effizient berechnen kann. Zum Beispiel benötigt ein Quantensystem einen Elementvektor, um den Zustand darzustellen, wobei nur die Anzahl der Teilchen ist. Die Natur braucht keine zusätzliche Zeit, obwohl dieses Teilchen-System exponentiell "gelöst" wird.2n2n2^nnnnnnn Dies mag keine völlig …
2
Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
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.