Анализ графов на ЭВМ - 11 стр.

 2. Протоколы и результаты выполнения операций отождествления
вершин      (стягивания        ребра),      расщепления         вершины         объединения,
пересечения, кольцевой суммы, декартова произведения графов в
матричной и графической формах.
                                  Контрольные вопросы
 1. Задан неориентированный граф G. В графе удаляются вершина и два
ребра. Существенна ли последовательность выполнения операций?
 2. Как выглядит колода P(G) п — вершинного графа G, если все
подграфы, входящие в колоду, выписать следующим образом:
                                 G1 = G - vi, i = 1, 2, ..., n?
 3. К = {{1, 2}; {1, 2}} — полный двухвершинный граф, Q = ({{1,2,3,4};
{{1, 2}; {2, 3}; {3, 4}; {4, 1}} - двумерный куб. Верно ли, что граф R = К × Q
- трехмерный куб?
 4. Графы H = H1 ∪ H2 и Q являются подграфами полного n-вершинного
графа. Выполняется ли для них соотношение
                            H × Q = (H1 ∪ H2) × Q = H1 × Q ∪ H2 × Q?

                                Лабораторная работа № 3
                      АНАЛИЗ СВОЙСТВ СЕТЕЙ ПЕТРИ
       Цель работы - изучение форм представления сетей Петри и их
анализ в среде системы компьютерной математики Mathcad.
                          Основные понятия и определения
       Cеть     Петри       представляется          четверткой       C = P, T , I , O ,      где

P = { p1 , p2 , ... , pn } – конечное множество позиций ( n ≥ 0 ) , T = { t1 , t 2 , ... , t m } –

конечное множество переходов                   ( m ≥ 0) ,   I : T → P∞      – отображение
множества переходов в комплекты входных позиций (входная функция),

O : T → P ∞ – отображение множества переходов в комплекты выходных




                                               11