В теории графов круговая раскраска — это вид раскраски, который можно рассматривать как уточнение обычной раскраски графа . Круговое хроматическое число графа , обозначаемое , может быть задано любым из следующих определений, все из которых эквивалентны (для конечных графов).
является инфимумом по всем действительным числам, так что существует отображение из в окружность с длиной окружности 1, обладающее тем свойством, что любые две смежные вершины отображаются в точки, находящиеся на расстоянии вдоль этой окружности.
является инфимумом по всем рациональным числам, так что существует отображение из в циклическую группу со свойством, что соседние вершины отображаются в элементы, находящиеся на расстоянии друг от друга.
В ориентированном графе объявить дисбаланс цикла деленным на минимальное из числа ребер, направленных по часовой стрелке, и числа ребер, направленных против часовой стрелки. Определить дисбаланс ориентированного графа как максимальный дисбаланс цикла. Теперь, — минимальный дисбаланс ориентации .
Это сравнительно легко увидеть (особенно используя 1 или 2), но на самом деле . Именно в этом смысле мы рассматриваем круговое хроматическое число как уточнение обычного хроматического числа.
Круговая раскраска была первоначально определена Винсом (1988), который назвал ее «звездной раскраской».
Раскрашивание двойственно по отношению к теме потоков, не равных нулю , и, действительно, круговая раскраска имеет естественное двойственное понятие: круговые потоки.
Круговые полные графы
Для целых чисел , таких что , круговой полный граф (также известный как круговая клика ) — это граф с множеством вершин и ребрами между элементами на расстоянии
То есть вершина i смежна с:
Тогда круговая раскраска, согласно второму определению выше, является гомоморфизмом в круговой полный граф. Важнейший факт об этих графах заключается в том, что допускает гомоморфизм в тогда и только тогда, когда Это оправдывает обозначение, поскольку если то и гомоморфно эквивалентны. Более того, порядок гомоморфизма между ними уточняет порядок, заданный полными графами, до плотного порядка , соответствующего рациональным числам . Например,
или эквивалентно
Пример на рисунке можно интерпретировать как гомоморфизм из цветочного снарк J 5 в K 5/2 ≈ C 5 , что происходит раньше, чем соответствует тому факту, что