Проблем одлучивања — разлика између измена

Садржај обрисан Садржај додат
Нова страница: У теорији израчунљивости и [[теорија комплексности|теорији комплек...
 
Нема описа измене
Ред 2:
 
Проблеми одлучивања су блиско повезани са [[функцијски проблем|функцијским проблемима]], који могу да дају одговоре који су сложенији од простог ДА или НЕ. Одговарајући функцијски проблем би могао бити ''ако су дата два броја ''-{x}-'' и ''-{y}-'', који је разултат дељења ''-{x}-'' са ''-{y}-''?". Такође су повезани са [[оптимизациони проблем|оптимизационим проблемима]], који се баве проналажењем ''најбољег'' решења за дати проблем.
 
Методе које се користе за решавање проблема одлучивања се називају ''процедурама за одлучивање'' или [[алгоритам|алгоритмима]]. Алгоритам за проблем одлучивања ''дата су два броја ''-{x}-'' и ''-{y}-'', да ли ''-{x}-'' дели ''-{y}-''?" би објаснио како да се одреди да ли ''-{x}-'' дели ''-{y}-'', за дато ''-{x}-'' и ''-{y}-''. Један такав алгоритам (за дељење бројева) деца уче у школи. Ако проблем одлучивања може да се реши неким алгоритмом, кажемо да је '''одлучив'''.