Дерева та матричні рівняння

Побудувати дерево досяжності

Побудувати дерево досяжності та скласти матрицю змін.

D+ P1 P2 P3 P4 D- P1 P2 P3 P4
t1 0 1 0 0 t1 1 0 0 0
t2 0 1 1 0 t2 1 0 0 0
 t3 0 0 1 0 t3 1 0 0 0
t4 0 0 1 0 t4 0 1 0 0
t5 0 0 0 1 t5 0 0 2 0
t6 1 0 0 0 t6 0 0 0 1

D P1 P2 P3 P4
t1 -1 1 0 0
t2 -1 1 1 0
t3 -1 0 1 0
t4 0 -1 1 0
t5 0 0 -2 1
t6 1 0 0 -1

M = M0 + f*D
Знайти досяжне маркування при запуску:
1 f = (0, 1, 0, 1, 0, 0)
2 f= (0, 1, 0, 1, 1, 1)
3 f = (0, 1, 1, 0, 0, 0)
при M0 = (1, 0, 0, 0)
Розглянути можливість досяжності, тобто знайти вектор запуску:
4 М = (1, 0, 0, 0)
5 М = (0, 0, 1, 0)
6 М = (0, 1, 2, 0)
Відповідь:

1 М = (0, 0, 2, 0)

2 М = (1, 0, 0, 0) початкове

3 М = (-1, 1, 2, 0) не існує

4 f = (0, 1, 0, 1, 1, 1) або (0, х, 0, х, х, х), де х = 1, 2, 3,…. – центральна гілка дерева

5 f = (0, 1, 1, 1, 1, 1) або (1, 0, 0, 1, 0, 0) – права або ліва гілки дерева – замість

червоного можуть бути будь-які однакові значення х=0,1,2,… - центральна
гілка, яка повертає до початкового маркування, а далі вже виконується
права або ліва, що призводить до тупика (0, 0, 1,0)
6 f = ( ) не існує