Sta znaci na Engleskom ПРОБЛЕМ ОДЛУЧИВАЊА - prevod na Енглеском

• decision problem

Примери коришћења Проблем одлучивања на Српском и њихови преводи на Енглески

У овом смислу, проблем одлучивања је еквивалентан формалном језику.
Thus, decision problems are equivalent to languages.

Да би се доказало да је проблем НП-комплетан, мора бити формулисан као проблем одлучивања.
To prove subgraph isomorphism is NP-complete, it must be formulated as a decision problem.

Формално, проблем одлучивања је подскуп A природних бројева.
Formally, a decision problem is a subset of the natural numbers.

У теорији усклађености, халтинг проблем је проблем одлучивања који може почети овако.
In computability theory, the halting problem is a decision problem which can be stated as follows.

У овом смислу, проблем одлучивања је еквивалентан формалном језику.
In this sense a decision problem is equivalent to a formal language(60).

Проблем одлучивања да ли ће Тјурингова машина са индексом e стати за сваки улаз није одлучив.
The decision problem of whether the Turing machine with index e will halt on every input is not decidable.

У теорији израчунљивости и теорији комплексности, проблем одлучивања је питање у неком формалном систему, које даје одговор ДА или НЕ.
In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes-or-no answer.

Ако проблем одлучивања може да се реши неким алгоритмом, кажемо да је одлучив.
A decision problem which can be solved by an algorithm is called decidable.

Касније је примећено да су аутомат стабла и логичке теорије уско повезани и омогућавају да проблем одлучивања у логици буде смањен на проблем одлучивања аутомата.
It has been further observed that tree automaton and logical theories are closely connected and it allows decision problems in logic to be reduced into decision problems for automata.

Проблем одлучивања је у класи НП ако може бити решен недетерминистичким алгоритмом у полиномијалном времену.
A decision problem is in NP if it can be solved by a non-deterministic algorithm in polynomial time.

У функцијском задатку један излаз( од укупног броја функција) очекује се за сваки улаз, али излаз је сложенији него проблем одлучивања, то јест, то није само" да" или" не".
In a function problem a single output(of a total function) is expected for every input, but the output is more complex than that of a decision problem, that is, it isn't just"yes" or"no".

Проблем одлучивања који поставља питање да ли одређена ниска s припада језику одређене контекстно-сензитивне граматике G, је PSPACE-комплетан.
The decision problem that asks whether a certain string s belongs to the language of a given context-sensitive grammar G, is PSPACE-complete.

У теорији усклађености и теорији комплексности, неодлучив задатак је проблем одлучивања за који се зна да је немогућ конструисати у једном алгоритму који увек доводи до тачно да-или-не одговора.
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.

Да би показао да је Проблем одлучивања P неодлучив морамо наћи смањење проблема одлучивања за који је већ познато да је неодлучив за P.
To show that a decision problem P is undecidable we must find a reduction from a decision problem which is already known to be undecidable to P.

У функцијском задатку један излаз( од укупног броја функција) очекује се за сваки улаз, али излаз је сложенији него проблем одлучивања, то јест, то није само" да" или" не".
A function problem is a computational problem where a single output(of a total function) is expected for every input, but the output is more complex than that of a decision problem, that is, it is not just yes or no.

Ако је C било који проблем одлучивања, онда се може дефинисати класа комплексности C која се састји од језика А за које важи A ≤m P C{\ displaystyle A\ leq_{m}^{ P} C}.
If C is any decision problem, then one can define a complexity class C consisting of the languages A for which A≤ m P C{\displaystyleA\leq_{m}^{P}C}.

Проблем одлучивања је NEXPTIME комплетан, ако се налази у NEXPTIME, и ако сваки проблем у NEXPTIME има полиномијално временско свођење типа више према један на њега.
A decision problem is NEXPTIME-complete if it is in NEXPTIME, and every problem in NEXPTIME has a polynomial-time many-one reduction to it.

Проблем задовољства Генијалца је проблем одлучивања који пита," Дат је скуп покушаја и број црних и белих чиода са резултатима за сваки покушај, да ли постоји макар једна комбинација која генерише баш те резултате?".
The Mastermind satisfiability problem is a decision problem that asks,"Given a set of guesses and the number of colored and white pegs scored for each guess, is there at least one secret pattern that generates those exact scores?".

Да би показао да је Проблем одлучивања P неодлучив морамо наћи смањење проблема одлучивања за који је већ познато да је неодлучив за P. Та функција смањења мора бити израчунљива функција.
To show that a decision problem P is undecidable we must find a reduction from a decision problem which is already known to be undecidable to P. That reduction function must be a computable function.

Oracle machine је апстрактна машина која се користи за проучавање проблема одлучивања.
An oracle machine is an abstract machine used to study decision problems.

Тип рачунарских проблема: Најчешће коришћени проблеми су проблеми одлучивања.
The type of computational problem: The most commonly used problems are decision problems.

ALL је класа за све проблеме одлучивања.
ALL is the class of all decision problems.

Проучавања у теорији израчунљивости се обично базирају на проблемима одлучивања.
Research in computability theory has typically focused on decision problems.

Исто тако, то је класа проблема одлучивања где свака појава„ да“ носи потврду полиномијалне величине, а потврде могу да се провере помоћу детерминистичке Тјурингове машине у полиномијалном времену.
Equivalently, it is the class of decision problems where each"yes" instance has a polynomial size certificate, and certificates can be checked by a polynomial time deterministic Turing machine.

Она садржи све проблеме одлучивања који могу да се реше помоћу детерминистичке Тјурингове машине коришћењем полиномне количине времена рачунарске обраде т. ј. полиномијалног времена.
It contains all decision problems that can be solved by a deterministic Turing machine using a polynomial amount of computation time, or polynomial time.

Постоје и проблеми одлучивања који су НП-тешки, али нису НП-комплетни, на пример халтинг проблем..
There are decision problems that are NP-hard but not NP-complete, for example the halting problem..

Супротно проблемима одлучивања који захтевају да или не одговоре, проблеми узорковања траже узорке из расподеле вероватноће.
Contrary to decision problems that require yes or no answers, sampling problems ask for samples from probability distributions.

Проблеми одлучивања су блиско повезани са функцијским проблемима, који могу да дају одговоре који су сложенији од простог ДА или НЕ.
Decision problems are closely related to function problems, which can have answers that are more complex than a simple'yes' or'no'.

Најједноставније класе сложености су дефинисане следећим факторима: Тип рачунарских проблема: Најчешће коришћени проблеми су проблеми одлучивања.
Simpler complexity classes are defined by the following factors: The type of computational problem: The most commonly used problems are decision problems.

Следећи списак садржи неколико познатих проблема који су НП-комплетни када се изразе у форми проблема одлучивања.
The list below contains some well-known problems that are NP-complete when expressed as decision problems.