|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Valentin Nechayev 2:5020/400 26 Nov 2000 13:34:30
To : Valentin Davydov
Subject : Re: amd problem
--------------------------------------------------------------------------------
Hello Valentin Davydov!
>>P.S. Hасчет дискретной логики я серьезно: это в вычислительной математике
>>можно принимать всерьез колдовские приемы повышения точности, потому что
>>все равно исходные задачи в основном некорректны;)))
VD> В дискретной логике задачи тоже, того, экспоненциально сложными бывают.
VD> Так что эвристиками и там вполне пользуются. Классический пример - NP-полные
VD> задачи, для которых до сих пор ни доказано, ни опровергнуто само их
VD> существование (и даже невозможность такого доказательства тоже не доказана).
Тем не менее, когда речь идет просто о проверке корректности реализации
алгоритма, контроль возможен и должен быть в сложной программе ранга gcc.
VD> Тем более, что живой компилятор (особенно gcc ;-) к теории компиляции имеет
VD> довольно косвеное отношение, в силу недостаточной адэкватности модели
VD> "системы команд" для описания нынешних процессоров.
Hу так пусть не оптимизирует, если не умеет. Hо портить-то зачем?
/netch
--- ifmail v.2.15dev5
* Origin: Lucky Netch Incorporated (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
