Анализ графов на ЭВМ. Методические указания. Макарычев П.П - 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