Exemplos de uso de Teorema PCP em Português e suas traduções para o Inglês
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
O Teorema PCP diz que: NP PCP. .
The PCP theorem states that NP Consequentemente com o teorema PCP, é também APX-difícil.
Consequently with the PCP theorem, it is also APX-hard.O Teorema PCP diz que:: NP PCP"n", O1.
Formal statement==The PCP theorem states that: NP PCP"n", O1.Em 2005 Irit Dinur uma prova diferente do teorema PCP, usando grafo expansores.
In 2005 Irit Dinur discovered a different proof of the PCP theorem, using expander graphs.O teorema PCP provado em 1992 afirma quePCP"n", O(1) NP.
The PCP theorem proved in 1992 states that PCP"n", O(1) NP.Combinations with other parts of speech
Uso com adjetivos
teorema fundamental
último teoremao teorema fundamental
teorema binomial
teorema PCP
teoremas matemáticos
seguinte teorema
Mais
Uso com verbos
Pode-se concluir que, se este é válido para todos os problemas de NP-completos, então, o teorema PCP deve ser verdadeiro.
It can be concluded that if this holds for every NP-complete problem then the PCP theorem must be true.O teorema PCP, melhor resultado na teoria da complexidade computacional, afirma que PCP NP.
The PCP theorem, a major result in computational complexity theory, states that Este resultado abriu caminho para o célebre Teorema PCP, que pode ser considerado uma versão"em escala menor" deste teorema.
This result paved O teorema PCP e MIP NEXP pode ser caracterizado pelo seguinte: PCP NP(O teorema PCP) PCP PCP NEXP MIP NEXP.
The PCP theorem and MIP NEXP can be characterized as follows: O Prêmio Gödel de 2001 foi entregue a Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, eMario Szegedy pelo trabalho no teorema PCP e suas ligações com dificuldade de aproximação.
The 2001 Gödel Prize was awarded to Sanjeev Arora, Uriel Feige, Shafi Goldwasser, Carsten Lund, László Lovász, Rajeev Motwani, Shmuel Safra, Madhu Sudan, andMario Szegedy for work on the PCP theorem and its connection to hardness of approximation.Além disso, o Teorema PCP afirma que o número de acessos de prova pode ser trazido para baixo até chegar a uma constante.
Furthermore, the PCP theorem asserts that the number of proof accesses can be brought all the way down to a constant.Subsequentemente, o método usado nesse trabalho foi estendido por Babai, Fortnow, Levin, e Szegedy em 1991, Feige, Goldwasser, Lund, Safra, and Szegedy(1991), e Arora eSafra em 1992 para produzir a prova do teorema PCP por Arora, Lund, Motwani, Sudan, e Szegedy em 1992.
History after the first História==O Teorema PCP é a culminação de uma longa linha de trabalho em cima de prova interativas e provas checáveis probabilisticamente.
History==The PCP theorem is the culmination of a long line of work on interactive proofs and probabilistically checkable proofs.Subsequentemente, o método usado nesse trabalho foi estendido por Babai, Fortnow, Levin, e Szegedy em 1991(Babai et al. 1991), Feige, Goldwasser, Lund, Safra, and Szegedy(1991), e Arora e Safra em 1992(Arora& Safra 1998)para produzir a prova do teorema PCP por Arora, Lund, Motwani, Sudan, e Szegedy em 1992 Arora et al. 1998.
Subsequently, the methods used in this work were extended by Babai, Lance Fortnow, Levin, and Szegedy in 1991(Babai et al. 1991), Feige, Goldwasser, Lund, Safra, and Szegedy(1991), and Arora and Safra in 1992(Arora& Safra 1992)to yield a proof of the PCP theorem by Arora, Lund, Motwani, Sudan, and Szegedy in 1998 Arora et al. 1998.Antes que o teorema PCP fosse provado, Papadimitriou and Yannakakis mostraram que para alguma constante fixa B, o problema é MAX SNP-difícil.
Before the PCP theorem was proven, Papadimitriou and Yannakakis showed that for some fixed constant B, this problem is MAX SNP-hard.O teorema PCP e MIP NEXP pode ser caracterizado pelo seguinte:*PCP"n", O(1) NP(O teorema PCP)* PCP[ P(" n"), O(1)] PCP[P("n"), P("n")] NEXP MIP NEXP.
The PCP theorem and MIP NEXP can be characterized as follows:*PCP"n", O(1) NP(the PCP theorem)* PCP[ poly(" n"), O(1)] PCP[poly("n"), poly("n")] NEXP MIP NEXP.Dinur e Safra provaram, utilizando técnicas do teorema PCP, que a cobertura de vértices mínima não pode ser aproximada dentro de um fator de 1,3606 para qualquer grau de vértice suficientemente grande, a menos que P NP.
Using techniques from the PCP theorem, Dinur and Safra proved in 2005 that minimum vertex cover cannot be approximated within a factor of 1.3606 for any sufficiently large vertex degree unless P NP.O Teorema PCP é a ideia fundamental da teoria da dificuldade de aproximação computacional, que investiga a dificuldade inerente ao projeto eficiente de aloritmos de aproximação para vários problemas de otimização.
The PCP theorem is the cornerstone of the theory of computational hardness of approximation, which investigates the inherent difficulty in designing efficient approximation algorithms for various optimization problems.Uma formulação alternativa do teorema PCP diz que a fração máxima de restrições satisfatíveis de um problema de satisfatibilidade de restrições é NP-difícil aproximar dentro algum fator constante.
An alternative formulation of the PCP theorem states that the maximum fraction of satisfiable constraints of a constraint satisfaction problem is NP-hard to approximate within some constant factor.Na teoria da complexidade computacional, o Teorema PCP afirma que todo problema de decisão na classe de complexidade NP tem provas checáveis probabilisticamente(prova que pode ser checada por um algoritmo aleatorizado) de complexidade de busca constante e complexidade logarítmica de aleatoriedade usa um número logarítmico de bits aleatórios.
In computational complexity theory, Esses resultados são também chamados, algumas vezes, de teoremas PCP porque eles podem ser vistos como para NP com alguma estrutura adicional.
These results are sometimes also called PCP theorems because they can be viewed as probabilistically checkable proofs for NP with some additional structure.
