2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


В этом разделе нельзя создавать новые темы.



Начать новую тему Ответить на тему
 
 Сводимость по Левину
Сообщение25.01.2009, 03:06 


18/01/09
27
Дайте, пожалуйста, ссылку или объясните коротко.

 Профиль  
                  
 
 
Сообщение26.01.2009, 08:48 
Заслуженный участник
Аватара пользователя


21/12/05
5931
Новосибирск
Поищите теорему Левина-Кука или дождитесь, когда сюда заглянет профессор Снэйп

 Профиль  
                  
 
 
Сообщение26.01.2009, 13:29 
Супермодератор
Аватара пользователя


29/07/05
8248
Москва
Перенесено из корня в "Помогите..."

 Профиль  
                  
 
 
Сообщение29.01.2009, 18:54 


18/01/09
27
Теорема Левина-Кука: Проблема выполнимости булевых формул в конъюнктивной нормальной форме NP-полна. Это не то, что нужно. Нужна сводимость, а желательно две из трех: по Левину и по Тьюрингу. По Карпу все просто.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group