Найти статью
Цикл (граф)
Граф-цикл (иногда для краткости — просто цикл; не следует путать с циклом как подграфом произвольного графа) — граф на n вершинах, представляющий собой одну замкнутую цепь: каждая вершина смежна ровно с двумя другими. Граф-цикл с n вершинами обозначают как Cn. Число вершин в Cn равно числу рёбер, и каждая вершина имеет степень 2, то есть любая вершина инцидентна ровно двум рёбрам[2].
Общие сведения
Что важно знать
| Граф-цикл | |
|---|---|
| Вершин | n |
| Рёбер | n |
| Обхват | n |
| Автоморфизмы | 2n (Dn) |
| Хроматическое число | 3 если n нечётно, и 2, если чётно |
| Хроматический индекс | 3 если n нечётно, и 2, если чётно |
| Спектр | {2 cos(2 k π / n), k = 1, …, n}[1] |
| Свойства |
2-регулярный
эйлеров |
Терминология
Для графа-цикла используются также другие названия: простой граф-цикл и циклический граф, хотя последний термин употребляется нечасто, поскольку он может относиться к графам, не являющимся ациклическими. Иногда употребляются термины цикл, многоугольник или n-угольник. Цикл с чётным числом вершин называют чётным циклом, а с нечётным числом вершин — нечётным циклом.
Свойства
Граф-цикл:
- связен;
- 2-регулярен;
- эйлеров;
- гамильтонов;
- раскрашиваем в два цвета тогда и только тогда, когда он имеет чётное число вершин. Граф является двудольным тогда и только тогда, когда он не имеет нечётных циклов (в качестве подграфов) (Кёниг, 1936)[3];
- рёберно-2-раскрашиваем тогда и только тогда, когда он имеет чётное число вершин;
- вершинно-раскрашиваем в 3 цвета и рёберно-3-раскрашиваем для любого числа вершин.;
- является графом единичных расстояний.
Кроме того:
- поскольку графы-циклы можно нарисовать в виде правильных многоугольников, симметрии графа-цикла с n вершинами те же самые, что и у правильного многоугольника с n сторонами, то есть диэдрическая группа порядка 2n. В частности, существуют симметрии, переводящие любую вершину в любую другую вершину и любое ребро в любое другое ребро, так что граф-цикл на n вершинах является симметричным графом.
Ориентированный граф-цикл
Ориентированным графом-циклом называется ориентированная версия графа-цикла, в которой все дуги направлены в одном и том же направлении.
В ориентированном графе множество дуг, которые содержат хотя бы одну дугу из каждого ориентированного цикла, называется разрывающим множеством дуг. Подобным образом, множество вершин, содержащих по меньшей мере одну вершину из каждого ориентированного цикла, называется разрезающим циклы множеством вершин.
Ориентированный граф-цикл имеет постоянную полустепень захода 1 и постоянную полустепень исхода 1.
Ориентированные графы-циклы являются графами Кэли для циклических групп[4].
Примечания
- ↑ Цветкович Д., Дуб М., Захс Х. Спектры графов: Теория и применение / Пер. с англ. — Киев: Наукова думка, 1984. — С. 9–14.
- ↑ Харари Ф. Теория графов / Пер. с англ. — М.: Мир, 1973. — Гл. 2 «Графы», разд. «Типы графов».
- ↑ Харари Ф. Теория графов / Пер. с англ. — М.: Мир, 1973. — Гл. 2 «Графы», разд. «Типы графов», с. 31.
- ↑ Глава 4. Группы и алгебры // Библиотека МЦНМО. (дата обращения: 31.08.2026).
Литература
- Харари Ф. Теория графов / Пер. с англ. — М.: Мир, 1973.
- Цветкович Д., Дуб М., Захс Х. Спектры графов: Теория и применение / Пер. с англ. — Киев: Наукова думка, 1984.
Ссылки
- Weisstein, Eric W. Cycle Graph (англ.) на сайте Wolfram MathWorld. — содержит обсуждение циклов как 2-регулярных графов, а также групповые концепции (включая связь с циклическими группами).
