информационная безопасность
без паники и всерьез
 подробно о проектеRambler's Top100
Портрет посетителяЗа кого нас держат?Страшный баг в Windows
BugTraq.Ru
Русский BugTraq
 Анализ криптографических сетевых... 
 Модель надежности двухузлового... 
 Специальные марковские модели надежности... 
 Три миллиона электронных замков... 
 Doom на газонокосилках 
 Умер Никлаус Вирт 
главная обзор RSN блог библиотека закон бред форум dnet о проекте
bugtraq.ru / форум / site updates
Имя Пароль
ФОРУМ
все доски
FAQ
IRC
новые сообщения
site updates
guestbook
beginners
sysadmin
programming
operating systems
theory
web building
software
hardware
networking
law
hacking
gadgets
job
dnet
humor
miscellaneous
scrap
регистрация





Легенда:
  новое сообщение
  закрытая нитка
  новое сообщение
  в закрытой нитке
  старое сообщение
  • Напоминаю, что масса вопросов по функционированию форума снимается после прочтения его описания.
  • Новичкам также крайне полезно ознакомиться с данным документом.
Факторизация (factoring) и выполнимость (satisfability) 13.11.04 22:54  Число просмотров: 4424
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. В качестве отступления можно сказать, что в случае, если мы хотим получить все возможный разложения, за исключением тривиального, следует вспомнить,...

Полный текст
<site updates> Поиск 






Rambler's Top100
Рейтинг@Mail.ru


  Copyright © 2001-2024 Dmitry Leonov   Page build time: 0 s   Design: Vadim Derkach