CONSTRAINT SATISFACTION in Portuguese translation

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

Given a constraint satisfaction problem with only binary constraints,
Dada um problema de satisfação de restrição com apenas restrições binárias,

Also different is the way in which they are used: for a constraint satisfaction problem, finding a satisfying assignment is the main problem;
Também é diferente a forma em que eles são usados: para um problema de satisfação de restrição, achar uma tarefa satisfatória é o problema principal;

PCP and hardness of approximation==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.
PCP e dificuldade de aproximação==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,
Como resultado, se um problema de satisfação de restrição tem na tabela da esquerda seu conjunto de soluções,

Algorithms for searching virtual spaces are used in the constraint satisfaction problem, where the goal is to find a set of value assignments to certain variables that will satisfy specific mathematical equations and inequations/ equalities.
Atualmente os algoritmos de busca são a base de motores de buscas da Internet Algoritmos para a busca de espaços virtuais são usados em problema de satisfação de restrição, onde o objetivo é encontrar um conjunto de atribuições de valores para certas variáveis que irão satisfazer específicas equações e inequações matemáticas.

Satisfiability of the constraint satisfaction problem corresponds to finding a value for every variable such that replacing a value in a signature makes it a tuple in the relation of the constraint..
Satisfabilidade do problema de satisfação de restrição corresponde a encontrar um valor para cada variável tal que a substituição de um valor em uma assinatura torna uma tupla na relação da restrição..

Constraint satisfaction problems composed of binary constraints only can be viewed as graphs,
Problemas de satisfação de restrição, compostos de restrições binárias que somente podem ser vistas como grafos,

As a result, the constraint satisfaction problem can be used to set a constraint whose relation is the table on the right,
Como resultado, o problema de satisfação de restrição pode ser usado para definir uma restrição cuja relação é a tabela na direita,

A link between constraint satisfaction and database theory has been provided in the form of a correspondence between the problem of constraint satisfiability to the problem of checking whether there exists a homomorphism between two relational structures.
A ligação entre a satisfação de restrição e a teoria do banco de dados foi fornecida na forma de correspondência entre o problema de restrição de satisfabilidade e o problema de checar se existe homomorfismo entre duas estruturas relacionais.

can be roughly thought of as certain forms of the constraint satisfaction problem.
pode ser aproximado pensando-se em certas formas do problema da satisfação de restrições.

can be dealt with as non-arithmetic constraints see Pattern-Based Constraint Satisfaction and Logic Puzzles.
podem ser instanciadas como uma restrição não aritmética veja Pattern-Based Constraint Satisfaction and Logic Puzzles.

The solutions of a constraint satisfaction problem are the result of an inner join of the tables representing its constraints;
As soluções de um problema de satisfação de restrição são o resultado da junção interna dos quadros que representam suas restrições;

Examples of simple problems that can be modeled as a constraint satisfaction problem include: Eight queens puzzle Map coloring problem Sudoku,
Como exemplo de problemas simples que podem ser modelados como um problema de satisfação de restrições temos: O problema das oito rainhas Coloração de grafos Sudoku, Futoshiki, Kakuro(Somas cruzadas),

where Φ is a constraint satisfaction problem over Boolean alphabet with at most K variables per constraint..
onde Φ é um problema de satisfatibilidade de restrições sobre um alfabeto Booleano com, nomáximo, K variáveis por restrição..

an open source project for constraint satisfaction accessible from C,
é um projeto de software livre para satisfação de restrições disponível para C,

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

Research has also established relationship of the constraint satisfaction problem with problems in other areas such as finite model theory.
Pesquisas também tem estabelecido relações do problema de satisfação com problemas advindos de outras áreas como a teoria dos modelos finitos.

inequalities are often not considered within the definition of a"constraint satisfaction problem", which is limited to finite domains.
inequações aritméticas não são consideradas pela definição do"problema de satisfação de restrição", cujo domínio é limitado.

Research has also established a relationship between the constraint satisfaction problem and problems in other areas such as finite model theory and databases.
A pesquisa também estabeleceu uma relação dos problemas da satisfação de restrição com problemas em outras áreas, como a teoria de modelo finitos ou banco de dados.