![]() |
|
![]() ![]() ![]() |
|
unkis |
|
|||
Опытный ![]() ![]() Профиль Группа: Участник Сообщений: 802 Регистрация: 8.9.2004 Репутация: нет Всего: 1 |
Ребята, ищу литературу, статьи, на русском языке, где было бы описание с доказательствами(желательно в доступной форме), как свести SAT(ВЫП) к 3-SAT (3-ВЫП).
Заранее спасибо. |
|||
|
||||
tab |
|
|||
![]() Новичок Профиль Группа: Участник Сообщений: 32 Регистрация: 7.10.2006 Где: RF, Dolgopa Репутация: нет Всего: нет |
Например: Гери, Джонсон "Вычислительные машины и трудно решаемые задачи". Мир, 1980(не уверен точно).
|
|||
|
||||
![]() ![]() ![]() |
Правила форума "Алгоритмы" | |
|
Форум "Алгоритмы" предназначен для обсуждения вопросов, связанных только с алгоритмами и структурами данных, без привязки к конкретному языку программирования и/или программному продукту.
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, maxim1000. |
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Алгоритмы | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |