Есть ли соревнования для целочисленного программирования?

Question

Есть ли соревнования для целочисленного программирования, например, для SAT и maxsat ?

Answer 1

Есть соревнования для решений для удовлетворенности ограничений.Некоторые проблемы могут быть легко переведены на IP-решатели.Смотри, например, Minizinc Challenge который произошел годовой с 2008 года или Конкурс XCSP .

Answer 2

Нет соревнований, нацеленных на общее целочисленное программирование или программирование в целочисленных или смешанных целочисленных, но есть (или были) ориентиры, такие как ориентиры Miplib (линейный) и minlplib (нелинейный).

Есть соревнования для подмножеств (PB, SAT, MAX-SAT) и для программирования ограничения, как вы и другие ответы. Вы можете найти много соревнований ( Challenges Dimacs , например) с проблемами с НП, которые могут быть сформулирован как IP.

Так, почему нет таких соревнований? Мое личное предположение - это то, что он сводится к:

.
• Сложность реализации. Хороший целочисленный решатель программирования огромный и сложный. Собственные соревнования и тому подобное интересные, потому что многие (маленькие) команды могут конкурировать, и несколько трюков могут получить вас довольно далеко. Есть только несколько IP-решателей, и все они много лет работы.
• слишком общий. Есть много много IP-экземпляров с разными свойствами. Было бы трудно создать сбалансированный набор тестов.
• зрелое поле. Разрешены в основном коммерческие, и компании не интересуют организацию или участие в таких соревнованиях.

Answer 3

С 2005-2012 годы появился псевдо-булева соревнования сольшествия с 2005-2012 годов, но (насколько я могу сказать) ничего с тех пор.Целочисленное линейное программирование представляет собой подмножество псевдо-булевых программирования.Смотрите 2012 конкурса страницы конкурса для результатов и ссылок на другие результаты соревнований.