What is the translation of " PROBLEM OF DECIDING " in Portuguese?

• problema de decidir

Examples of using Problem of deciding in English and their translations into Portuguese

There is the problem of deciding on a border mechanism.
Existe o problema de decidir quanto a um mecanismo fronteiriço.

According to Rice's theorem, if there is at least one computable function in a particular class C of computable functions and another computable function not in C then the problem of deciding whether a particular program computes a function in C is undecidable.
De acordo com o teorema de Rice, se houver pelo menos uma função computável em uma determinada classe C das funções computáveis e outra função computável que não está em C, então o problema de decidir se um determinado programa calcula uma função em C é indecidível.

AM contains the problem of deciding if two graphs are not isomorphic.
AM contém o problema de decidir se dois grafos não são isomórficos.

In mathematics and computer science, a word problem for a set S with respect to a system of finite encodings of its elements is the algorithmic problem of deciding whether two given representatives represent the same element of the set.
Na matemática e na ciência da computação, um problema de palavra para um conjunto de S em relação às codificações finitas de seus elementos é o problema algorítmico de decidir se duas representações podem ser usadas para representar o mesmo elemento do conjunto.

The problem of deciding the truth of a statement in Presburger arithmetic requires even more time.
O problema de decidir a verdade de uma declaração na aritmética de Presburger requer ainda mais tempo.

This set encodes the problem of deciding a function value.
Este conjunto codifica o problema de decidir um valor de uma função.

The problem of deciding whether two convex polytopes given by either the V-description or H-description are projectively or affinely isomorphic.
O problema de decidir se dois politopos convexos dadas tanto pela descrição V ou descrição H são projetivamente ou afim isomórficos.

Phrased as a decision problem, it is the problem of deciding whether the input has a factor less than"k.
Formulado como um problema de decisão, é o problema para decidir se a entrada tem um fator menor que"k.

In particular, the problem of deciding if a given instance admits a satisfying assignment can be solved in polynomial time.
Em particular, o problema de decidir se uma dada instância admite uma atribuição satisfatível pode ser resolvido em tempo polinomial.

When you start developing with PHP, you face the problem of deciding which IDE to choose for the Windows OS.
Quando você começar a desenvolver com PHP, você enfrenta o problema de decidir qual IDE para escolher para o sistema operacional Windows.

Historians face the problem of deciding how much space to give to each people's history and of how the histories are related to each other.
Os historians enfrentam o problema de decidir-se quanto espaço a dar ao history de cada pessoa e de como os histories se são relacionados.

Allowing the drivers to escape paying caused a societal problem of deciding how to compensate the victims of the accidents.
Permitir aos motoristas fugir ao pagamento causou um problema societário quanto a decidir como compensar as vítimas dos acidentes.

Although the students did not resolve the problem of deciding what to study and what direction to pursue, in their hospital activities two notions were presented emphatically and persuasively both by the professors and by the structural characteristics of the medical school and the hospital organization. These notions are“medical responsibility” and“clinical experience.”.
Apesar de os estudantes não resolverem o problema de decidir o que estudar e que direção dar aos seus esforços, durante as suas atividades no hospital, duas noções são apresentadas de forma enfática e persuasiva, tanto pelo corpo docente como pelas características estruturais da escola médica e da organização hospitalar.

John Venn pointed out in 1876 that this leads to a reference class problem of deciding in what class containing the individual case to take frequencies in.
John Venn apontou, em 1876, que isso leva a uma problema de classe de referência de decidir qual a classe que contém o caso individual, para tomar frequências.

He used this to show that the problem of deciding whether any balls reach a designated sink vertex in a Digi-Comp II-like device is also CC-complete.
Ele usou isso para mostrar que o problema de decidir se as bolas chegar a um vértice pia designado em um dispositivo Digi-Comp II-é também CC-completa.

A famous Rice's theorem states that if F is a subset of the set of partial computable functions from N{\displaystyle\mathbb{N}} to{ 0, 1}{\displaystyle\{0,1\}}, then unless F or its complement is empty, the problem of deciding whether or not a particular Turing machine computes a function in F is undecidable.
Um famoso teorema de Rice afirma que, se F é um subconjunto do conjunto de funções parcialmente computáveis de N{\displaystyle\mathbb{N}} a{ 0, 1}{\displaystyle\{0,1\}}, então a menos que o F ou o seu complemento seja vazia, o problema de decidir se quer ou não uma determinada máquina de Turing computa uma função F é indecidível.

Depending on the underlying logic, the problem of deciding the validity of a formula varies from trivial to impossible.
Dependendo da lógica subjacente, o problema de decidir a validade de uma fórmula varia do trivial ao impossível.

The 1-halting problem is the problem of deciding of any algorithm whether it defines a function with this property, i.e., whether the algorithm halts on input 1.
O problema da 1-parada é o problema de decidir de qualquer algoritmo se define uma função com essa propriedade, ou seja, se o algoritmo para na entrada 1.

A natural example of a problem in co-RP currently not known to be in P is Polynomial Identity Testing, the problem of deciding whether a given multivariate arithmetic expression over the integers is the zero-polynomial.
Um exemplo natural de um problema em co-RP que não se sabe ainda pertencer a P é o Teste de Identidade Polinomial, o problema de decidir se uma expressão aritmética com diversas variáveis sobre os inteiros é um zero-polinomiali.e.

You see there was the major problem of deciding whether this directive ought to apply when the accident had taken place in a Member State of the European Union.
Porque nos deparámos com o grande dilema de decidir se esta directiva deveria ou não ser aplicada aos casos em que os acidentes ocorrem num Estado Membro da União Europeia.

A natural example of a problem in co-RP currently not known to be in P is Polynomial Identity Testing, the problem of deciding whether a given multivariate arithmetic expression over the integers is the zero-polynomial.
Um exemplo natural de um problema em co-RP que não se sabe ainda pertencer a P é o Teste de Identidade Polinomial, o problema de decidir se uma expressão aritmética com diversas variáveis sobre os inteiros é um zero-polinomiali.e. a constante polinomial P(x)=0 e os coeficientes são iguais a 0.

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.

In formal logic, Horn-satisfiability, or HORNSAT, is the problem of deciding whether a given set of propositional Horn clauses is satisfiable or not.
Na lógica formal, Satisfatibilidade de Horn, ou HORNSAT, é o problema de decidir se um dado conjunto de cláusulas de Horn é satisfatível ou não.

Because these polytopes' face lattices are determined by their graphs, the problem of deciding whether two three-dimensional or simple convex polytopes are combinatorially isomorphic can be formulated equivalently as a special case of the graph isomorphism problem..
Como as telas de face dos politopos são determinadas por seus gráficos, o problema de decidir se dois politopos convexos tridimensionais ou simples são combinatoriamente isomórficos pode ser formulado equivalentemente como um caso especial do problema do isomorfismo do gráfico.

But I can tell you here and now that the Council will not accept it, and you will then be faced with the problem of deciding in the conciliation procedure whether you are prepared to retreat at least partly from your position, or whether you intend to delay this entire programme, which is rightly regarded as being of vital importance.
Mas desde já vos posso dizer que o Conselho não vai aceitá-la. Consequentemente, ficarão perante a dificuldade de decidir no processo de conciliação se querem abdicar, pelo menos em parte, da vossa posição, ou se vão manter esse programa, que com toda a razão foi apelidado de importante.

If F is a subset of the set of all partial computable function from N{\displaystyle\mathbb{N}} to itself such that F and its complement are both non-empty, then the problem of deciding whether or not a given Turing machine computes a function from F is not decidable on any exponentially generic subset of I. The following theorems are from: Theorem 2 The set of formal languages which are generically computable has measure zero.
Se F é um subconjunto do conjunto de todos as funções parcialmente computáveis de N{\ displaystyle\ mathbb{ N}} em\ mathbb{ N}, tais que F e seu complemento são ambos não-vazios, então o problema de decidir se uma dada máquina de Turing computa uma função a partir de F ou näo é indecidível sobre qualquer subconjunto exponencialmente genérico de I. Os seguintes teoremas são a partir de: Teorema 2 O conjunto de linguagens formais que são chamados genericamente de computáveis tem medida zero.

To say instead of, we must make an advance plan, we must have a five-year projection of where the Wikipedia is going to be, or whatever, you can just say, let's coordinate the group effort, and let's deal with it as we go, because we're now well-enough coordinated that we don't have to take on the problems of deciding in advance what to do.
Dizer, ao invés de," nós devemos planejar com atecedência"," nós devemos ter uma projeção do que será a Wikipedia de aqui a 5 anos" ou qualquer outra coisa, você pode apenas dizer," vamos coordenar o esforço do grupo, e vamos lidando conforme o andamento", porquê nós agora estamos sendo bem coordenados e não precisamos tomar decisões antecipadas sobre os problemas e o que fazer.

The problem consists of deciding where the leader will place its facilities, considering it aims to minimize its greatest regret.
O problema consiste em decidir onde a líder localizará suas facilidades, de modo a minimizar o seu maior arrependimento.

In deciding a problem of strategy he began by clothing the enemy with his own resolution and farsightedness.
Resolvendo um problema de estratégia, ele dotava o inimigo da sua própria resolução e da sua perspicácia.