Главная
Веретено Мозера (веретено Мозеров, граф Мозера) — неориентированный граф, названный в честь математиков Лео Мозера[en] и его брата Вильяма, имеющий семь вершин и одиннадцать рёбер. Он является графом единичных расстояний, требующим четыре цвета в любой раскраске, и его существование используется для доказательства того, что хроматическое число плоскости равно по меньшей мере четырём.
Называют также в честь Дьёрдя Хайоша, поскольку его можно получить в результате построения Хайоша, однако название «граф Хайоша» относится также и к другим графам, имеющим вид треугольника, вписанного в шестиугольник.
Построение
Как граф единичных расстояний, веретено Мозера образуется двумя ромбами с углами 60 и 120 градусов, так что стороны и короткие диагонали ромбов образуют равносторонние треугольники. Два ромба располагаются на плоскости так, что две вершины их острых углов совпадают, а другая пара вершин острых углов располагаются на расстоянии единица. Одиннадцать рёбер графа — это восемь рёбер ромбов, две короткие диагонали, и ребро между двумя острыми вершинами ромбов.
Веретено Мозера можно построить только с точки зрения теории графов, без ссылки на геометрическое вложение, с помощью конструкции Хайоша, начав с двух полных графов по четыре вершины в каждом. Построение удаляет по ребру из каждого полного графа, объединяет две вершины удалённых рёбер в одну вершину, и добавляет новое ребро, соединяющее оставшиеся две конечные вершины удалённых рёбер.
Другой способ построения веретена Мозера — это дополнение графа, образованного из графа K 3 , 3 {displaystyle K_{3,3}} путём разделения одного из его рёбер.
Приложение к задаче Нелсона — Эрдёша — Хадвигера
Задача Нелсона — Эрдёша — Хадвигера спрашивает, сколько цветов требуется для такой раскраски точек евклидовой плоскости, чтобы любые две точки плоскости, лежащие на единичном расстоянии, были покрашены в разные цвета. Фактически это задача о хроматическом числе бесконечного графа, вершинами которого служат все точки плоскости, а рёбрами — все пары точек, лежащих на расстоянии единица.
Веретено Мозера требует четыре цвета для любой раскраски: при любой раскраске в три цвета острые вершины ромбов будут иметь один и тот же цвет, а тогда ребро, соединяющее две острые вершины ромбов, будет соединять вершины одного цвета. Это противоречие показывает, что трёх цветов недостаточно и потребуется по меньшей мере четыре цвета. Достаточность четырёх цветов для раскраски веретена Мозера следует также, например, из того факта, что его вырожденность равна трём.
Другое доказательство того, что для раскраски веретена Мозера нужно четыре цвета, следует из построения Хайоша. Оба полных графа, из которых веретено Мозера образовано, требуют четыре цвета, а построение Хайоша сохраняет это свойство. Более того, любое независимое множество в веретене Мозера имеет максимум две вершины, так что нужно не менее четырёх независимых множеств для покрытия всех семи вершин.
Поскольку веретено Мозера является подграфом бесконечного графа единичных расстояний плоскости, для раскраски плоскости нужно по меньшей мере четыре цвета. По теореме де Брёйна — Эрдёша (в предположении, что аксиома выбора верна) хроматическое число плоскости равно максимальному хроматическому числу всех конечных подграфов. В 2018 году Обри ди Грей показал, что существует граф единичных расстояний, для покраски которого требуется как минимум 5 цветов. Лучшая верхняя граница хроматического числа плоскости равна семи, что существенно больше числа цветов, требуемых для раскраски веретена Мозера.
Другие свойства и приложения
Веретено Мозера является планарным, что означает, что его можно нарисовать на плоскости без пересечений. Однако невозможно нарисовать веретено Мозера таким образом, что оно будет планарным и графом единичных расстояний одновременно. То есть он не является спичечным. Веретено Мозера является также ламановым, что означает, что он образует минимальную жёсткую систему при вложении в плоскость. Как планарный ламанов граф этот граф является графом с остроугольной псевдотриангуляризацией, что означает, что он может быть вложен в плоскость таким образом, что внешняя грань является выпуклой оболочкой вложения и все внутренние грани являются псевдотреугольниками только с тремя выпуклыми вершинами.
Дополнение графа Мозера является графом без треугольников. Таким образом, вложение графа Мозера в виде графа единичных расстояний может быть использовано для решения задачи расположения семи точек на плоскости таким образом, что любые три точки содержат по меньшей мере одну пару, находящуюся на расстоянии единица.
Добавление любого ребра к веретену Мозера приведёт к графу, который нельзя вложить в плоскость в виде графа единичных расстояний, и не существует гомоморфизма веретена Мозера в любой меньший граф единичных расстояний. Эти два свойства веретена Мозера были использованы в 2011 году, чтобы показать, что проверка графа на существование двумерного представления в виде графа единичных расстояний является NP-трудной задачей. Доказательство использует преобразование из 3SAT, в котором веретено Мозера используется в качестве решающего устройства, устанавливающего истинность формулы.
Веретено Мозера может быть использовано также в доказательстве результатов в теории Рамсея для евклидовой плоскости — если T {displaystyle T} является треугольником на плоскости и все точки плоскости выкрашены в два цвета (белый и чёрный), то либо существует треугольник с чёрными вершинами, получаемый из T {displaystyle T} движением, либо существует пара белых точек, находящихся на расстоянии единица. Для доказательства используется вложение M {displaystyle M} веретена Мозера в плоскость, при котором все рёбра имеют длину единица. Пусть M + T {displaystyle M+T} — это сумма Минковского множества M {displaystyle M} и вершин треугольника T {displaystyle T} . Если в M + T {displaystyle M+T} нет белых точек, находящихся на расстоянии единица, то каждая из трёх копий веретена Мозера в M + T {displaystyle M+T} должна иметь максимум две белые вершины, поскольку белые вершины должны образовать независимсое множество, а максимальное независимое множество в веретене Мозера имеет размер два. Таким образом, среди семи вершин веретена Мозера максимум шесть могут иметь белые вершины из M + T {displaystyle M+T} , так что по меньшей мере все копии одной из вершин должны быть чёрными. Вот они и образуют треугольник, получающийся из T {displaystyle T} движением.