|
ru.linux
- RU.LINUX ---------------------------------------------------------------------
From : Vitaly Lugovsky 2:5080/1003 15 Jan 2003 20:34:26
To : Ramazan Jah-Far
Subject : Re: декомпиляция
--------------------------------------------------------------------------------
Ramazan Jah-Far <ramazanjf@svitonline.com> wrote:
> >> символов в другую последовательность. Соответственно, логично предположить,
> >> что для каждого образа можно найти прообраз.
> VL> Можно. Hо эта задача в общем виде NP-полная.
>
> А доказательство этого факта имеется?
Оно вполне себе тривиальное. Существует в принципе бесконечное число
реализаций одного и того же алгоритма (это доказать весьма просто),
компиляторы допускают достаточно произвольные преобразования - то есть, в
общем виде для поиска прообраза надо обойти бесконечное дерево.
--- ifmail v.2.15dev5
* Origin: (http://news.cca.usart.ru/) USURT's FidoNET<-> (2:5080/1003@fidonet)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
