Радиоокраска

Радиоокраска неориентированного графа — это разновидность раскраски графа в теории графов и разделе математики, при которой вершинам графа присваиваются положительные целые значения так, что значения, присвоенные смежным вершинам, различаются как минимум на две, а значения вершин, находящихся на расстоянии двух, различаются как минимум на единицу. Радиоокраска была впервые исследована в работе Григгс & Йе (1992), где использовался иной термин — L(2,1)-маркировка[1][2]. Термин «радиоокраска» был предложен Фрэнком Харэри, поскольку эта задача моделирует назначение каналов в радиовещании с целью предотвращения электромагнитных помех между станциями, находящимися рядом как в графе, так и по спектру частот. Ширина радиоокраски — это максимальное значение, присвоенное вершине, а номер радиоокраски графа — это минимально возможная ширина радиоокраски графа[1]. Например, для графа из двух вершин, соединённых ребром, номер радиоокраски равен 3: имеется радиоокраска с метками 1 и 3, однако использовать только 1 и 2 невозможно.

Вычислительная сложность

Поиск радиоокраски с заданной шириной является NP-полной задачей, даже если рассматривать только плоские графы, сплит-графы или дополнения бипартитных графов[1][3]. Однако для деревьев и кографов задача решается за полиномиальное время[1][4]. Для произвольных графов задача решается за экспоненциальное время, значительно быстрее, чем полный перебор всех возможных раскрасок[5][6].

Другие свойства

Хотя номер радиоокраски n-вершинного графа может изменяться от 1 до 2n - 1, почти все графы на n вершинах имеют номер радиоокраски ровно n. Это связано с тем, что такие графы почти всегда имеют диаметр не менее двух (что требует разных «цветов» для всех вершин, и, соответственно, номер радиоокраски не меньше n), а также почти всегда содержат гамильтонов путь в дополнении графа. Соседним вершинам этого пути можно присвоить последовательные метки, что позволяет выполнить радиоокраску без пропуска номеров[7].

Примечания

  1. 1 2 3 4 Broersma, Hajo. Combinatorial geometry and graph theory : [англ.]. — Springer, Berlin, 2005. — Vol. 3330. — P. 65–79. — ISBN 978-3-540-24401-1. — doi:10.1007/978-3-540-30540-8_7.
  2. Griggs, Jerrold R.; Yeh, Roger K. (1992). “Labelling graphs with a condition at distance 2”. SIAM Journal on Discrete Mathematics [англ.]. 5 (4): 586—595. DOI:10.1137/0405048. Дата обращения 2024-06-15.
  3. Bodlaender, Hans L. STACS 2000: 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17–19, 2000, Proceedings : [англ.] / Hans L. Bodlaender, Ton Kloks, Richard B. Tan … [et al.]. — Springer, Berlin, 2000. — Vol. 1770. — P. 395–406. — ISBN 978-3-540-67141-1. — doi:10.1007/3-540-46541-3_33.
  4. Chang, Gerard J.; Kuo, David (1996). “The L(2,1)-labeling problem on graphs”. SIAM Journal on Discrete Mathematics [англ.]. 9 (2): 309—316. DOI:10.1137/S0895480193245339. Дата обращения 2024-06-15. |access-date= требует |url= (справка)
  5. Havet, Frédéric; Klazar, Martin; Kratochvíl, Jan; Kratsch, Dieter; Liedloff, Mathieu (2011). “Exact algorithms for L(2,1)-labeling of graphs” (PDF). Algorithmica [англ.]. 59 (2): 169—194. DOI:10.1007/s00453-009-9302-7. Дата обращения 2024-06-15.
  6. Junosza-Szaniawski, Konstanty; Rzążewski, Paweł (2011). “On the complexity of exact algorithm for L(2,1)-labeling of graphs”. Information Processing Letters [англ.]. 111 (14): 697—701. DOI:10.1016/j.ipl.2011.04.010. Дата обращения 2024-06-15.
  7. Harary, Frank. Graph colouring and applications (Montréal, QC, 1997) : [англ.] / Frank Harary, Michael Plantholt. — Providence, RI : American Mathematical Society, 1999. — Vol. 23. — P. 99–100.