2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 NP-полные задачи и их решатели (SAT solvers и т.п.)
Сообщение19.04.2008, 21:10 
Модератор
Аватара пользователя


11/01/06
5660
MiniSAT - решатель задачи ВЫП (SAT), решатель задач псевдо-булева программирования и минимизатор КНФ (CNF) в одном флаконе. Распространяется под свободной лицензией MIT с открытыми исходными текстами.

QUALEX-MS, который находит максимальную взвешенную клику или независимое множество вершин в графе, а также другие программы Стаса Бусыгина. См. также модерируемую Стасом ньюс-группу algorithm-forge, посвященную обсуждению решений сложных задач.

Reactive Search, a History-Sensitive Heuristic for Max-Sat

Решатели Maximum Clique in Graphs (MAX-CLIQUE), Graph Partitioning (equicut), Quadratic Assignment Problem (QAP)

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

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



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

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


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

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