Куби́ческий граф — граф, в котором все вершины имеют степень три. Другими словами, кубический граф является 3-регулярным. Кубические графы называются также тривалентными.
Граф Фрухта является одним из двух наименьших кубических графов без симметрий — он обладает единственным автоморфизмом — тождественным автоморфизмом.
Раскраска и независимые множества
Согласно теореме Брукса любой кубический граф, отличный от полного графа, можно раскрасить в три цвета. Таким образом, любой кубический граф, отличный от , имеет независимое множество, имеющее не менее вершин, где — число вершин графа.
Согласно теореме Визинга, для любого кубического графа нужно три или четыре цвета для раскраски рёбер. Рёберная раскраска в 3 цвета известна как раскраска Тэта, и она образует разбиение рёбер графа на три совершенных паросочетания. По теорема Кёнига любой бикубический граф имеет раскраску Тэта.
Кубические графы естественным образом возникают во многих разделах топологии, в частности, при изучении CW-комплексов. Также кубическими являются графы простых многогранников в трёхмерном пространстве, таких, как додекаэдр.
Произвольное вложение графа в двумерную поверхность можно представить в виде структуры кубического графа, известной как карта кодировки графа. В этой структуре каждая вершина кубического графа представляется как флаг вложения, и представляет собой тройку — вершина, ребро и грань. Три соседа каждого флага — это три флага, которые можно получить, изменив один из элементов флага и оставив два других[4].
Если выбрать кубический граф случайно из всех кубических графов с n вершинами, с большой вероятностью он будет гамильтоновым — отношение графов с n вершинами, являющихся гамильтоновыми, ко всем кубическим графам стремится к единице при n стремящемся к бесконечности[8].
Дэвид Эпштейн[англ.] высказал гипотезу, что кубический граф с n вершинами имеет максимум 2n/3 (что примерно 1,260n) различных гамильтоновых циклов и представил примеры графов с таким числом циклов[9]. Лучшая верхняя доказанная граница числа различных гамильтоновых циклов равна 1,276n[10].
Другие свойства
Путевая ширина графа любого кубического графа с n вершинами не превосходит n/6. Однако лучшая известная нижняя граница путевой ширины графа меньше, она равна 0,082n[11].
Из леммы о рукопожатиях, доказанной Эйлером в 1736 году, как части его первой работы по теории графов, следует, что любой кубический граф имеет чётное число вершин.
Теорема Петерсена утверждает, что любой кубический граф без мостов имеет совершенное паросочетание[12].
Ловас и Пламмер[англ.] высказали гипотезу, что любой кубический граф без мостов имеет экспоненциальное число совершенных паросочетаний. Гипотеза недавно доказана, а именно доказано, что любой кубический граф с n вершинами имеет как минимум 2n/3656 совершенных паросочетаний[13].
↑Julius Peter Christian Petersen. Die Theorie der regulären Graphs (The theory of regular graphs) // Acta Mathematica. — 1891. — Т. 15, вып. 15. — С. 193—220. — doi:10.1007/BF02392606.
↑Louis Esperet, František Kardoš, Andrew D. King, Daniel Král, Serguei Norine. Exponentially many perfect matchings in cubic graphs // Advances in Mathematics. — 2011. — Т. 227, вып. 4. — С. 1646—1664. — doi:10.1016/j.aim.2011.03.015.