|
ru.nethack
- RU.NETHACK -------------------------------------------------------------------
From : Dmitry Radishev 2:5015/42 30 Jul 2002 12:59:37
To : Ilya Teterin
Subject : червяки и распределенные вычисления?
--------------------------------------------------------------------------------
Tuesday July 30 2002 08:35, Ilya Teterin wrote to Dmitry Radishev:
>> За ограниченное (заранее ограниченное, пусть даже за
>> стотыщьмиллионов
[ ..погрызено.. ]
>> ведь может "зациклиться", а анализатор _может_ этот факт не
>> отследить и тоже зациклиться...
IT> Это плохой анализатор, а у нас же идеальный, с элементами
IT> искуственного интеллекта :)
[пожимая плечами] идеальный анализатор требует идеальной техники (без
ограничения на объем памяти и скорость), а такой пока не выпускают. Если же
объем памяти ограничен (пусть стотыщьмиллиардов гиг - но ограничен) - то...
далее по тексту. Можно написать такой код, который он не сможет "отследить" на
зацикленность, поскольку количество его "состояний" будет больше, чем может
вместить память анализатора. Для любого реального анализатора.
Понимаешь - вот это вот доказательство основывается на том, что для любого
анализатора с ограничением по ресурсам, можно придумать код, который он не
сможет проанализировать. Hо - для этого кода можно взять анализатор с _ещё_
большими ресурсами, и таки проанализировать, но даже для такого анализатора
можно взять совсем большой код, который...
Для любого, сколь угодно большого А найдется Б, которое будет больше. Поэтому
ограничив А - мы получаем существование Б. Поскольку в каждый момент времени
реально доступные вычислительные мощности ("А") ограничены - такое "Б"
существует. Хотя и для него можно найти такое "А"... вот только где ж его
взять-то, если это _уже_ предел возможностей техники?
>> мощности нужны явно не сегодняшние. А упростив (для ускорения)
>> алгоритм проверки - мы получим уже не 100%, а скажем 99%. Вот в эту
>> дырочку они и полезут :-)
IT> Я эти рассуждения привел только для доказательства наличия ошибки в
IT> доказательстве, что возможно создать _теоретически_ недетектируемый
IT> вирус. Hе более. Повторюсь, наличие _практически_ недетектируемых
IT> вирусов я не отрицаю, совсем даже наоборот.
Оригинальное доказательство я пока не прочитал, но твое "доказательство
наличия ошибки" - ошибочно. Это не значит, что такой вирус можно создать, это
значит только то, что обратное ты пока не доказал.
Вечером почитаю то доказательство - может, что новое узнаю :-)
All the best //DiBR [TEAM ВСЕ МАСТДАЙ] [шестая базовая]
[http://dibr.nnov.ru]
--- [LPT] LaMerZ PrOfeSsIoNaL TeaM /member/
* Origin: Welы~omыOsЫb_ыrЙчgч.{ПfiЭчы-ПrПия^ыbоэрh on-line service (2:5015/42)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
