«Ալգորիթմ»–ի խմբագրումների տարբերություն

Որևէ ֆունկցիայի արժեքներ գտնելու համար նախատեսված ալգորիթմ գոյություն ունի այն և միայն այն դեպքում, երբ այն կարելի է հա՛վարկել Թյուրինգի մեթոդով՝ Թյուրինգի մեքենայի վրա: Այս թեզը համարվում է աքսիով, և չի կարող խիստ ապացուցվել մաթեմատիկորեն, քանի որ ալգորիթմը հստակ մաթեմատիկական հասկացություն չէ:

 

Ալգորիթմների տարբեր սահմանումներ պարունակում են հետևյալ պահանջները:

 

*Դիսկրետություն – ալգորիթմը պետք է իրենից ներկայացնի պարզ քայլերի հաջորդականություն, որոնք կբերեն որևէ խնդրի լուծմանը: Միևնույն ժամանակ, ալգորիթմի յուրաքանչյուր քայլի կատարման ժամանակը սահմանափակ է:

*Որոշվածություն – ցանկացած պահի հաջորդ քայլը հստակ որոշվում է կախված համակարգի իրավիճակից: Այսպիսով, ալգորիթմը տալիս է նույն պատասխանը նույն սկզբնական տվյալների համար: Հնարավոր է նաև, որ հաջորդ քայլը կախված լինի այդ պահին ընտրված պատահական թվից:

*Վերջավորություն – ճիշտ տրված սկզբնական տվյալների դեպքում, ալգորիթմը պետք է վերջավոր քանակի քայլերից հետո տա ճիշտ պատասխանը:

*Ունիվերսալություն – ալգորիոմը պետք է կատարի իր ֆունկցիան ցանկացած թույլատրելի սկզբնական տվյալներ տալու դեպքում:

*Արդյունավետություն – որոշակի արդյունքների ստացում:

*Ալգորիթմը չի պարունակում սխալներ, եթե տալիս է ճշմարիտ արդյունք: