774 Тем для обсуждения

6,825 Открытых обсуждений

Archives

Сообщения от jne100 

Microsoft Certified TechnologySpecialist, 20 years old, now searching job. More on jne100.blogspot.com.

SatWalker и второй раунд Intel Threading Challenge 2009

jne100 (1 пост(а)) 26.05.2009 09:58
Комментарии (2)

Так как мое решение стало самым быстрым во втором раунде ("These were three entries that could handle the expression with 100 variables. The fastest of these was submitted by jne100."), решил запостить его тут, чтобы можно было сравнить со своим, ну или просто посмотреть. Немного теории. Для решения проблемы 3-разрешимости я использовал алгоритм WalkSat. Нашел [...]

Продолжение ›

Категория: Intel Software Network, Конкурсы и мероприятия, Параллельное программирование
Метки: 3SAT, tc2009, Threading Challenge