|
Тема |
Re: Изчислимост [re: мишo] |
|
Автор | нeдeв (Нерегистриран) | |
Публикувано | 31.03.08 12:10 |
|
|
Ти напраи ли си труда да прочетеш дефиницията за изчислимост (да ти напомна за кво става дума в темата) или ше продължаваш да философстваш къде кво пише?
Колкото до "дефиницията" на Нът, забележи че става дума (сега я чета в Уикипедията) за пожелателна дефиниция за "добър" алгоритъм.
Крайност - необходима е ако алгоритъмът не дава частични резултати. Хората са направили атомни часовници, предназначени да работят и след 10 000 години. Пиши им един мейл да ги питаш кога трябва да спре програмата им. Да не говорим, че изискването за крайност е непроверимо в общия случай. Следната проста програма:
input integer n>0
do
if n is even then
n=n/2
else
n=3*n+1
end if
if n=1 then end
loop
не е ясно алгоритъм ли е или не според дефиницията на Нът.
Определеност:
Тоя човек ни изеде хляба на сичките дето се занимаваме със стохастични процеси.
Ефективност: Това си е чисто пожелание, за съжаление все по-рядко и по-рядко случващо се.
|
| |
|
|
|