If the actions of B do not negate a

If the actions of B do not negate any enabled guard of A, we can use the idea of con- vergence stairs [GM91] and run the two components concurrently to produce the desired coloring. We revisit algorithm B for coloring the dag. Recall that

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

Если действия B не сводит на нет все включено охранник A, мы можем использовать идею кон Вёрдженс лестницы [GM91] и запустить два компонента одновременно для получения желаемой окраски. Мы возвращаемся к алгоритм B для окраски группы доступности базы данных. Напомним, что

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

Если действия B не отрицают какой-либо поддержкой щитка, мы можем использовать идею сходимостью лестницы [GM91] и запустить одновременно два компонента для получения желаемой окраски. Мы вновь алгоритм В для окрашивания DAG. Напомним, что