Als «quantum-computing» getaggte Fragen

9
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...

8
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...

8
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...

7
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...