| rdfs:comment
| - В теории сложности, QMA (от англ. Quantum Merlin Arthur) — это квантовый аналог NP в классической теории сложности и аналог MA в вероятностной. Он связан с BQP также, как NP связан с P, или MA связан с BPP. Неформально — это множество языков для принадлежности к которым есть полиномиальное квантовое доказательство, принимаемое полиномиальным по времени квантовым алгоритмом с высокой вероятностью. (ru)
- En teoria de la complexitat, la classe de complexitat QMA (Quantum Merlin Authur) és el conjunt dels problemes de decisió que una resposta SI es pot verificar per un prova quàntica interactiva d'un sol missatge en un temps polinòmic. Més formalment, un llenguatge L és a QMA(c,s) si existeix un verificador quàntic en temps polinòmic V i un polinomi p(x) tal que:
* , existeix un estat quàntic tal que la probabilitat que V accepti l'entrada és més gran que c.
* , per tots els estats quàntics la probabilitat que V accepti l'entrada és menor que s. (ca)
- In computational complexity theory, QMA, which stands for Quantum Merlin Arthur, is the set of languages for which, when a string is in the language, there is a polynomial-size quantum proof (a quantum state) that convinces a polynomial time quantum verifier (running on a quantum computer) of this fact with high probability. Moreover, when the string is not in the language, every polynomial-size quantum state is rejected by the verifier with high probability. (en)
- QMA, na teoria da complexidade, que vem de Quantum Merlin Arthur, é uma classe de complexidade análoga à classe NP ou à classe de complexidade probabilística MA. QMA está relacionada a BQP da mesma forma que NP se relaciona com P, ou MA se relaciona com BPP. QAM é uma classe de complexidade relacionada, na qual os personagens fictícios Arthur e Merlin realizam a seguinte seqüência: Arthur gera uma cadeia aleatória, Merlin responde com um certificado quântico e Arthur o verifica como uma máquina BQP. (pt)
|
| has abstract
| - En teoria de la complexitat, la classe de complexitat QMA (Quantum Merlin Authur) és el conjunt dels problemes de decisió que una resposta SI es pot verificar per un prova quàntica interactiva d'un sol missatge en un temps polinòmic. Més formalment, un llenguatge L és a QMA(c,s) si existeix un verificador quàntic en temps polinòmic V i un polinomi p(x) tal que:
* , existeix un estat quàntic tal que la probabilitat que V accepti l'entrada és més gran que c.
* , per tots els estats quàntics la probabilitat que V accepti l'entrada és menor que s. on té rang de tots els estats quàntics amb com a molt p(|x|) qubits. La definició de la classe QMA és defineix igual a . Tot i això, les constants no son gaire importants, ja que la classe no varia per qualsevol valor de c i s sempre que c > s. De fet, per dos polinomis qualsevol q(n) i r(n), es te: Un problema es diu que és QMA-hard, anàloga a NP-hard, si tot problema de QMA es pot reduir a ell. Un problema és a QMA-complet si és dins de QMU-hard i a QMA. (ca)
- In computational complexity theory, QMA, which stands for Quantum Merlin Arthur, is the set of languages for which, when a string is in the language, there is a polynomial-size quantum proof (a quantum state) that convinces a polynomial time quantum verifier (running on a quantum computer) of this fact with high probability. Moreover, when the string is not in the language, every polynomial-size quantum state is rejected by the verifier with high probability. The relationship between QMA and BQP is analogous to the relationship between complexity classes NP and P. It is also analogous to the relationship between the probabilistic complexity class MA and BPP. QAM is a related complexity class, in which fictional agents Arthur and Merlin carry out the sequence: Arthur generates a random string, Merlin answers with a quantum certificate and Arthur verifies it as a BQP machine. (en)
- QMA, na teoria da complexidade, que vem de Quantum Merlin Arthur, é uma classe de complexidade análoga à classe NP ou à classe de complexidade probabilística MA. QMA está relacionada a BQP da mesma forma que NP se relaciona com P, ou MA se relaciona com BPP. Informalmente, é um conjunto de problemas de decisão para os quais quando uma resposta é "sim", ele usa espaço da ordem de um polinomial em computador quântico que tem um verificador de ordem probabilística. Por outro lado, se a resposta for "não", cada máquina quântica de espaço polinomial é rejeita por um verificador de alta probabilidade.. Mais precisamente, as provas têm de ser verificáveis em tempo polinomial em um computador quântico, de tal forma que se a resposta for "sim", de fato, o verificador aceita uma prova correta com probabilidade superior a 2/3, e se a resposta for não, então não existe nenhuma prova de que o convence a aceitar o verificador com probabilidade maior do que 1/3. É comum as constantes de 2/3 e 1/3 serem alteradas. Alterando 2/3 para qualquer constante estritamente entre 1/2 e 1, e alterando a constante 1/3 para valores estritamente entre 0 e 1/2 , não se altere a classe QMA. QAM é uma classe de complexidade relacionada, na qual os personagens fictícios Arthur e Merlin realizam a seguinte seqüência: Arthur gera uma cadeia aleatória, Merlin responde com um certificado quântico e Arthur o verifica como uma máquina BQP. (pt)
- В теории сложности, QMA (от англ. Quantum Merlin Arthur) — это квантовый аналог NP в классической теории сложности и аналог MA в вероятностной. Он связан с BQP также, как NP связан с P, или MA связан с BPP. Неформально — это множество языков для принадлежности к которым есть полиномиальное квантовое доказательство, принимаемое полиномиальным по времени квантовым алгоритмом с высокой вероятностью. (ru)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)