It is the bipartite Kneser graph H5,2. Он является двудольным графом Кнесера H5,2.
Except for the complete graphs, it is the only Kneser graph whose distinguishing number is not two. За исключением полных графов, есть только кнезеровский граф, характерное число которого не равно двум.
The four-vertex theorem was proved in general by Adolf Kneser in 1912 using a projective argument. Теорема о четырёх вершинах доказана в общем случае Адольфом Кнезером в 1912 году с помощью идей проективной геометрии.
Examples of graphs with arbitrarily large values of odd girth and chromatic number are Kneser graphs and generalized Mycielskians. Примерами графов с произвольно большими значениями нечётного обхвата и хроматического числа являются кнезеровские графы и обобщённые мычельскианы.
This lemma, in turn, can be used to calculate the chromatic number of the Kneser graphs, a problem first solved in a different way by László Lovász. Эту лемму, в свою очередь, можно использовать для вычисления хроматического числа кнезеровских графов, задачи, которую решил Ласло Ловас другим способом.
Alternatively, in terms of the bipartite Kneser graph, the symmetric group on five points acts separately on the two-element and three-element subsets of the five points, and complementation of subsets forms a group of order two that transforms one type of subset into the other. Альтернативно, в терминах двудольного графа Кнесера, симметрическая группа с пятью точками действует раздельно на двухэлементном и трёхэлементном подмножествах пяти точек, и дополнение подмножеств образует группу порядка два, которая преобразует один тип подмножеств в другой.
Мобильная