Смешанный график - Mixed graph
А смешанный граф грамм = (V, E, А) - математический объект, состоящий из набора вершин (или узлы ) V, набор (неориентированных) края E, и набор ориентированных ребер (или дуг) А.[1]
Определения и обозначения
Рассмотрим соседние вершины . А направленный край, называется дуга, является ребром с ориентацией и может быть обозначено как или же (Обратите внимание, что это хвост и - голова дуги).[2] Также ненаправленный край, или же край, является ребром без ориентации и может быть обозначено как или же .[2]
В нашем примере приложения мы не будем рассматривать петли или кратные ребра смешанных графов.
А ходить в смешанном графе - это последовательность вершин и ребер / дуг таких, что для всех индексов , либо является ребром графа или - дуга графа. Эта прогулка дорожка если он не повторяет никаких ребер, дуг или вершин, кроме, возможно, первой и последней вершин. Путь закрыто если его первая и последняя вершины совпадают, а замкнутый путь - это цикл если не повторяет вершины, кроме первой и последней. Смешанный граф ациклический если он не содержит цикла.
Окраска
Смешанную раскраску графов можно рассматривать как разметку или присвоение k разные цвета (где k - целое положительное число) в вершины смешанного графа.[3] Вершинам, соединенным ребром, нужно присвоить разные цвета. Цвета могут быть представлены числами из 1 к k, а для направленной дуги хвост дуги должен быть окрашен в меньшее число, чем голова дуги.[3]
Пример
Например, рассмотрим рисунок справа. Наши доступные k-цвета для раскрашивания нашего смешанного графика: . С и соединены ребром, они должны иметь разные цвета или маркировку ( и обозначены цифрами 1 и 2 соответственно). Еще у нас есть дуга из к . Поскольку ориентация задает порядок, мы должны пометить хвост () с меньшим цветом (или целым числом из нашего набора), чем голова () нашей дуги.
Сильная и слабая окраска
А (сильный) собственно k-крашивание смешанного графа является функцией
куда такой, что если и если .[1]
Можно применить более слабое условие к нашим дугам, и мы можем рассмотреть слабый собственно k-крашивание смешанного графа как функцию
куда такой, что если и если .[1] Возвращаясь к нашему примеру, это означает, что мы можем пометить как голову, так и хвост с положительным целым числом 2.
Существование
Раскраска может существовать или не существовать для смешанного графа. Чтобы смешанный граф имел k-раскраску, граф не может содержать ориентированных циклов.[2] Если такая k-раскраска существует, то мы называем наименьшее k, необходимое для правильной раскраски нашего графа, как хроматическое число, обозначенный .[2] Мы можем подсчитать количество правильных k-раскрасок как полиномиальную функцию от k. Это называется хроматический полином нашего графа G (по аналогии с хроматический полином неориентированных графов) и может быть обозначена как .[1]
Вычисление слабых хроматических полиномов
В метод удаления – сокращения может использоваться для вычисления слабых хроматических многочленов смешанных графов. Этот метод включает удаление (или удаление) ребра или дуги и сжатие (или соединение) оставшихся вершин, инцидентных этому ребру (или дуге), для образования одной вершины.[4] После удаления края , из смешанного графа получаем смешанный граф .[4] Мы можем обозначить это удаление ребра, , так как . Аналогично, удалив дугу, , из смешанного графа получаем где мы можем обозначить удаление в качестве .[4] Также мы можем обозначить сокращение и в качестве и , соответственно.[4] Из предложений, приведенных в,[4] мы получаем следующие уравнения для вычисления хроматического полинома смешанного графа:
Приложения
Проблема с расписанием
Смешанные графики могут использоваться для моделирования планирование работы цеха задачи, в которых должен быть выполнен набор задач с учетом определенных временных ограничений. В задачах такого типа неориентированные ребра могут использоваться для моделирования ограничения, заключающегося в том, что две задачи несовместимы (они не могут выполняться одновременно). Направленные ребра могут использоваться для моделирования ограничений приоритета, в которых одна задача должна выполняться перед другой. Граф, определенный таким образом из задачи планирования, называется дизъюнктивный граф. Задачу раскраски смешанного графа можно использовать, чтобы найти расписание минимальной длины для выполнения всех задач.[2]
Байесовский вывод
Смешанные графики также используются как графические модели за Байесовский вывод. В этом контексте ациклический смешанный граф (без циклов ориентированных ребер) также называется цепной граф. Направленные ребра этих графов используются для указания причинной связи между двумя событиями, в которых исход первого события влияет на вероятность второго события. Вместо этого ненаправленные границы указывают на непричинную корреляцию между двумя событиями. Связная компонента неориентированного подграфа цепного графа называется цепью. Цепной граф можно преобразовать в неориентированный граф, построив его моральный граф, неориентированный граф, сформированный из цепного графа путем добавления неориентированных ребер между парами вершин, которые имеют исходящие ребра, в одну и ту же цепочку, а затем забыв об ориентации направленных ребер.[6]
Примечания
- ^ а б c d Beck et al. (2013, п. 1)
- ^ а б c d е Рис (2007), п. 1)
- ^ а б Хансен, Куплински и де Верра (1997, п. 1)
- ^ а б c d е Beck et al. (2013, п. 4)
- ^ а б Beck et al. (2013, п. 5)
- ^ Cowell et al. (1999).
Рекомендации
- Бек, М .; Blado, D .; Crawford, J .; Жан-Луи, Т .; Янг, М. (2013), "О слабых хроматических многочленах смешанных графов", Графы и комбинаторика, arXiv:1210.4634, Дои:10.1007 / s00373-013-1381-1.
- Коуэлл, Роберт Дж .; Давид, А. Филип; Лауритцен, Штеффен Л.; Шпигельхальтер, Дэвид Дж. (1999), Вероятностные сети и экспертные системы: точные вычислительные методы для байесовских сетей, Springer-Verlag New York, стр. 27, Дои:10.1007/0-387-22630-3, ISBN 0-387-98767-3
- Хансен, Пьер; Куплинский, Хулио; де Верра, Доминик (1997), «Смешанные раскраски графов», Математические методы исследования операций, 45 (1): 145–160, Дои:10.1007 / BF01194253, МИСТЕР 1435900.
- Райс, Б. (2007), "Раскраска некоторых классов смешанных графов", Дискретная прикладная математика, 155 (1): 1–6, Дои:10.1016 / j.dam.2006.05.004, МИСТЕР 2281351.