3
ответа
Разделите людей на команды для большей части удовлетворенности
Просто вопрос о любопытстве. Помните, когда в классе groupwork преподаватель разделил бы людей на группы определенного числа (n)? Некоторые мои преподаватели взяли бы список n людей, каждый хочет...
вопрос задан: 24 May 2010 02:36
1
ответ
Действительно ли минимизация булевых выражений полна NP?
Я знаю, что булева выполнимость Полна NP, но является минимизацией/упрощением булева выражения, которым я означаю брать данное выражение в символьной форме и производить...
вопрос задан: 1 March 2009 16:42
0
ответов
Алгоритм булевой выполнимости -
У меня есть логическая формула:(х _{1} или х _{2} )и (х _{3} или х _{4} )и..... и (x _{2r -1} или x _{2r} ), где x _{i} принадлежит множеству :{p _{1}, p _{2},... стр _{99}, ~стр _{1}, ~стр _{2},... ~стр _{99 } } и у меня есть...
вопрос задан: 6 July 2012 14:59
0
ответов
В чем преимущество SMT-решателя перед CSP-решателем при решении ограничений?
SMT-Solver можно использовать для решения ограничений. Как мы знаем, решатели CSP уже много лет также предназначены для решения ограничений. Так в чем же преимущество SMT-решателя перед CSP-решателем?
вопрос задан: 14 May 2012 14:09
0
ответов
Оптимизация SAT / CNF
Проблема Я рассматриваю специальное подмножество задачи оптимизации SAT. Для тех, кто не знаком с SAT и связанными с ним темами, вот соответствующая статья в Википедии. ИСТИНА = (a OR b OR c OR d) AND (a OR f) ...
вопрос задан: 17 January 2012 14:24
0
ответов
Компиляторы, которые переводят алгоритмы проверки в задачи SAT
Доказательство того, что SAT является NP-полным, является конструктивным доказательством, поэтому должно быть возможно реализовать его в виде программы. Кто-нибудь это делал? Я ищу программу (компилятор), которая принимает в качестве входных данных ...
вопрос задан: 12 December 2011 08:02