Sta znaci na Srpskom DECISION PROBLEM - prevod na Српском

• проблем одлучивања
• проблем одлуке
• проблем одлука

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

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

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

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

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

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

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

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

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

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

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

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

A decision problem is a yes-or-no question on an infinite set of inputs.
Проблем одлуке је било које произвољно да-или-не питање над бесконачним скупом уноса.

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 is a problem where all the answers are YES or NO.
Проблем одлуке је рачунски проблем где је одговор за сваки пример да или не.

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 typically represented as the set of all instances for which the answer is yes.
Проблем одлуке се обично представља као скуп свих случајева за које је одговор ДА.

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

A decision problem X is a member of co-NP if and only if its complement X is in the complexity class NP.
Проблем одлуке Χ је члан co-NP ако и само ако је његов комплемент у класи комплексности NP.

Thus by providing a mathematical description of a very simple device capable of arbitrary computations, he was able to prove properties of computation in general-and in particular, the uncomputability of the Entscheidungsproblem("decision problem").
Тако пружајући математички опис врло једноставног уређаја произвољним израчунавањем, био је у стању да докаже својства рачунања уопште- и посебно, неизрачунљивости Хилбертовог Entscheidungsproblem(" Проблем одлука").

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

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.
Исто тако, то је класа проблема одлучивања где свака појава„ да“ носи потврду полиномијалне величине, а потврде могу да се провере помоћу детерминистичке Тјурингове машине у полиномијалном времену.

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

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?".
Проблем задовољства Генијалца је проблем одлучивања који пита," Дат је скуп покушаја и број црних и белих чиода са резултатима за сваки покушај, да ли постоји макар једна комбинација која генерише баш те резултате?".

Thus, a decision problem informally phrased in terms of a formal language is also equivalent to a set of natural numbers.
Зато, проблем одлуке неформално је формулисан у смислу формалног језика који је једнак скупу природних бројева.

The connection between these two is that if a decision problem is undecidable(in the recursion theoretical sense) then there is no consistent, effective formal system which proves for every question A in the problem either"the answer to A is yes" or"the answer to A is no".
Веза између ова два је да ако је проблем одлука неодлучив( у рекурзијско теоријском смислу) онда нема доследно ефективног формалног система који доказује да свако питање А у проблему или" одговор на А је да" или" одговор на А је не".

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

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

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

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}.
Ако је C било који проблем одлучивања, онда се може дефинисати класа комплексности C која се састји од језика А за које важи A ≤m P C{\ displaystyle A\ leq_{m}^{ P} C}.