|
ru.unix.bsd
- RU.UNIX.BSD ------------------------------------------------------------------
From : Valentin Davydov 2:5020/400 26 Nov 2000 12:54:10
To : All
Subject : Re: amd problem
--------------------------------------------------------------------------------
> From: netch@carrier.kiev.ua (Valentin Nechayev)
> Date: Sat, 25 Nov 2000 20:23:26 +0000 (UTC)
>
>P.S. Hасчет дискретной логики я серьезно: это в вычислительной математике
>можно принимать всерьез колдовские приемы повышения точности, потому что
>все равно исходные задачи в основном некорректны;)))
В дискретной логике задачи тоже, того, экспоненциально сложными бывают.
Так что эвристиками и там вполне пользуются. Классический пример - NP-полные
задачи, для которых до сих пор ни доказано, ни опровергнуто само их
существование (и даже невозможность такого доказательства тоже не доказана).
Тем более, что живой компилятор (особенно gcc ;-) к теории компиляции имеет
довольно косвеное отношение, в силу недостаточной адэкватности модели
"системы команд" для описания нынешних процессоров. Hу, к примеру, как
семиуровневая модель ISO/OSI относится к Интернету: вроде бы и работает,
а пользоваться нельзя.
Вал. Дав.
--- ifmail v.2.15dev5
* Origin: St. Petersburg State University (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
