1. Design a stabilizing algorithm A

1. Design a stabilizing algorithm A that transforms any planar graph into a dag for which the condition P ≡ ∀i ∈ V : outdegree(i) ≤ 5 holds.
2. Use the dag-coloring algorithm B from Section 10.4 such that the desired postcondi- tion Q reflecting a valid six-coloring holds.

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

1. разработка стабилизирующих алгоритма A, который преобразует любой планарного графа в группу доступности базы данных для которого условие P ≡ Пиксели ∈ V: outdegree(i) ≤ 5 держит.2. Используйте алгоритм окраски группы доступности базы данных B из раздела 10.4 что держит желаемый postcondi-tion Q, отражающих действительный шесть окраски.

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

1. Конструкция стабилизирующим алгоритм А , который превращает любой плоский граф в DAG , для которого условие P ≡ ∀i ∈ V:. Полустепень (я) ≤ 5 имеет
2. Используйте DAG-раскраски алгоритм В из раздела 10.4 таким образом, что желаемое постусловий ние Q отражает действительное шесть-раскраску держит.