COMPUTATIONAL COMPLEXITY THEORY in Portuguese translation

• teoria da complexidade computacional

Examples of using Computational complexity theory in English and their translations into Portuguese

The Immerman-Szelepcsényi theorem, another fundamental result in computational complexity theory, was proven independently by Neil Immerman and Róbert Szelepcsényi in 1987.
Na teoria de complexidade computacional, o teorema de Immerman-Szelepcsényi foi provado de forma independente por Neil Immerman e Róbert Szelepcsényi no ano de 1987.

One of these fields is the computational complexity theory, which can be very abstract.
Uma dessas áreas é a teoria de complexidade computacional, a qual pode ser muito abstrata.

In computational complexity theory the compression theorem is an important theorem about the complexity of computable functions.
Na teoria da complexidade computacional o teorema do intervalo é um importante teorema sobre a complexidade de funções computáveis.

Circuits over natural numbers are a mathematical model used in studying computational complexity theory.
Circuitos sobre números naturais são um modelo matemático utilizado no estudo da teoria da complexidade computacional.

The evaluation of MDL-based inferential procedures often uses techniques or criteria from computational complexity theory.
A avaliação de procedimentos de inferência baseada em descrição de comprimento mínimo geralmente utiliza técnicas ou critérios de teoria de complexidade computacional.

In computational complexity theory, an alternating Turing machine(ATM)
Em complexidade de computação teórica, uma máquina de Turing alternada(MTA)

In computational complexity theory, the average-case complexity of an algorithm is the amount of some computational resource(typically time)
Em teoria de complexidade computacional, a complexidade de caso médio de um algoritmo é a quantidade de algum recurso computacional(tipicamente tempo)

In computability theory and computational complexity theory, RE(recursively enumerable)
Em Teoria da Computabilidade e na Teoria da Complexidade Computacional, RE(recursivamente enumerável)

Computational complexity theory is a branch of the theory of computation in theoretical computer science
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica

In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is known to be impossible to construct a single algorithm that always leads to a correct yes-or-no answer.
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente"sim" ou"não.

In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.

Fellow of the Association for Computing Machinery:"For several fundamental contributions to computational complexity theory, which have significantly affected the course of this field." 2007:
Membro da Association for Computing Machinery:"Por diversas contribuições fundamentais para a teoria da complexidade computacional, que têm afetado significativamente o curso deste campo."

In computational complexity theory, the quantified Boolean formula problem(QBF) is a generalization of the Boolean
Na teoria da complexidade computacional, o problema da quantificação da fórmula booleana(QBF)é uma generalização do problema de satisfatibilidade booleana em que ambos,

In computational complexity theory, a speedup theorem is a theorem that considers some algorithm solving a problem
Na teoria da complexidade computacional, um teorema da aceleração é um teorema que considera algum algoritmo que resolve um problema

database theory, and computational complexity theory.
teoria de banco de dados, e a teoria da complexidade computacional.

is the complexity class of computational complexity theory problems solvable in logarithmic space
é a classe de complexidade de problemas da teoria da complexidade computacional solúveis em espaço logarítmico

In computational complexity theory, the maximum satisfiability problem(MAX-SAT)
Em a teoria da complexidade computacional, o problema satisfatibilidade máxima( MAX-SAT)

In computational complexity theory, co-NP is a complexity class.
Na Teoria da complexidade, co-NP é uma Classe de complexidade..

This is a list of complexity classes in computational complexity theory.
Essa é uma lista de classes de complexidade da teoria da complexidade computacional.

CSPs are also studied in computational complexity theory and finite model theory..
CSPs também são estudados em teoria da complexidade computacional e teoria de modelos finitos.