В теории графов интервальная раскраска рёбер — это тип раскраски рёбер , при котором рёбра помечаются целыми числами из некоторого интервала , каждое целое число из интервала используется по крайней мере одним ребром, а в каждой вершине метки, которые появляются на инцидентных рёбрах, образуют последовательный набор различных чисел.
Концепция последовательной раскраски рёбер была введена с терминологией « интервальная раскраска рёбер» Асратяном и Камалианом в 1987 году в их статье «Интервальная раскраска рёбер мультиграфа». [1] С тех пор, как была введена интервальная раскраска рёбер графов, математики исследовали существование графов, допускающих интервальную раскраску рёбер, поскольку не все графы допускают интервальную раскраску рёбер. Простое семейство графов, допускающее интервальную раскраску рёбер, — это полный граф чётного порядка, а контрпример семейства графов включает полные графы нечётного порядка. Наименьший граф, не допускающий интервальную раскраску. Существуют чётные графы с 28 вершинами и максимальной степенью 21, которые не являются интервально раскрашиваемыми Севастьяновым, хотя интервальная раскраска графов с максимальной степенью, лежащей между четырьмя и двенадцатью, до сих пор неизвестна.
Асратян и Камалян (1987) доказали, что если граф интервально раскрашиваем, то хроматическое число ребер меньше или равно числу его вершин на единицу, а также отметили, что если G является r-регулярным, то G имеет интервальную раскраску тогда и только тогда, когда G имеет правильную r-раскраску ребер. [1]
Раскраска интервальных ребер исследуется в регулярных графах, двудольных графах , которые являются регулярными и нерегулярными, планарных графах, среди других расширений, которые были начаты в раскраске интервальных ребер.
Пусть G — простой интервальный граф. Раскраска ребер графа G цветами 1, 2, . . . , t называется «интервальной t-раскраской», если для каждого i ∈ {1, 2, . . . , t } существует хотя бы одно ребро графа G, раскрашенное в i , и цвета ребер, инцидентных любой вершине графа G , различны и образуют интервал целых чисел. [2] Альтернативно, интервальная раскраска ребер определяется как: Раскраска ребер графа G цветами 1. . . t называется « интервальной t-раскраской» , если используются все цвета, и цвета ребер, инцидентных каждой вершине графа G, различны и образуют интервал целых чисел. Граф G является «интервальным раскрашиваемым», если G имеет интервальную t-раскраску для некоторого положительного целого числа t . Пусть N — множество всех интервально раскрашиваемых графов. Для графа G ∈ N наименьшее и наибольшее значения t , для которых G имеет интервальную t -раскраску, обозначаются w ( G ) и W ( G ) соответственно. Интервальная раскраска ребер графа называется справедливой интервальной раскраской ребер, если любые два цветовых класса графа отличаются не более чем на единицу.
Множество цветов ребер, инцидентных вершине (x), называется спектром ( x ). Мы говорим, что подмножество R вершин графа G имеет i -свойство , если существует правильная t -раскраска ребер графа G , которая является интервальной над R.
Если граф без треугольников G=(V,E) имеет интервальную t-раскраску, то t ≤ |V|−1. Асратян и Камалян доказали, что если G является интервально раскрашиваемым, то χ'(G)=∆(G). [1] [3]
Петросян исследовал интервальные раскраски полных графов и n-мерных кубов и показал, что если n ≤ t ≤ n(n+1)/2, то n-мерный куб Qn имеет интервальную t-раскраску. [2] Аксенович доказал, что все внешнепланарные триангуляции с более чем тремя вершинами и без разделяющих треугольников являются интервально раскрашиваемыми. [4] Если G — регулярный граф w(G)=∆(G) и G имеет интервальную t-раскраску для каждого t, то w(G) ≤ t ≤ W(G).
(1) w ( K m,n ) = m + n − НОД(m, n),
(2) W ( К m,n ) = m + n − 1,
(3) если w ( K m,n ) ≤ t ≤ W ( K m,n ), то K m,n имеет интервальную t-раскраску.
w (G[ K m,n ]) ≤ (w(G) + 1)(m + n) − 1 и W (G[ K m,n ]) ≥ (W(G) + 1)(m + n) − 1.
Интервальная раскраска ребер внешнепланарных графов была исследована Джиаро и Кубале и доказала, что все внешние планарные двудольные графы допускают интервальную раскраску. [5]
Доказательство: Пусть c 1 — интервальная раскраска графа 'G 1 ', такая, что e=xy получает наименьшую метку среди ребер, инцидентных x и y . Возьмем c 1 (e)=0. Рассмотрим интервальную раскраску c 1 графа G 1 , где e получает наибольшую метку среди ребер, инцидентных x и y . Скажем, c 2 (e)=i . Затем мы строим интервальную раскраску c графа G как c(e') = c 1 (e'), если (e') ∈ E(G 1 ) или c(e') = c 2 (e') - i , если (e') ∈ E(G 1 ) .
Двудольный граф является (a, b)-бирегулярным, если каждая вершина в одной части имеет степень a, а каждая вершина в другой части имеет степень b. Было высказано предположение, что все такие графы имеют интервальную раскраску. Хансен доказал, что каждый двудольный граф G с ∆(G) ≤ 3 является интервально раскрашиваемым.
k-интервальная раскраска ребер графа называется справедливой k-интервальной раскраской ребер, если ее множество ребер E разбито на K подмножеств E 1 ,E 2 ,...,E k таким образом, что E i является независимым множеством и условие -1 ≤ E i ≤ E j ≤ 1 выполняется для всех 1 ≤i ≤k,1 ≤j ≤k. Наименьшее целое число k, для которого G является справедливой интервальной раскраской ребер, называется справедливым хроматическим числом интервальной раскраски ребер графа G и обозначается как .
Интервальная раскраска ребер имеет широкое применение в различных областях науки и планирования.