Гипотеза Хивуда
Гипотеза Хивуда , или теорема Рингеля — Янгса даёт нижнюю границу для числа цветов, которые необходимы для раскраски графа на поверхности с заданным родом. Эта граница называется хроматическим числом поверхности или числом Хивуда. Для поверхностей рода 0, 1, 2, 3, 4, 5, 6, 7, ..., требуемое число цветов равно 4, 7, 8, 9, 10, 11, 12, 12, ....
A000934,.
Гипотеза была сформулирована в 1890-ом году Перси Джоном Хивудом и доказана в 1968 Герхардом Рингелем и Тедом Янгсом. Один случай, а именно, неориентированная Бутылка Клейна , является исключением в общей формуле. Совершенно другой подход был нужен для куда более старой задачи нахождения числа цветов, необходимых для плоскости или сферы , и решённой в 1976 Вольфгангом Хакеном и Кеннтеом Аппелем (теорема о четырёх красках ). На сфере нижнюю границу найти легко, а на поверхностях более высокого рода легко установить верхнюю границу и она была доказана в оригинальной короткой статье Хивуда, содержащей формулировку гипотезы. Другими словами, для доказательства теоремы Рингель, Янгс и другие должны были сконструировать экстремальные примеры для каждого рода поверхности g = 1,2,3,.... Если g = 12s + k, род поверхности распадается на 12 случаев согласно остатку k = 0,1,2,3,4,5,6,7,8,9,10,11. Годы, в которые были решены двенадцать случаев и кто их решил:
1954, Рингель: случай 5
1961, Рингель: случаи 3,7,10
1963, Терри, Велч, Янгс: случаи 0,4
1964, Густин, Янгс: случай 1
1965, Густин: случай 9
1966, Янгс: случай 6
1967, Рингель, Янгс: случаи 2,8,11Последние семь отдельных исключений были решены:
1967, Майер: случаи 18, 20, 23
1968, Рингель, Янгс: случаи 30, 35, 47, 59 и гипотеза была доказана. Источник: Википедия
Связанные понятия
Число пересечений графа — наименьшее число элементов в представлении данного графа как графа пересечений конечных множеств, или, эквивалентно, наименьшее число клик, необходимых для покрытия всех рёбер графа.
Косое разбиение графа — это разбиение его вершин на два подмножества, такое что порождённый подграф, образованный одним из его подмножеств вершин является несвязным, а другой порождённый подграф, образованный другим подмножеством является дополнением несвязного графа. Косые разбиения играют важную роль в теории совершенных графов.
Хроматический многочлен — многочлен, изучаемый в алгебраической теории графов. Многочлен считает число раскрасок графа как функции от числа цветов. Многочлен первоначально определил Джордж Дейвид Биркгоф в попытке атаки на проблему четырёх красок. Многочлен обобщили Х. Уитни и У. Т. Тат до многочлена Тата, связав его с моделью Поттса статистической физики.
Алгебраическая теория графов — это ветвь математики, в которой применяются алгебраические методы к задачам с графами. Другие подходы к задачам с графами — это геометрический, комбинаторный и алгоритмический. Существует три основные ветви алгебраической теории графов — две ветви используют линейную алгебру и теорию групп, а одна ветвь изучает инварианты графа.
Теорема де Брёйна — Эрдёша — классическая теорема теории графов доказанная Палом Эрдёшем и Николаасом де Брёйном.
В теории графов короной с 2n вершинами называется неориентированный граф с двумя наборами вершин ui и vi и рёбрами между ui и vj, если i ≠ j. Можно рассматривать корону как полный двудольный граф, из которого удалено совершенное паросочетание, как двойное покрытие двудольным графом полного графа, или как двудольный граф Кнезера Hn,1, представляющий подмножества из 1 элемента и (n − 1) элементов множества из n элементов с рёбрами между двумя подмножествами, если одно подмножество содержится в другом...
Подробнее: Корона (теория графов)
Бутылка Клейна (или Кляйна) — неориентируемая (односторонняя) поверхность, впервые описанная в 1882 году немецким математиком Ф. Клейном. Она тесно связана с лентой Мёбиуса и проективной плоскостью.
Задача Рамсея , задача о знакомствах среди шести человек — это математическая теорема в теории Рамсея, частный случай теоремы Рамсея.
Обобщённый многоугольник — это структура инцидентности, предложенная Жаком Титсом в 1959 году. Обобщённые n-угольники вмещают в качестве частных случаев проективные плоскости (обобщённые треугольники, n=3) и обобщённые четырёхугольники (n=4). Многие обобщённые многоугольники получаются из групп типа Ли, но существуют некоторые экзотические обобщённые многоугольники, которые таким способом не получаются. Обобщённые многоугольники, удовлетворяющие условию, известному как свойство Муфанга, полностью...
В теории графов циркулянтным графом называется неориентированный граф, имеющий циклическую группу симметрий, которая включает симметрию, переводящую любую вершину в любую другую вершину.
Подробнее: Циркулянтный граф
Теорема Галлаи – Хассе – Роя – Витавера — это вид двойственности между раскрасками вершин заданного неориентированного графа и ориентациями его рёбер. Теорема утверждает, что минимальное число красок, необходимых для правильной раскраски любого графа G, на единицу больше длины максимального пути в ориентации графа G, в которой эта длина пути минимальна. В ориентации, в которых путь максимальной длины имеет минимальную длину, всегда входит по меньшей мере одна ациклическая ориентация.
Комбинаторика многогранников — это область математики, принадлежащая комбинаторике и комбинаторной геометрии и изучающая вопросы подсчёта и описания граней выпуклых многогранников.
В теории графов частичный куб — это подграф гиперкуба, сохраняющий расстояния (в терминах графов) — расстояние между любыми двумя вершинами подграфа, то же самое, что и в исходном графе. Эквивалентно, частичный куб — это граф, вершины которого можно пометить битовыми строками одинаковой длины, так что расстояние между двумя вершинами в графе равно расстоянию Хэмминга между этими двумя метками. Такая разметка называется разметкой Хэмминга и она представляет изометричное вложение частичного куба в...
Теорема об упаковке кругов (известная также как теорема Кёбе — Андреева — Тёрстона) описывает возможные варианты касания окружностей, не имеющих общих внутренних точек. Граф пересечений (иногда называемый графом касаний) упаковки кругов — это граф, вершины которого соответствуют кругам, а рёбра — точкам касания. Если упаковка кругов осуществляется на плоскости (или, что эквивалентно, на сфере), то их граф пересечений называется графом монет. Графы монет всегда связны, просты и планарны. Теорема упаковки...
Теорема о четырёх красках — теорема, которая утверждает, что всякую расположенную на сфере карту можно раскрасить не более чем четырьмя разными цветами (красками) так, чтобы любые две области с общим участком границы были раскрашены в разные цвета. При этом области могут быть как односвязными, так и многосвязными (в них могут присутствовать «дырки»), а под общим участком границы понимается часть линии, то есть стыки нескольких областей в одной точке не считаются общей границей для них. Задача раскраски...
Построение Хайоша — это операция над графами, названная именем венгерского математика Дьёрдя Хайоша, которая может быть использована для построения любого критического графа или любого графа, хроматическое число которого не меньше некоторого заданного порога.
Задача о гамильтоновом пути и задача о гамильтоновом цикле — это задачи определения, существует ли гамильтонов путь (путь в неориентированном или ориентированном графе, который проходит все вершины графа ровно один раз) или гамильтонов цикл в заданном графе (ориентированном или неориентированном). Обе задачи NP-полны.
Многоугольник Петри для правильного многогранника в размерности n — это пространственный многоугольник, такой что любые (n-1) последовательных ребра (но не n) принадлежат одной (n-1)-мерной грани.
Отношение инцидентности — это бинарное отношение между двумя различными типами объектов. Это включает понятия, которые можно выразить такими фразами как «точка лежит на прямой» или «прямая принадлежит плоскости». Наиболее существенное отношение инцидентности — между точкой P и прямой l, которое записывается как P I l. Если P I l, пара (P, l) называется флагом. В разговорном языке существует много выражений, описывающих отношение инцидентности (например, прямая проходит через точку, точка лежит на...
Подробнее: Инцидентность (геометрия)
В теории графов
хорошо покрытый граф (иногда встречается название хорошо укрытый граф) — это неориентированный граф, в котором любое минимальное вершинное покрытие имеет один и тот же размер (как и любое другое минимальное вершинное покрытие). Хорошо покрытые графы определил и изучал Пламмер.
В общей алгебре, термин кручение относится к элементам группы, имеющим конечный порядок, или к элементам модуля, аннулируемым регулярным элементом кольца.
Подробнее: Кручение (алгебра)
Теорема Дилуорса в комбинаторике — утверждение, характеризующее экстремальное свойство для частично упорядоченных множеств.
Неравенство числа пересечений или лемма о пересечениях даёт нижнюю грань минимального числа пересечений данного графа как функцию от числа рёбер и вершин графа. Лемма утверждает, что для графов, у которых число рёбер e достаточно велико по сравнению с числом вершин n, число пересечений по меньшей мере пропорционально e3/n2.
Задача о наименьшей окружности или задача о минимальном покрывающем круге — задача о вычислении наименьшей окружности, содержащей все заданные точки из множества на евклидовой плоскости.
Степень графа не следует путать с умножением графа на себя, который (в отличие от степени графа), в общем случае, имеет много больше вершин, чем исходный граф.
Задача со счастливым концом — утверждение о том, что любое множество из пяти точек на плоскости в общем положении имеет подмножество из четырёх точек, которые являются вершинами выпуклого четырёхугольника.
Планарное накрытие конечного графа G — это конечный накрывающий граф графа G, являющийся планарным графом. Любой граф, который может быть вложен в проективную плоскость, имеет планарное накрытие. Нерешённая гипотеза Сэйи Негами утверждает, что только эти графы и имеют планарные накрытия.
Теорема о совершенных графах Ловаша утверждает, что неориентированный граф является совершенным тогда и только тогда, когда его дополнение также совершенно. Это утверждение высказал в виде гипотезы Берж и утверждение называют иногда слабой теоремой о совершенных графах, чтобы не смешивать со строгой теоремой о совершенных графах, описывающей совершенные графы их запрещёнными порождёнными подграфами.
n-Мерная
целочисленная решётка (или кубическая решётка), обозначается Zn, — это решётка в евклидовом пространстве Rn, точки которой являются n-кортежами целых чисел. Двумерная целочисленная решётка называется также квадратной решёткой. Zn является наиболее простым примером решётки корней. Целочисленная решётка является нечётной унимодулярной решёткой.
В теории групп циклическая перестановка — это перестановка элементов некоторого множества X, которая переставляет элементы некоторого подмножества S множества X циклическим образом, сохраняя на месте остальные элементы X (т.е. отображая их в себя). Например, перестановка {1, 2, 3, 4}, переводящая 1 в 3, 3 в 2, 2 в 4 и 4 в 1 является циклической, в то время как перестановка, переводящая 1 в 3, 3 в 1, 2 в 4 и 4 в 2 циклической не является.
Кососимметрический граф — это ориентированный граф, который изоморфен своему собственному транспонированному графу, графу, образованному путём обращения всех дуг, с изоморфизмом, который является инволюцией без неподвижных точек. Кососимметрические графы идентичны двойным покрытиям двунаправленных графов.
Вероятностный метод — неконструктивный метод доказательства существования математического объекта с заданными свойствами. В основном используется в комбинаторике, но также и в теории чисел, линейной алгебре и математическом анализе, а также в информатике (например, метод вероятностного округления) и теории информации.
В гиперболической геометрии
гиперболический треугольник является треугольником на гиперболической плоскости. Он состоит из трёх отрезков, называемых сторонами или рёбрами, и трёх точек, называемых углами или вершинами.
В геометрии конфигурацией
Мёбиуса или тетраэдрами Мёбиуса называется конфигурация в евклидовом пространстве или проективном пространстве, состоящая из двух взаимно вписанных тетраэдров — каждая вершина одного тетраэдра лежит на плоскости, проходящей через грань другого тетраэдра и наоборот. Таким образом, в результирующей системе восьми точек и восьми плоскостей каждая точка лежит на четырёх плоскостях (три плоскости определяют вершину тетраэдра, а четвёртая плоскость — это плоскость, проходящая...
В геометрии конфигурацией Мёбиуса — Кантора называется конфигурация, состоящая из восьми точек и восьми прямых, такая что на каждой прямой лежат по три точки и через каждую точку проходят по три прямые. Невозможно изобразить точки и прямые с этой моделью инцидентности на евклидовой плоскости, однако можно изобразить на комплексной проективной плоскости.
Конфигурация прямых (или разбиение плоскости прямыми) — это разбиение плоскости, образованное набором прямых.
Теорема Грёча — это утверждение, что любой планарный граф без треугольников может быть раскрашен в три цвета. Согласно теореме о четырёх красках, для любого графа, который может быть нарисован на плоскости без пересечения рёбер, можно раскрасить его вершины не более чем в четыре различных цвета так, что любые два конца любого ребра имеют различные цвета. По теореме же Грёча достаточно лишь три цвета для планарных графов, которые не содержат трёх связанных друг с другом вершин.
Плоскость Фано — конечная проективная плоскость порядка 2, имеющая наименьшее возможное число точек и прямых (7 точек и 7 прямых), с тремя точками на каждой прямой и с тремя прямыми, проходящими через каждую точку. Названа по имени итальянского математика Джино Фано.
Лемма регулярности Семереди — лемма из общей теории графов, утверждающая, что вершины любого достаточно большого графа можно разбить на конечное число групп таких, что почти во всех двудольных графах, соединяющих вершины из двух разных групп, рёбра распределены между вершинами почти равномерно. При этом минимальное требуемое количество групп, на которые нужно разбить множество вершин графа, может быть сколь угодно большим, но количество групп в разбиении всегда ограничено сверху.
Восходящее планарное представление направленного ациклического графа — это вложение графа в евклидово пространство, в котором рёбра представлены как непересекающиеся монотонно возрастающие кривые. То есть, кривая, представляющая любое ребро, должна иметь свойство, что любая горизонтальная прямая пересекает его максимум в одной точке, и никакие два ребра не могут пересекаться, разве что на концах. В этом смысле это идеальный случай для послойного рисования графа, стиля представления графа, в котором...
Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.
Периферийный цикл в неориентированном графе является, интуитивно, циклом, который не отделяет любую часть графа от любой другой части. Периферийные циклы (или, как они сначала назывались, периферийные многоугольники, поскольку Тат называл циклы «многоугольниками»), первым изучал Тат и они играют важную роль в описании планарных графов и в образовании циклических пространств непланарных графов.
Теорема Жордана — классическая теорема геометрии известная благодаря простоте формулировки и чрезвычайной сложности доказательства.
Дробная раскраска — это тема молодой области теории графов, известной как теория дробных графов. Дробная раскраска является обобщением обычной раскраски. В традиционной раскраске графа каждой вершине назначается некий цвет, и смежным вершинам — тем, что связаны рёбрами, — должны быть назначены разные цвета. В дробной раскраске каждой вершине назначается набор цветов.
Правильные четырёхмерные многогранники являются четырёхмерными аналогами правильных многогранников в трёхмерном пространстве и правильных многоугольников на плоскости.
Подробнее: Правильный четырёхмерный многогранник
Полный квадрат или квадратное число — число, являющееся квадратом некоторого целого числа. Иными словами, квадратом является целое число, квадратный корень которого тоже целый.
Диаграмма Вороного конечного множества точек S на плоскости представляет такое разбиение плоскости, при котором каждая область этого разбиения образует множество точек, более близких к одному из элементов множества S, чем к любому другому элементу множества.