после работы черного
после работы черного ящика Б имеем следующие значения переменных
1 [2..5] [1] [2..3] (2)
2 [3,5] [ ] [3,5] (2,3)
3 [5] [ ] [5] (2,3,5)
4 [ ] [ ] [ ] Вывод третьего максимального независимого множества.
3 [ ] [5] [ ]
2 [5] [3] [ ] Согласно логике черного ящика Б множество кандидатов Gg становится пустым.
1 [3..5] [1,2] [2,3] (3)
2 [5] [2] Итак, мы первый раз попадаем в процедуру Find, и множество Gm при этом не пусто.
Должна работать логика черного ящика АА. Замечание 1. Если существует вершина j, принадлежащая Qm, такая, что пересечение A[j] и Qp пусто, то дальнейшее построение максимального независимого множества бессмысленно - вершины из A[j] не попадут в него. Замечание 2. Если нет вершин из Qm, удовлетворяющих первому замечанию, то какую вершину из Qp следует выбирать? Ответ: вершину i?(Qp?A[j]) для некоторого значения j?Qm, причем мощность пересечения множеств A[j] и Qp минимальна. Данный выбор позволяет сократить
Индекс
Элементарные функции
Линейные уравнения
Нелинейные уравнения
Случайные числа
