Note: In any phase, a node v with d

Note: In any phase, a node v with d(v) = 0 automatically joins the MIS. No marking is necessary.
We first argue that the algorithm indeed produces an MIS. Steps 2, 3, and 4 affirm that no two neighboring nodes will join the MIS. Step 5 ensures that if v joins the MIS, then none of its neighbors will. Since each of the remaining nodes gets a chance to mark itself and join the MIS, the algorithm terminates when no more eligible nodes are left.
The important question here is, how fast does the algorithm terminate? Let L(v) be the set of neighbors of v whose degree is larger than d(v). Also let M denote the set of marked nodes.

Результаты (русский) 1:

Примечание: В любом этапе узел v с d(v) = 0 автоматически присоединяется к ИСУ. Маркировки не требуется.Сначала мы утверждаем, что алгоритм действительно производит ИСУ. Шаги 2, 3 и 4 подтверждают, что нет двух соседних узлов присоединятся к ИСУ. Шаг 5 гарантирует, что если v присоединяется к ИСУ, то ни один из его соседей будет. Поскольку каждый из оставшихся узлов получает возможность пометить себя и присоединиться к MIS, алгоритм завершается, когда нет более подходящих узлов остается.Важный вопрос здесь заключается в том, как быстро завершить алгоритм? Пусть L(v) быть набор соседей v, степень которого больше, чем d(v). Также пусть M обозначают набор отмеченные узлов.

Результаты (русский) 2:

Примечание: В любой фазе узел v с D (v) = 0 автоматически присоединяется к MIS. Нет маркировки не требуется.
Мы сначала утверждают , что алгоритм действительно производит ИСУ. Шаги 2, 3 и 4 подтверждают , что никакие два соседних узлов не будет присоединяться к MIS. Шаг 5 гарантирует , что если v присоединяется к МИС, то ни один из ее соседей будет. Так как каждый из остальных узлов получает возможность отметить себя и присоединиться к МИС, алгоритм завершается , когда нет более подходящие узлы не осталось.
Важный вопрос здесь, как быстро делает алгоритм прекращается? Пусть L (v) множество соседей V, степень которого больше , чем D (v). Кроме того, пусть М обозначает множество отмеченных узлов.