Граф Эрреры
Шаблон:Граф Граф Эрреры — граф с 17 вершинами и 45 рёбрами. Шаблон:Не переведено 5 опубликовал его в 1921 году как контрпример ошибочному доказательству Шаблон:Не переведено 5 теоремы о четырёх краскахШаблон:SfnШаблон:Sfn. Граф назвали именем Эрреры в статье 1998 года Хатчинсон и ВэгонШаблон:Sfn.
Свойства
Граф Эрреры планарен, имеет хроматическое число 4, хроматический индекс 6, радиус 3, диаметр 4, обхват 3. Кликовая ширина графа равна 8Шаблон:Sfn. Все вершины графа имеют степень 5 или 6, он вершинно 5-связен и рёберно 5-связен.
Граф Эрреры не вершинно транзитивен и его полная группа автоморфизмов изоморфна диэдральной группе порядка 20, группе симметрий десятиугольника, включая вращения и отражения.
Характеристический многочлен матрицы графа Эрреры рвен . Шаблон:Кратное изображение
Приложение к проблеме четырёх красок
Теорема о четырёх красках утверждает, что вершины любого планарного графа могут быть выкрашены в четыре цвета так, что никакие две смежные вершины не выкрашены одним цветом. Доказательство теоремы опубликовал в 1879 году Шаблон:Не переведено 5, но в 1890 была обнаружена его ошибочность. Теореме о четырёх красках не было дано верного доказательства до 1976 года. Доказательство Кемпе можно преобразовать в алгоритм раскраски планарных графов, который также ошибочен. Контрпримеры доказательства были найдены в 1890 и 1896 (граф Пуссена), а позднее появились контрпримеры меньшего размера — Шаблон:Не переведено 5 и граф СойфераШаблон:Sfn. До работы Эрреры эти контрпримеры не давали повода считать, что алгоритм полностью неверен. Скорее показывали, что когда все, кроме одной, вершины графа выкрашены, метод Кемпе (который подразумевает модификацию цветов для расширения раскраски) не работает в этой конкретной раскраске. Граф Эрреры, с другой стороны, даёт контрпример полному методу Кемпе. Когда метод Кемпе применяется на графе Эрреры начиная с полностью незакрашенного графа (ни одной вершины не закрашено), он может потерпеть неудачу в поиске правильной раскраски для всего графаШаблон:Sfn. Кроме того, в отличие от графа Пуссена, все вершины в графе Эрреры имеют степень пять и более. Поэтому на этом графе невозможно избежать проблемные случаи метода Кемпе путём выбора вершин с малой степенью.
Рисунок показывает пример, как доказательство Кемпе может потерпеть неудачу для этого графа. На рисунке соседство областей карты образует граф Эрреры, который частично раскрашен в четыре цвета, но внешняя область не раскрашена. Ошибочное доказательство Кемпе следует идее расширения частичной раскраски, такой как приведена на рисунке, путём перекраски Шаблон:Не переведено 5 связанных подграфов, имеющих только два цвета. Любая такая цепь может быть перекрашена с сохранением допустимости раскраски путём обмена двух цветов на всех вершинах цепочки. Доказательство Кемпе имеет различные случаи в зависимости от того, имеет ли следующая вершина для раскрашивания три, четыре или пять соседей и как эти соседи выкрашены. В показанном примере вершина, требующая раскраски, соответствует внешней области карты. Эту область невозможно раскрасить непосредственно, поскольку она уже имеет соседей всех четырёх цветов. Синие и жёлтые соседи соединены одной цепью Кемпе (показана как штриховая жёлтая линия), что предотвращает от раскраски всех их одним синим или жёлтым цветом с освобождением второго цвета. Аналогично, синие и зеленые соседи связаны другой цепью Кемпе (зелёные штриховые линии). В таком случае доказательство Кемпе попытается обменять одновременно цвета двух цепей, левой красной/жёлтой цепи и правой красной/зелёной цепи (штриховые красные линии). Синяя/зелёная цепь блокирует левую красную/жёлтую цепь от достижения правого края графа, а синяя/жёлтая цепь блокирует правую красную/зелёную цепь от достижения левого края, так что выглядит операция одновременного обмена цветов этих цепей безопасной операцией. Но, поскольку синяя/жёлтая и синяя/зелёная цепи пересекаются, есть область посередине фигуры, где красная/жёлтая и красная/зелёная цепи могут встретиться. Когда эти две цепи встречаются, одновременный обмен приводит к тому, что соседние зелёная и жёлтая вершины в средней области (так как вершины представляют верхнюю жёлтую и зелёную области на рисунке) обе превращаются в красные, получая недопустимую раскраску.
Приложения в химии
Химическая теория графов касается структуры молекул и других кластеров с точки зрения теории графов. Как сам граф Эрреры, так и его двойственный граф актуальны в этом контексте.
Атомы металлов, таких как золото, могут образовывать Шаблон:Не переведено 5, в которых центральный атом окружён двенадцатью другими атомами в виде икосаэдра. Другой, больший, тип кластера может быть образован путём соединения таких икосаэдральных кластеров, так что центральный атом каждого кластера становится одним из граничных атомов другого кластера. Результирующий кластер из 19 атомов имеет два внутренних атома (центры двух икосаэдров) с 17 атомами на внешней оболочке в виде графа ЭррерыШаблон:Sfn.
Двойственным графом графа Эрреры является фуллеренШаблон:Sfn с 30 вершинами, который в химической литературе обозначается как Шаблон:Sfn или Шаблон:Sfn для обозначения симметрии и различия от фулеренов с 30 вершинами. Эта форма играет также центральную роль в построении фулуренов высокой размерностиШаблон:Sfn .