Examples of using Schaefer in Portuguese and their translations into English
{-}
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
De fato, para essas duas variantes de SAT, o teorema da dicotomia de Schaefer mostra que suas versões monótonas(onde negações de variáveis não são permitidas) também são NP-completas.
In fact, for these two variants of SAT, Schaefer's dichotomy theorem shows that their monotone versions(where negations of variables are not allowed) are also NP-complete.O Teorema da dicotomia de Schaefer lida com o caso em que todas as relações disponíveis são operadores booleanos cujo domínio tem tamanho 2.
Schaefer's dichotomy theorem handles the case when all the available relations are Boolean operators, that is, for domain size 2.Para o teorema da dicotomia de Schaefer, o conceito mais importante na álgebra universal é o do polimorfismo.
For Schaefer's dichotomy theorem, the most important concept in universal algebra is that of a polymorphism.Alguns dos partidários de Schaefer foram derrubando cadeiras,
Some of Schaefer's supporters were upending chairs,O conselho de Schaefer apelou com sucesso em junho passado,
Schaefer's counsel successfully appealed last June,Uma apresentação moderna e ampla do teorema da dicotomia de Schaefer é dada numa carta expositória por Hubie Chen.
A modern, streamlined presentation of Schaefer's theorem is given in an expository paper by Hubie Chen.Casos especias do teorema da dicotomia de Schaefer incluem a NP-completude de SAT(o problema da satisfatibilidade Booleana)
Special cases of Schaefer's dichotomy theorem include the NP-completeness of SAT(the Boolean satisfiability problem)um golpe caro para a carreira de Schaefer, o filme é finalmente lançado.
a costly blow to Schaefer's career, the film is finally released.para finalmente decidir o destino de Schaefer.
to finally decide Schaefer's fate.o Teorema da dicotomia de Schaefer declara condições necessárias
a branch of computer science, Schaefer's dichotomy theorem states necessaryincluindo a ameaça do governador Schaefer de anunciar em alto-falantes a localização exata de Tagliabue em Camden Yards a qualquer momento que comparecesse a um jogo de Baltimore Orioles,
including Governor Schaefer's threat to announce over the loudspeakers Tagliabue's exact location in Camden Yards any time he attended a Baltimore Orioles game,algébrica do Teorema da dicotomia de Schaefer acima.
algebraic formulation of Schaefer's dichotomy theorem above.A sério, Schaefer?
Boa noite, Menina Schaefer.
Evening, Miss Schaefer.O que queres, Schaefer?
What is it, Schaefer?Tenho muita pena, Menina Schaefer.
I'm sorry, Miss Schaefer.Diz-me uma coisa Roy Schaefer!
Tell me something Roy Schaefer!O Mr. Schaefer vem jantar consigo?
O detective Schaefer trouxe-o há pouco para cá.
Detective Schaefer brought him earlier.A única coisa comprometedora no agente Schaefer é o seu histórico.
The only thing dirty about Officer Schaefer is his browser history.
