O Que é IS REDUCIBLE em Português

• é redutível
• se reduz

Exemplos de uso de Is reducible em Inglês e suas traduções para o Português

The“spiritual crisis” of the title is reducible to the question.
A“crise espiritual” do título é redutível à pergunta.

The first problem is reducible to the third one, by asking if the node n is a subset of the output node.
O primeiro problema é redutível ao terceiro, perguntando se o nó n é um subconjunto do nó de saída.

However, it is possible to prove that any NFA is reducible to an equivalent DFA.
Apesar disso, é demonstrável que qualquer AFN pode ser reduzido a um AFD equivalente.

A second proof of Eisenstein's criterion also starts with the assumption that the polynomial Q(x) is reducible.
Uma segunda prova do critério de Eisenstein também começa com a suposição de que o polinômio Q(x) seja irredutível.

They prove that an NP complete problem is reducible to a problem in APT if and only if P NP.
Eles provam que um problema NP-completo é redutível a um problema em APT se e somente se P NP.

A problem is complete for the class PPA if in addition, this graph search problem is reducible to that problem.
Um problema é completo para a classe PPA se além disso, esse problema de busca em grafo for reduzível a esse problema.

The converse, that SAT is reducible to CircuitSAT, is even easier-we simply rewrite the Boolean formula as a circuit and solve that.
O inverso, que SAT é redutível a CircuitoSAT, é ainda mais fácil-simplesmente reescrevemos a fórmula Booleana como um circuito e o resolvemos.

A problem is complete for the class PPP if in addition, PIGEONHOLE CIRCUIT is reducible to that problem.
Um problema é completo para a classe PPP se, além disso, PIGEONHOLE CIRCUIT é redutível ao problema.

The third problem is reducible to the second one, checking if A is a subset of B is equivalent to ask if there is an element in A∩ B¯{\displaystyle A\cap{\overline{B.
O terceiro problema é redutível ao segundo, verificando se A é um subconjunto de B é equivalente a perguntar se existe um elemento em.

For many notions of reducibility, if any noncomputable set is reducible to a set A then A must also be noncomputable.
Para noção de muitos problemas de redutibilidade, se algum conjunto não-computável é redutível a um conjunto A, então A deve ser não computável.

A reducibility relation is a binary relation on sets of natural numbers that is Reflexive: Every set is reducible to itself.
Uma relação de redutibilidade é uma relação binária em conjuntos de números naturais que são: Reflexiva: todo conjunto é redutível a ele mesmo.

The commercial exploitation of wildlife erroneously assumes that the value of wild animals is reducible to their utility relative to human interests, especially economic interests.
A exploração comercial da vida selvagem presume erroneamente que o valor dos animais selvagens se reduz à sua utilidade aos interesses humanos, especialmente, aos interesses económicos.

In particular, the nondeterministic case(in which the transition from one state can be to multiple states given the same input) is reducible to a DFA.
Em particular, o caso da Não-Determinística(na qual a transição de um estado pode ser para vários estados dada a mesma entrada) é redutível a um AFD.

The B-theorist could argue that"now" is reducible to a token-reflexive phrase such as"simultaneous with this utterance," yet Smith states that even such an argument fails to eliminate tense.
O B-teórico poderia argumentar que"agora" é redutível a uma frase reflexiva como"simultâneo com este enunciado", Smith ainda afirma que, mesmo em tal argumento, não consegue eliminar a tensão.

The protracted crisis of the international revolution, which is turning more and more into a crisis of human culture, is reducible in its essentials to the crisis of revolutionary leadership.
A longa crise da revolução internacional, que cada vez mais se transforma em crise da cultura humana, reduz-se, no fundo, à crise da direção revolucionária do proletariado.

The second problem is reducible to the first one, it suffices to multiply the output gate by 0, then 0 will be in the output gate if and only if the former output gate were not empty.
O segundo problema é redutível ao primeiro, basta multiplicar a porta de saída por 0, 0 vai ser na saída da porta se, e somente se, a antiga porta de saída não estava vazia.

In particular, the problem of st-connectivity is actually NL-complete, that is, every problem in the class NL is reducible to connectivity under a log-space reduction.
Em particular, o problema da conectividade st é realmente NL-completo, isto é, todos os problemas na classe NL são redutíveis a conectividade sob uma redução de espaço logarítmico.

Thus if a set A is decidable then A is reducible to any set B under any of the strong reducibility relations listed above, even if A is not polynomial-time or exponential-time decidable.
Logo, se um conjunto A é decidível, então A é redutível para algum conjunto B em alguma das redutibilidades fortes listadas acima, mesmo que A não seja decidível em tempo polinomial ou exponencial.

Logicism one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore all mathematics is reducible to logic.
Logicismo Uma das escolas de pensamento da filosofia da matemática, a teoria de que a matemática é uma extensão da lógica matemática e, portanto, tudo é redutível à lógica.

It has been proved that any Post canonical system is reducible to such a substitution system, which, as a formal grammar, is also called a phrase-structure grammar, or a type-0 grammar in the Chomsky hierarchy.
Foi provado que qualquer sistema canônico de Post é redutível para um sistema de substituição, o qual, enquanto gramática formal, também é chamado de gramática de frase-estrutura, ou uma gramática tipo-0 na hierarquia de Chomsky.

Formal definition of NP-completeness==A decision problem formula_1 is NP-complete if: formula_1 is in NP, and Every problem in NP is reducible to formula_1 in polynomial time.
Definição formal de NP-completude==Um problema de decisão formula_1 é NP-completo se: formula_1 está em NP, e Todo problema em NP-Completo é redutível para formula_1 em tempo polinomial.

She repeats no fewer than five times the party line's insistence that the Message of Fatima is reducible to prayer and penance and that the events depicted in the Third Secret, to quote the Vatican commentary of 2000,"belong to the past.
Ela repete nada menos que cinco vezes a insistência da linha de partido de que a Mensagem de Fátima se reduz a oração e penitência, e que os acontecimentos descritos no Terceiro Segredo, para citar o comentário do Vaticano em 2000,"pertencem ao passado.

Intuitively, problem A is reducible to problem B via an approximation-preserving reduction if, given an instance of problem A and a(possibly approximate) solver for problem B, one can convert the instance of problem A into an instance of problem B, apply the solver for problem B, and recover a solution for problem A that also has some guarantee of approximation.
Intuitivamente, um problema A é redutível ao problema B através de uma aproximação, preservando a redução se, dada uma instância de problema A e um( possivelmente aproximado) solucionador para o problema B, pode se converter a instância de problema A em uma instância do problema B, aplicar o solucionador para o problema B, e recuperar uma solução para o problema A que também tem alguma garantia de aproximação.

A decision problem C{\displaystyle\scriptstyle C} is NP-complete if: C{\displaystyle\scriptstyle C} is in NP, and Every problem in NP is reducible to C{\displaystyle\scriptstyle C} in polynomial time.
Um problema de decisão C{\displaystyle\scriptstyle C} é NP-completo se: C{\displaystyle\scriptstyle C} está em NP, e Todo problema em NP é redutível para C{\displaystyle\scriptstyle C} em tempo polinomial.

This division does not change whether Q is reducible or not over the rational numbers(see Primitive part-content factorization for details), and will not invalidate the hypotheses of the criterion for p on the contrary it could make the criterion hold for some prime, even if it did not before the division.
Esta divisão não alterar se Q é redutível ou não sobre os números racionais(ver fatoração em parte primitiva e conteúdo para mais detalhes), e não invalida as hipóteses do critério para p pelo contrário ela poderia fazer o critério ser válido para algum primo, mesmo se não o fosse antes da divisão.

Badly interpreted Gödel's theorem, to justify that the notion itself of mathematical truth is reducible to a logical validity, in a first step towards the algorithmization of truth, of geometry, of the continuum, of the interval, of the grey, of the individual as individual, separated from the rest, and non-slaved to the number….
Teorema de Gödel mal interpretado para justificar que a própria noção de verdade matemática seja redutível a uma validade lógica, num primeiro passo para algoritmização da verdade, da geometria, do contínuo, do intervalo, do cinzento, do indivíduo enquanto indivíduo separado dos restantes, e não escravizado ao número….

Definition English: Colorless to yellow dye that is reducible to blue or black formazan crystals by certain cells; formerly used to distinguish between nonbacterial and bacterial diseases, the latter causing neutrophils to reduce the dye; used to confirm diagnosis of chronic granulomatous disease.
Definição Português: Corante de incolor para amarelo, reduzido a cristais formazan azuis ou pretos por certas células. Anteriormente utilizado para distinguir entre doenças não bacterianas e bacterianas, estas últimas fazem com que os neutrófilos reduzam o corante. Utilizado para confirmar o diagnóstico de doença granulomatosa crônica.

From Gauss' lemma it follows that Q is reducible in Z as well, and in fact can be written as the product Q GH of two non-constant polynomials G, H in case Q is not primitive, one applies the lemma to the primitive polynomial Q/c(where the integer c is the content of Q) to obtain a decomposition for it, and multiplies c into one of the factors to obtain a decomposition for Q.
A partir do lema de Gauss conclui-se que Q também é irredutível em Z, e na verdade pode ser escrito como o produto Q GH de dois polinômios não-constantes G, H no caso de Q não ser primitivo, aplica-se o lema ao polinômio primitivo Q/c(onde o inteiro c é o conteúdo de Q) para obter uma decomposição para ele, e multiplica-se um dos fatores por c para obter uma decomposição de Q.

But once again,"determined" does not mean that the variation is reducible to the ideas that one has, since the idea that I have does not account for its consequence, that is the fact that it increases my power of acting or on the contrary diminishes it in relation to the idea that I had at the time, and it's not a question of comparison, it's a question of a kind of slide, a fall or rise in the power of acting.
Porém, ainda uma vez," determinada" não quer dizer que a variação se reduza às ideias que ele tem, uma vez que a ideia que eu tenho só dá conta de sua conseqüência, a saber, que ela aumente minha potência de agir ou ao contrário a diminua em relação à ideia que eu tinha imediatamente antes, e não se trata de uma comparação, trata se de uma espécie de deslizamento, de queda ou de elevação da potência de agir.

The notions studied in computability theory have the informal property that A is reducible to B if and only if any(possibly noneffective) decision procedure for B can be effectively converted to a decision procedure for A. The different reducibility relations vary in the methods they permit such a conversion process to use.
Se um conjunto A é redutível a um conjunto B e um conjunto B é redutível a um conjunto C, então A é redutível a C. As noções de redutibilidade estudadas na teória da computação têm a propriedade informal de que A é redutível a B se e somente se algum( possivelmente até mesmo não efetivo) procedimento de decisão para B pode ser efetivamente convertido para um procedimento de decisão para A. As diferentes relações de redutibilidade variam de métodos para métodos, que permitem ou não o uso de processos de conversão.