Идентифицировать узлы Graph, принадлежащие клике (проблема максимальной клики с ограничениями API Python)
Я пытаюсь решить проблему максимальной клики, используя API ограничений Python, и я планирую использовать MIP-модель, где для каждого узла n[i] есть логическое значение, указывающее, принадлежит ли узел (1/true) или нет (0/false), клике. Ограничение, которое я добавлю, заключается в том, что для каждой пары несвязанных узлов i + j, n[i] + n[j] <=1, потому что они могут быть установлены в 1, только если они соединены. Затем, чтобы определить размер клики, я вычислю сумму всех переменных узла и максимизирую эту меру.
В чем я не уверен, так это в следующем: как определить, принадлежит ли узел клике или нет? Если я этого не знаю, то как я могу вообще начать использовать логику выше?