BranchAndCut

Эвристика для поиска независимых множеств – это жадная раскраска с последующим запуском локального поиска. Через каждые 500 итераций запускается проверка на удаление слабых ограничений. Также реализован выход из цикла нахождения независимых множеств, если результат не улучшается на протяжении нескольких итераций. Кстати, улучшил начальную эвристику тем, что стал запускать ее 5000 раз, вместо 500, результат намного лучше, по времени работает 5-15 секунд. В итоге результаты получились чуть ЛУЧШЕ, чем с BNB, решились другие графы, а некоторые наоборот не решились. В итоге на 1 решенный граф в сумме больше с bnc.