Легенда:
 новое сообщение
 закрытая нитка
 новое сообщение
 в закрытой нитке
 старое сообщение
|
- Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
- Новичкам также крайне полезно ознакомиться с данным документом.
Факторизация (factoring) и выполнимость (satisfability) 13.11.04 22:54 Число просмотров: 4618
Publisher: dl <Dmitry Leonov>
|
Факторизация (factoring) и выполнимость (satisfability)
lime http://www.bugtraq.ru/cgi-bin/iforum.mcgi?type=si&u=7098
Представление.
Факторизация - разложение целого числа на два целых множителя.
Обозначим числа, которыми будем оперировать следующим образом: Z = X*Y.
С самого начала следует определиться с тем, в каком виде следует представить числа. Ответ очевиден - в двоичной. Именно эта система счисления дает желаемые исходные значения логических переменных - нули и единицы.
Заранее договоримся, что исходные числа будем обозначать заглавными буквами, а их разряды - прописными.
Таким образом, исходное выражение Z = X*Y примет вид z1z2z3...zn = x1x2x3...xn * y1y2y3...yn.
Разрядность всех чисел одинакова не случайно. Это единственный способ получить ВСЕ ВОЗМОЖНЫЕ РАЗЛОЖЕНИЯ исходного числа вплоть до тривиального, когда один из сомножителей равен 1. В качестве отступления можно сказать, что в случае, если мы хотим получить все возможный разложения, за исключением тривиального, следует вспомнить,...
Полный текст
|
- Факторизация (factoring) и выполнимость (satisfability) - dl 13.11.04 22:54 [4618]
|
|
|
подробно о проекте
Анализ криптографических сетевых...
