Меню
Главная
Случайная статья
Настройки
|
Степень k (записывается Gk) неориентированного графа G — это другой граф, имеющий тот же самый набор вершин, и две вершины этого графа смежны, если расстояние между этими вершинами в исходном графе G не превышает k. Для указания степени графа используется терминология, аналогичная степеням чисел — G2 называется квадратом графа G, G3 называется кубом[1].
Степень графа не следует путать с умножением графа на себя, который (в отличие от степени графа), в общем случае, имеет много больше вершин, чем исходный граф.
Содержание
Свойства
Если диаметр графа равен d, то его d-ая степень является полным графом[2]. Если семейство графов имеет ограниченную кликовую ширину, то это же верно и для d-х степеней графов семейства для любого фиксированного d[3].
Раскраска
Раскраску квадрата графа можно использовать для назначения частот участникам беспроволочной сети таким образом, чтобы никакие два участника не мешали бы друг другу и любому другому из общих соседей[4], а также для поиска графического представления графов с большим угловым разрешением[5].
Как хроматическое число, так и вырожденность k-ой степени планарного графа с максимальной степенью вершины равны , где граница вырождения показывает, что можно использовать алгоритм жадной раскраски для раскраски графа таким числом цветов[4]. Для случая квадрата планарного графа Вегнер в 1977 году высказал гипотезу, что хроматическое число такого графа не превышает , и на текущий момент известно, что хроматическое число не превышает [6][7]. Более обще, для любого графа с вырождением d и максимальной степенью вырождение квадрата графа равно O(d), так что многие виды разреженных графов, отличные от планарных графов, также имеют пропорциональное хроматическое число квадрата.
Хотя хроматическое число квадрата непланарного графа с максимальной степенью может быть в худшем случае пропорционально 2, оно меньше для графов с большим обхватом и для этого случая ограничено числом O(2/log )[8].
Задача определения минимального числа цветов для раскраски квадратного графа NP-трудна даже для планарного случая[9]
Гамильтоновость
Куб любого связного графа обязательно содержит гамильтонов цикл[10]. Квадрат связного графа не обязательно будет содержать гамильтонов цикл и задача определения, что такой цикл содержится в квадрате, NP-полна[11]. Тем не менее, согласно теореме Фляйшнера, квадрат вершинно 2-связного графа всегда гамильтонов[12].
Вычислительная сложность
Степень k графа с n вершинами и m рёбрами можно получить за время O(mn) путём применения поиска в ширину, который осуществляется для каждой вершины графа с целью нахождения расстояний до всех других вершин. Альтернативно, если A — матрица смежности графа, модифицированная таким образом, что на главной диагонали не стоят нулевые элементы, то ненулевые элементы матрицы Ak дают матрицу смежности k-ой степени графа[13], откуда следует, что построение k-ой степени графа может быть осуществлено за время, равное, с точностью до логарифмического множителя, времени умножения матриц.
Если граф задан, определение, не является ли он квадратом другого графа, является NP-полной задачей[14].
Более того, NP-полной задачей является определение, является ли граф k-ой степенью другого графа для любого заданного числа k 2, а также является ли он k-ой степенью двудольнго графа для k > 2[15].
Порождённые подграфы
Полуквадрат[англ.] двудольного графа
Степени листьев[англ.] — это подграфы степеней деревьев, порождённые листьями деревьев[18].
Примечания
- Bondy, Murty, 2008, с. 82.
- Weisstein, Eric W. Graph Power (англ.) на сайте Wolfram MathWorld.
- Todinca, 2003, с. 370–382.
- 1 2 Agnarsson, Halldrsson, 2000, с. 654–662.
- Formann, Hagerup, Haralambides и др., 1993, с. 1035–1052.
- F. & H. Kramer, 2008, с. 422–426.
- Molloy, Salavatipour, 2005, с. 189–213.
- Alon, Mohar, 2002, с. 1–10.
- Агнаррссон и Халлдорссон (Agnarsson, Halldrsson 2000) перечислили в своей статье публикации доказательства NP-трудности для случая общих графов, (статьи Маккормика (McCormick, 1983) и статьи Лина и Скиена (Lin, Skiena, 1995)), и для планарных графов (статьи Раманатхана и Ллойда (Ramanathan, Lloyd, 1992-1993)).
- Bondy, Murty, 2008, с. 105.
- Underground, 1978, с. 323.
- Diestel, 2012.
- Hammack, Imrich, Klavar, 2011.
- Motwani, Sudan, 1994, с. 81-88.
- Le, Nguyen, 2010, с. 238–249.
- Chen, Grigni, Papadimitriou, 2002, с. 127–138.
- Шпекторов, 1993.
- Nishimura, Ragde, Thilikos, 2002, с. 69–108.
Литература- Adrian Bondy, U. S. R. Murty. Graph Theory. — Springer, 2008. — Т. 244. — (Graduate Texts in Mathematics). — ISBN 9781846289699.
- M. Formann, T. Hagerup, J. Haralambides, M. Kaufmann, F. T. Drawing graphs in the plane with high resolution // SIAM Journal on Computing. — 1993. — Т. 22, вып. 5. — doi:10.1137/0222063.
- Florica Kramer, Horst Kramer. A survey on the distance-colouring of graphs // Discrete Mathematics. — 2008. — Т. 308, вып. 2-3. — doi:10.1016/j.disc.2006.11.059.
- Michael Molloy, Mohammad R. Salavatipour. A bound on the chromatic number of the square of a planar graph // Journal of Combinatorial Theory. — 2005. — Т. 94, вып. 2. — doi:10.1016/j.jctb.2004.12.005.
- Noga Alon, Bojan Mohar. The chromatic number of graph powers // Combinatorics, Probability and Computing. — 2002. — Т. 11, вып. 1. — doi:10.1017/S0963548301004965.
- Polly Underground. On graphs with Hamiltonian squares // Discrete Mathematics. — 1978. — Т. 21, вып. 3. — doi:10.1016/0012-365X(78)90164-4.
- R. Motwani, M. Sudan. Computing roots of graphs is hard // Discrete Applied Mathematics. — 1994. — Т. 54. — P. 81–88. — doi:10.1016/0166-218x(94)00023-9.
- Zhi-Zhong Chen, Michelangelo Grigni, Christos H. Papadimitriou. Map graphs // Journal of the ACM. — 2002. — Т. 49, вып. 2. — doi:10.1145/506147.506148.
- Shpectorov. On scale embeddings of graphs into hypercubes // European Journal of Combinatorics. — 1993. — Т. 14, вып. 2. — doi:10.1006/eujc.1993.1016.
- N. Nishimura, P. Ragde, D.M. Thilikos. On graph powers for leaf-labeled trees // Journal of Algorithms. — 2002. — Т. 42. — doi:10.1006/jagm.2001.1195.
|
|