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

Essa é uma "questão histórica" ​​mais do que uma questão de pesquisa, mas a redução clássica à busca de ordens no algoritmo de Shor para fatoração foi descoberta inicialmente por Peter Shor, ou era conhecida anteriormente? Existe um artigo que descreva a redução que antecede Shor, ou é simplesmente o …

79 quantum-computing  ho.history-overview  factoring 

À luz do anúncio do primeiro chip fotônico quântico programável do mundo , fiquei imaginando como seria um software para um computador que usa o emaranhamento quântico. Um dos primeiros programas que escrevi foi algo como for i = 1 to 10 print i next i Alguém pode dar um …

76 quantum-computing 

Em seu célebre artigo "Conjugate Coding" (escrito por volta de 1970), Stephen Wiesner propôs um esquema de dinheiro quântico que é incondicionalmente impossível de falsificar, assumindo que o banco emissor tenha acesso a uma tabela gigante de números aleatórios e que as notas possam ser trazidas de volta ao banco …

50 quantum-computing 

Parece claro que vários subcampos da ciência da computação teórica foram significativamente afetados pelos resultados da física teórica. Dois exemplos disso são Computação quântica Resultados de mecânica estatística utilizados em análise de complexidade / algoritmos heurísticos. Então, minha pergunta é: faltam áreas importantes? Minha motivação é muito simples: sou um …

42 soft-question  quantum-computing  statistical-physics  physics 

Como amador do TCS, estou lendo algum material popular e muito introdutório sobre computação quântica. Aqui estão alguns bits elementares de informações que aprendi até agora: Os computadores quânticos não são conhecidos por resolver problemas de NP-completos em tempo polinomial. "A magia quântica não será suficiente" (Bennett et al. 1997): …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

O problema central da teoria da complexidade é indiscutivelmente vs .PPPNPNPNP Entretanto, como a natureza é quântica, parece mais natural considerar as classes (ou seja, problemas de decisão solucionáveis ​​por um computador quântico em tempo polinomial, com uma probabilidade de erro de no máximo 1/3 para todas as instâncias) e …

33 cc.complexity-theory  complexity-classes  quantum-computing 

Ocasionalmente, ouvi pessoas falarem sobre algoritmos quânticos e sobre estados e a capacidade de considerar várias possibilidades ao mesmo tempo, mas nunca consegui alguém para explicar o modelo computacional por trás disso. Para ser claro, não estou perguntando como os computadores quânticos são fisicamente construídos, mas como vê-los do ponto …

32 quantum-computing  big-picture 

Não parece que isso seja conhecido - mas existem limites inferiores interessantes sobre a complexidade da multiplicação de matrizes no modelo de computação quântica? Temos alguma intuição de que possamos superar a complexidade do algoritmo Coppersmith-Winograd usando computadores quânticos?

30 reference-request  quantum-computing  matrix-product 

Algoritmos clássicos podem resolver 3-SAT em tempo (aleatório) ou tempo (determinístico). (Referência: Melhores limites superiores no SAT )1,3303 n1,3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Para comparação, o uso do algoritmo de Grover em um computador quântico procuraria e forneceria uma solução em , randomizada. (Isso ainda pode exigir um conhecimento de quantas soluções podem ou …

29 quantum-computing  sat  exp-time-algorithms 

Suponha que P = NP seja verdadeiro. Haveria alguma aplicação prática na construção de um computador quântico, como resolver certos problemas mais rapidamente, ou alguma melhoria seria irrelevante com base no fato de P = NP ser verdadeiro? Como você caracterizaria a melhoria da eficiência que aconteceria se um computador …

29 cc.complexity-theory  complexity-classes  quantum-computing 

Na complexidade computacional, existe uma distinção importante entre cálculos monótonos e gerais e um famoso teorema de Razborov afirma que 3-SAT e até MATCHING não são polinomiais no modelo monótono de circuitos booleanos. Minha pergunta é simples: existe um análogo quântico para circuitos monótonos (ou mais de um)? Existe um …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Estou interessado em exemplos de problemas em que um teorema que aparentemente não tem nada a ver com mecânica / informação quântica (por exemplo, afirma algo sobre objetos puramente clássicos) pode, no entanto, ser provado usando ferramentas quânticas. Uma pesquisa Quantum Proofs for The Classems Classical (A. Drucker, R. Wolf) …

27 quantum-computing  big-list  proofs 

Estou com um pequeno problema para entender completamente as etapas finais do algoritmo de fatoração de Shor. Dado um que queremos fatorar, escolhemos um aleatório com a ordem .NNNxxxrrr A primeira etapa envolve configurar os registros e aplicar o operador Hadamard. A segunda etapa é aplicado um operador linear. O …

27 quantum-computing 

Peter Shor mostrou que dois dos mais importantes problemas intermediários de NP, fatoração e o problema de log discreto, estão no BQP. Por outro lado, o algoritmo quântico mais conhecido para SAT (busca de Grover) produz apenas uma melhoria quadrática em relação ao algoritmo clássico, sugerindo que problemas de NP-completos …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

No modelo de caixa preta, o problema de determinar a saída de uma máquina BPP na entrada é o problema de contagem aproximado de determinar com erro aditivo 1/3 (digamos).M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) Existe um problema semelhante para o BQP? Este comentário de Ken …

27 cc.complexity-theory  quantum-computing  black-box