Создайте схемы, иллюстрирующие процесс достижения целевых узлов в дискретной временной модели среды. Необходимо заранее определить последовательность событий TQ=[t_0,t_1,…], где t_0=0 – время начала симуляции. Существует последовательность множеств

Есть модель, необходимо нарисовать все возможные схемы в цвете, чтобы понять, как работает алгоритм: Временная дискретная модель среды
Слово дискретная обозначает, что время в модели идет не непрерывно, а согласно очереди событий. Исходя из этого, необходимо заранее определить последовательность событий.
Пусть данная последовательность имеет название TimeQueue (далее TQ)
TQ=[t_0,t_1,…]
Где t_0=0 – время начала симуляции.
Также договоримся, что существует набор узлов V_s^(t_0 ), имеющих сообщение на момент времени t_0. (V_s^(t_0 ),V_s^(t_1 ),…) - последовательность множеств, имеющих начальное сообщение. Задача состоит в нахождения inf⁡〖(t_n:V_s^(t_n )∩V_g≠∅)〗, где V_g – множество целевых узлов.
Пусть v∈V – произвольный узел. По протоколу узел v будет слать сообщение в момент времени t_j только в случае, если v∈V_s^(t_j ). В противном случае узел v пропускает отправку сообщения в момент времени t_j.
Назовем очередь на обработку событий ProcessQueue (далее PQ)
PQ будет содержать пары времени и списка вершин, обрабатываемые в данное время:
PQ=[(t_j,[v_1^(t_j ),v_2^(t_j )…]),…]
Данная очередь отсортирована в порядке возрастания t_j, t_j≥t_curr, где t_curr – текущее время системы. t_curr равняется последнему t_j полученному из PQ.
Также для проверки конфликтов необходимо хранить набор уже отправленных сообщений. Структуру хранений сообщений назовем Hystory.
Hystory=[[t_0,0,t_0,1,…],[t_1,0,t_1,1,…],…]
Пусть существует биекция index:v⟶iNode, где iNode – индекс узла. Тогда Hystory[index(v)]→[t_(index(v),0),t_(index(v),1),…] – история отправленных сообщений узлом v.