| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Алгоритмы > NP-Полнот. Сведения SAT(ВЫП) к 3-SAT (3-ВЫП)? |
| Автор: unkis 6.12.2007, 20:47 |
| Ребята, ищу литературу, статьи, на русском языке, где было бы описание с доказательствами(желательно в доступной форме), как свести SAT(ВЫП) к 3-SAT (3-ВЫП). Заранее спасибо. |
| Автор: tab 11.12.2007, 01:04 |
| Например: Гери, Джонсон "Вычислительные машины и трудно решаемые задачи". Мир, 1980(не уверен точно). |