What is the translation of " BOOLEAN FORMULA " in Portuguese?

• fórmula booleana

Examples of using Boolean formula in English and their translations into Portuguese

Next we try to find a Boolean formula to simulate this.
O próximo passo é tentar encontrar uma fórmula booleana para simular isto.

A formula game is an artificial game represented by a fully quantified Boolean formula.
Um Jogo de fórmula é um jogo artificial representado por uma fórmula booliana completamente quantificada.

Each problem takes as input a Boolean formula as input and the task is to compute the number of satisfying assignments.
Cada problema tem como entrada uma fórmula booleana cuja tarefa é calcular o número de atribuições satisfeitas.

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 fully quantified Boolean formula can be assumed to have a very specific form, called prenex normal form.
Uma fórmula booleana totalmente quantificada pode ser considerada para ter uma forma muito específica, chamada forma normal prenex.

If both quantifiers are allowed, the problem is called the quantified Boolean formula problem(QBF), which can be shown to be PSPACE-complete.
Se permitirmos ambos, o problema é chamado de problema da fórmula booleana quantificada(QBF), que pode ser mostrado PSPACE-completo.

That is, any problem in NP can be reduced in polynomial time by a deterministic Turing machine to the problem of determining whether a Boolean formula is satisfiable.
Isto é, qualquer problema em NP pode ser reduzido em tempo polinomial por uma máquina de Turing determinística para o problema de determinar se uma fórmula booleana é satisfatível.

The problem of determining whether a boolean formula in conjunctive normal form with two variables per clause is satisfiable.
O problema de se determinar se uma fórmula booleana na forma normal conjuntiva com dois literais por cláusula é satisfatível.

It has two basic parts: a portion containing only quantifiers and a portion containing an unquantified Boolean formula usually denoted as formula_2.
Ela tem duas partes básicas: uma porção contendo quantificadores e só uma parte contendo uma fórmula booleana não quantificada, normalmente denotada como φ.

MAJSAT is a decision problem in which one is given a Boolean formula F. The answer must be YES if more than half of all assignments x1, x2,…, xn make F true and NO otherwise.
MAJSAT é um problema de decisão em que é dada uma fórmula booleana F. A resposta deve ser SIM se mais da metade das atribuições de x1, x2,…, xn fazem com que F seja verdade, e NÃO caso contrário.

In 2006 the SAT Conference hosted the first MAX-SAT evaluation comparing performance of practical solvers for MAX-SAT, as it has done in the past for the pseudo-boolean satisfiability problem and the quantified boolean formula problem.
Em 2006, a SAT Conferência acolheu a primeira avaliação de desempenho de MAX-SAT, comparando os solucionadores práticos para MAX-SAT, como tem feito no passado para o problema satisfatibilidade pseudo-booleana e o problema da fórmula booleana quantificada.

In brief, an instance of the FORMULA-GAME problem consists of a quantified Boolean formula φ∃x1∀x2∃x3… Qxk(ψ) where Q is either∃ or∀.
Em resumo, uma instância do problema do Jogo de fórmula consiste em um fórmula Booleana quantificada φ∃x1∀x2∃x3… Qxk(ψ) onde Q é∃ ou∀.

A(fully) quantified Boolean formula is a formula in quantified propositional logic where every variable is quantified(or bound), using either existential or universal quantifiers, at the beginning of the sentence.
Uma fórmula booleana totalmente quantificada é uma fórmula em quantificadores lógicos proposicional, onde cada variável é quantificada(ou vinculada), usando o quantificador universal ou o existencial no início da sentença.

One should not confuse this kind of problem with checking if a quantified boolean formula is true, which is the definition of QBF, which is PSPACE-complete.
Não se deve confundir esse tipo de problema com o da checagem de se uma fórmula booleana é verdadeira, que é a definição de QBF, que é PSPACE-completo.

In computational complexity theory, the quantified Boolean formula problem(QBF) is a generalization of the Boolean satisfiability problem in which both existential quantifiers and universal quantifiers can be applied to each variable.
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, quantificadores existenciais e quantificadores universais podem ser aplicados a cada variável.

An important set of problems in computational complexity involves finding assignments to the variables of a boolean formula expressed in Conjunctive Normal Form, such that the formula is true.
Um importante conjunto de problemas em complexidade computacional envolve encontrar atribuições para as variáveis de uma fórmula booleana expressa na Forma Normal Conjuntiva, tais que a fórmula seja satisfeita.

Unambiguous-SAT is the promise problem of deciding whether a given Boolean formula that has at most one satisfying assignment is unsatisfiable or has exactly one satisfying assignment.
SAT-não-ambíguo é o problema de promessa de decidir se uma dada fórmula Booleana que tem no máximo uma atribuição satisfeitora é insatisfatível ou se tem exatamente uma atribuição satisfeitora.

The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a boolean formula in conjunctive normal form(CNF), which can be solved by a CNF-SAT solver.
A transformação de Tseytin, alternativamente escrita como transformação de Tseitin tem como entrada um circuito lógico combinatório arbitrário e produz uma fórmula booleana na forma normal conjuntiva(FNC), o que pode ser resolvido através de um solucionador FNC-SAT.

Perhaps the simplest problem for alternating machines to solve is the quantified Boolean formula problem, which is a generalization of the Boolean satisfiability problem in which each variable can be bound by either an existential or a universal quantifier.
Talvez o problema mais simples de se resolver para máquinas alternadas seja o problema de fórmula booleana totalmente quantificada, que é uma generalização do problema de Satisfatibilidade booleana em que cada variável pode ser relacionada por um quantificador universal ou existencial.

In computational complexity theory, the maximum satisfiability problem(MAX-SAT) is the problem of determining the maximum number of clauses, of a given Boolean formula in conjunctive normal form, that can be made true by an assignment of truth values to the variables of the formula..
Em a teoria da complexidade computacional, o problema satisfatibilidade máxima( MAX-SAT) é o problema de determinar o número máximo de cláusulas, de uma determinada fórmula booleana na Forma normal conjuntiva, a qual pode ser feita verdadeira por uma atribuição de valores verdadeiros para as variáveis da fórmula..

The archetypal PSPACE-complete problem is generally taken to be the quantified Boolean formula problem(usually abbreviated to QBF or TQBF; the T stands for"true"), a generalization of the first known NP-complete problem, the Boolean satisfiability problem SAT.
Mas o problema arquetípico PSPACE-completo é geralmente considerado como sendo o problema da fórmula booleana completamente quantificada(usualmente abreviado para QBF ou TQBF), uma generalização do primeiro problema NP-completo conhecido, o problema da satisfatibilidade de fórmulas booleanas SAT.

The k-SAT problem is the problem of finding a satisfying assignment to a boolean formula expressed in CNF in which each disjunction contains at most k variables.
O problema k-SAT é o problema de encontrar uma atribuição que satisfaça para uma fórmula booleana expressa na FNC, tal que cada disjunção contenha no máximo k variáveis.

It is important to note that while TQBF the language is defined as the collection of true quantified Boolean formulas, the abbreviation TQBF is often used(even in this article) to stand for a totally quantified Boolean formula, often simply called a QBF quantified Boolean formula, understood as"fully" or"totally" quantified.
É importante notar que, embora TQBF seja uma linguagem definida como uma coleção de fórmulas booleanas verdadeiras, a sigla TQBF é frequente mente usada(ainda neste artigo), para representar uma fórmula booleana totalmente quantificada, muitas vezes chamado simplesmente de QBFquantified Boolean formula, conhecido como“totalmente” quantificados.

Here, Weighted t-Normalize SAT is the following problem: Input: A Boolean formula of depth at most t with an AND-gate on top, and a number k.
Aqui, SAT t{\displaystyle t}-Normalizado Ponderado é o seguinte problema: Entrada: Uma fórmula Booleana de profundidade no máximo t{\displaystyle t} com um portão AND no topo, e um número k{\displaystyle k.

It is important to note that while TQBF the language is defined as the collection of true quantified Boolean formulas, the abbreviation TQBF is often used(even in this article) to stand for a totally quantified Boolean formula, often simply called a QBF quantified Boolean formula, understood as"fully" or"totally" quantified.
É importante notar que, enquanto em TQBF a linguagem é definida como a coleção de fórmulas quantificadas booleanas verdadeiras, a TQBF abreviatura é frequentemente utilizado( mesmo neste artigo) para representar uma fórmula booleana totalmente quantificados, muitas vezes chamado simplesmente de um FBQ fórmula booleana quantificada, entendida como" totalmente" ou" totalmente" quantificado.

Weighted Weft-t-Depth-d SAT is the following problem: Input: A Boolean formula of depth at most d and weft at most t, and a number k.
SAT Ponderados Cardinalidade- t{\displaystyle t}-Profundidade- d{\displaystyle d} é o seguinte problema: Entrada: Uma fórmula Booleana de profundidade no máximo d{\displaystyle d} e cardinalidade no máximo t{\displaystyle t}, e um número k{\displaystyle k.

One simple example of a co-NP-complete problem is tautology, the problem of determining whether a given Boolean formula is a tautology; that is, whether every possible assignment of true/false values to variables yields a true statement.
Um exemplo simples de um problema co-NP-completo é tautologia, o problema de determinar se uma formula booleana é uma tautologia, isso é, se todos as possíveis combinações de valores atribuídos as variáveis produz uma afirmação verdadeira.

As a consequence of this theorem, it can be shown that the solutions to many natural optimization problems including maximum boolean formula satisfiability, maximum independent set in graphs, and the shortest vector problem for lattices cannot be approximated efficiently unless P NP.
Como uma consequência desse teorema, pode ser mostrado que há soluções para vários problemas de otimização, incluindo a máxima satisfatibilidade de uma fórmula booleana, o máximo conjunto independente em grafos, e o problema do menor arranjo para reticulados não podem ser eficientemente aproximados a não ser que P NP.