What is the translation of " CONSTRAINT SATISFACTION " in Portuguese?

• de satisfação de restrição
• de satisfatibilidade de restrições
• de satisfação de restrições

Examples of using Constraint satisfaction in English and their translations into Portuguese

The exact cover problem is a kind of constraint satisfaction problem.
O problema da cobertura exata é um tipo de problema de satisfação de restrições.

Constraint satisfaction problems on finite domains are typically solved using a form of search.
O problema da satisfação de restrições sobre domínios finitos é tipicamente resolvido usado uma forma de algoritmo de busca.

JaCoP is a constraint solver for constraint satisfaction problems.
JaCoP, é um projeto de software livre para o problema de satisfação de restrições.

Establishing whether a constraint satisfaction problem on a finite domain has solutions is an NP complete problem in general.
Estabelecer se um problema de satisfação de restrição num domínio finito tem solução é, em geral, um problema NP-completo.

Constraint propagation techniques are methods used to modify a constraint satisfaction problem.
Técnicas de propagação de restrições são métodos usados para modificar o problema da satisfação de restrições.

A direct correspondence between the constraint satisfaction problem and the homomorphism problem can be established.
A correspondência direta entre o problema de satisfação de restrição e o problema do homomorfismo pode ser estabelecida.

This is an easy consequence of a number of other NP complete problems being expressible as constraint satisfaction problems.
Esta é uma consequência de vários problemas NP completo sendo expresso como problemas de satisfação de restrição.

Solving a constraint satisfaction problem on a finite domain is an NP complete problem with respect to the domain size.
Resolver o problema de satisfação de restrições em um domínio infinito é um problema NP-completo em relação ao tamanho do domínio.

In modern terms, the problem SAT(S) is viewed as a constraint satisfaction problem over the Boolean domain.
Em termos modernos, o problema SAT(S) é visto como um problema de satisfatibilidade de restrições sobre o Domínio booleano.

The complexity of constraint satisfaction is the application of computational complexity theory on constraint satisfaction.
A complexidade da satisfação de restrição é a aplicação da teoria da complexidade computacional na satisfação de restrição.

The MAX-SAT problem can be extended to the case where the variables of the constraint satisfaction problem belong the set of reals.
O problema MAX- SAT pode ser estendido para o caso em que as variáveis do problema de Satisfação de restrições pertencem o conjunto de reais.

The classic model of Constraint Satisfaction Problem defines a model of static, inflexible constraints..
O modelo clássico do Problema da Satisfação de restrições define um modelo de restrições estáticas e inflexíveis.

Collision detection was based on functions of ACIS kernel, while motion itself was performed by LGS 3D as a sequence of constraint satisfaction problems.
A detecção de colisão foi baseada nas funções do kernel ACIS, enquanto o próprio movimento foi executado pelo LGS 3D como uma sequência de problemas de satisfação de restrições.

The techniques used in constraint satisfaction depend on the kind of constraints being considered.
As técnicas usadas na resolução de problemas de satisfação de restrições dependem do tipo de restrição inicial que é considerada.

CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods.
CSPs representam as entidades de um problema como um conjunto homogêneo de restrições finitas sobre as variável do problema, tal problema é resolvido por métodos de satisfação de restrições.

Constraint satisfaction problems can be reformulated in terms of other problems, leading to equivalent conditions to tractability.
Problemas de satisfação de restrição podem ser reformulados em termos de outros problemas, levando as condições equivalentes a tratabilidade.

This correspondence has been used to link constraint satisfaction with topics traditionally related to database theory.
Tal correspondência foi usada para ligar a satisfação de restrição com tópicos que são, tradicionalmente, relacionados com a teoria de banco de dados.

The constraint satisfaction problem is however related to the problem of establishing the existence of a homomorphism between two relational structures.
O problema da satisfação de restrição é, no entanto, relacionado ao problema de estabelcer a existência de homomorfismo entre duas estruturas relacionais.

As of 2007, it is not known if such problems can be expressed as constraint satisfaction problems with a fixed constraint language.
Desde 2007, não se sabe se tais problemas podem ser expressos como problema de satisfação de restrição com uma linguagem de restrição consertada.

A non-uniform constraint satisfaction problem is a restriction where the second structure of the homomorphism problem is fixed.
Um problema de satisfação de restrição não-uniforme é uma restrição na qual a segunda estrutura de um problema de homomorfismo é fixo.

The problems for which such an inapproximability result would hold include constraint satisfaction problems, which crop up in a wide variety of disciplines.
Os problemas para os quais tal resultado de inaproximabilidade se mantém incluem problemas de satisfação de restrições que surgem em uma ampla variedade de disciplinas.

A uniform constraint satisfaction problem is an arbitrary restriction to the sets of structures for the first and second structure of the homomorphism problem.
Um problema de satisfação de restrição uniforme é uma restrição arbitrária para os conjuntos de estruturas das primeira e segunda estruturas do problema homomórfico.

These problems are mostly considered when expressing constraint satisfaction in terms of the homomorphism problem, as explained below.
Tais problemas são considerados, principalmente, quando expressam uma satisfação de restrição em termos de problema de homomorfismo, como explicado abaixo.

Constraint satisfaction as the name suggests is the process of finding a solution that conforms to a set of constraints that the variables must satisfy.
Satisfação de restrições é um processo de encontrar a solução para um conjunto de restrições que impõe uma série de condições para que variáveis possam ser atendidas.

A relational structure is different from a constraint satisfaction problem because a constraint is a relation and a tuple of variables.
Uma estrutura relacional é diferente de um problema de satisfação de restrição uma vez que uma restrição é uma relação e uma tupla de variáveis.

A constraint satisfaction problem meets this restriction if it has exactly this domain and the relation of each constraint is in the given set of relations.
Um problema de satisfação de restrição atende essa restrição se ele tiver esse domínio especifico e a relação de cada restrição está no conjunto de relações dado.

The universal gadget of order k{\displaystyle k} is the constraint satisfaction problem containing all constraints that can be placed in order to obtain the table above.
O gadget universal de ordem k{\displaystyle k} é o problema de satisfação de restrição contendo todas as restrições que podem ser colocadas para se ter a tabela acima.

Constraint satisfaction toolkits are software libraries for imperative programming languages that are used to encode and solve a constraint satisfaction problem.
Toolkits de satisfação de restrições são bibliotecas de software para linguagens de programação imperativa que são usadas para codificar e resolver um problema de satisfação de restrições.

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.
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.

As a result, if a constraint satisfaction problem has the table on the left as its set of solutions, every relation can be expressed by projecting over a suitable set of variables.
Como resultado, se um problema de satisfação de restrição tem na tabela da esquerda seu conjunto de soluções, cada relação pode ser expressa por meio de uma projeção sobre um conjunto de variáveis apropriado.