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

Eu sou um estudante iniciante em CS e estou aprendendo algoritmos. Ouvi dizer que, mesmo com computadores quânticos, esses algoritmos de classificação geral nunca podem ter tempo melhor que . No entanto, eu também sei que algoritmos de fatoração seriam muito mais rápidos. Em termos gerais, que tipo de algoritmos …

11 algorithms  quantum-computing 

Disseram-me que os computadores quânticos não são computacionalmente mais poderosos que as máquinas de Turing. Alguém poderia gentilmente ajudar a fornecer algumas referências da literatura que explicassem esse fato?

11 computability  reference-request  turing-machines  quantum-computing 

Estou tentando me ensinar sobre computação quântica e tenho uma compreensão decente da álgebra linear. Passei pelo portão NÃO, o que não era muito ruim, mas depois cheguei ao portão Hadamard. E eu fiquei preso. Principalmente porque, embora eu "entenda" as manipulações, não entendo o que elas realmente fazem ou …

10 logic  quantum-computing 

Haverá necessidade de alterar as definições de segurança se tivermos computadores quânticos? Que construções criptográficas irão quebrar? Você conhece uma pesquisa ou um artigo que explica o que será necessário mudar?

10 reference-request  cryptography  quantum-computing 

Uma matriz não gate controlada é assim: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[10 00 00 00 010 00 00 00 00 010 00 010 0]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & …

9 quantum-computing 

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 ele que nunca funcionaria, porque …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Antes de tudo, peço desculpas se isso foi solicitado, mas realmente não encontrei nada. Eu tropecei neste artigo . Ele diz que há um problema que apenas a Quantum Computers pode resolver. No meu entendimento, isso deve significar, intuitivamente, que esse problema é "efetivamente computável", pois temos um método real …

8 turing-machines  quantum-computing  church-turing-thesis 

Supondo que tivéssemos um computador quântico com um número suficiente de qubits, poderíamos usá-lo para fazer álgebra linear mais rápido do que com um computador clássico? Que tipo de aceleração poderíamos esperar? Alguém já criou um algoritmo quântico para álgebra linear e qual é o tempo de execução? Em teoria, …

8 time-complexity  quantum-computing  linear-algebra 

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) …

8 complexity-theory  complexity-classes  quantum-computing 

O Exercício 4.29 de Computação Quântica e Informação Quântica de Nielsen e Chuang me deixou perplexo. Encontre um circuito contendo O (n2)O(n2)O(n^2) Toffoli, CNOT e portas de qubit único que implementam uma Cn( X)Cn(X)C^n(X) portão (para n > 3n>3n > 3), sem qubits de trabalho. Eu descobri que isso não …

8 quantum-computing  circuits 

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 o número de instruções do algoritmo …

8 time-complexity  quantum-computing  factoring 

Dado o fato de os qbits terem superposições e maior poder representacional em relação aos circuitos, existem problemas que requerem pelo menos tempo exponencial para garantir uma solução com um computador quântico? Eu verifiquei o Complexity Zoo e não consegui encontrar nenhuma classe de complexidade mencionada lá que se encaixa …

8 complexity-theory  quantum-computing 

Eu li que computadores quânticos podem resolver 'certos problemas' exponencialmente melhor do que computadores clássicos. Como eu acho que entendo, NÃO é o mesmo dizer que computadores quânticos pegam quaisquer problemas EXPTIME-complete, 2-EXPTIME, ... e os convertem em tempo linear ou tempo constante. Eu gostaria de saber algo mais sobre …

7 complexity-theory  time-complexity  quantum-computing 

Eu estava pensando em como a natureza pode calcular com eficiência problemas ridículos (ou seja, PN) com facilidade. Por exemplo, um sistema quântico requer um vetor de elemento para representar o estado, onde é apenas o número de partículas. A natureza não precisa de mais tempo, apesar da natureza exponencial …

7 complexity-theory  quantum-computing 

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) + …

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