Че-то я не врубаюсь
Jan. 16th, 2003 05:13 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
pargentumhttp://www.livejournal.com/talkpost.bml?journal=koshki&itemid=30581
"Может ли проверка решения задачи быть дольше, чем само решение".
Запросто. Например, выяснение финитности алгоритма через доказательство корректности может происходить быстрее, чем проверка. :) А особенно - выяснение его инфинитности. :)
"Может ли проверка решения задачи быть дольше, чем само решение".
Запросто. Например, выяснение финитности алгоритма через доказательство корректности может происходить быстрее, чем проверка. :) А особенно - выяснение его инфинитности. :)
