Perguntas com a marcação «quantum-computing»

9
Expressividade de expressões regulares modernas

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...

8
Velocidade do algoritmo de Shor

Sou um estudioso de ciência da computação e estou sendo solicitado a escrever um artigo que envolva fatoração de número inteiro. Como resultado, estou tendo que analisar o algoritmo de Shor em computadores quânticos. Para os outros algoritmos, consegui encontrar equações específicas para calcular...

8
é

Eu acho que essas duas classes devem ser as mesmas, mas não consigo encontrar nenhuma literatura sobre isso e tenho um conhecimento limitado sobre o assunto. Esse é o meu raciocínio, e eu gostaria de saber se (1) isso já é conhecido ou (2) eu entendi mal algo ou (3) acabei de descobrir algo...

7
Invariante para loop aninhado no programa de multiplicação de matrizes

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: 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...