График куба, уменьшенного вдвое - Halved cube graph - Wikipedia

График куба, уменьшенного вдвое
Деми-3-cube.svg
График половинного куба
Вершины2п-1
Краяп(п-1)2п-3
Автоморфизмып! 2п-1, за п>4
п! 2п, за п=4
(2п-1)!, за п<4 [1]
ХарактеристикиСимметричный
Расстояние регулярное
Обозначение
Таблица графиков и параметров
Построение двух полукубов (правильных тетраэдров, образующих Stella Octangula ) из одного куба. Разделенный пополам граф куба третьего порядка - это граф вершин и ребер одного полукуба. Разделенный пополам граф куба четвертого порядка включает в себя все вершины и ребра куба, а также все ребра двух полукубов.

В теория графов, то вдвое кубический граф или же график половинного куба порядка п график полугиперкуб, образованный соединением пар вершин на расстоянии ровно два друг от друга в граф гиперкуба. То есть это полуквадрат гиперкуба. Этот шаблон связности создает два изоморфных графа, отсоединенных друг от друга, каждый из которых представляет собой разрезанный пополам кубический граф.

Эквивалентные конструкции

Построение деленного пополам графа куба можно переформулировать в терминах двоичные числа. Вершины гиперкуба могут быть помечены двоичными числами таким образом, чтобы две вершины были смежными именно тогда, когда они отличаются одним битом. Демикуб может быть построен из гиперкуба как выпуклый корпус подмножества двоичных чисел с четным числом ненулевых битов ( злые числа ), а его ребра соединяют пары чисел, Расстояние Хэмминга ровно два.[2]

Также возможно построить разрезанный пополам граф куба из графа гиперкуба более низкого порядка, не взяв подмножество вершин:

где верхний индекс 2 обозначает квадрат графа гиперкуба Qп − 1, граф, образованный соединением пар вершин, расстояние которых не превышает двух в исходном графе. Например, разрезанный пополам кубический граф четвертого порядка может быть сформирован из обычного трехмерного куба путем сохранения ребер куба и добавления ребер, соединяющих пары вершин, которые находятся на противоположных углах одной и той же квадратной грани.

Примеры

График половинного куба порядка 3 - это полный график K4, график тетраэдр. График половинного куба порядка 4 K2,2,2,2, график четырехмерный правильный многогранник, то 16 ячеек. График половинного куба пятого порядка иногда называют Граф Клебша, и является дополнением свернутый куб граф пятого порядка, который чаще называют графом Клебша. Он существует в 5-мерном равномерный 5-многогранник, то 5-полукуб.

Характеристики

Потому что это двудольная половина из дистанционно регулярный граф, разрезанный пополам куб-граф сам дистанционно регулярен.[3] И поскольку он содержит гиперкуб как охватывающий подграф, он наследует от гиперкуба все свойства монотонного графа, такие как свойство содержать Гамильтонов цикл.

Как и в случае с графами гиперкуба, и их изометрический (сохраняющие расстояние) подграфы частичные кубики, половину кубического графа можно изометрически встроить в реальное векторное пространство с Манхэттенская метрика (L1 функция расстояния). То же самое верно для изометрических подграфов половинчатых кубических графов, которые могут быть распознаны в полиномиальное время; это формирует ключевую подпрограмму для алгоритма, который проверяет, можно ли изометрически встроить данный граф в манхэттенскую метрику.[4]

Для каждого разрезанного пополам кубического графа пятого или более порядка можно (неправильно) раскрасить вершины в два цвета таким образом, чтобы полученный цветной граф не имел нетривиальных симметрий. Для графов третьего и четвертого порядков необходимо четыре цвета, чтобы устранить все симметрии.[5]

Последовательность

Два показанных графика симметричны Dп и Bп Многоугольник Петри проекции (2 (п - 1) и п двугранная симметрия ) связанного многогранника, который может включать перекрывающиеся ребра и вершины.

пМногогранникГрафикВершиныКрая
2ОтрезокПолный граф K2.svg2
3тетраэдр3-demicube.svg3-demicube t0 B3.svg46
416 ячеек4-demicube t0 D4.svg4-demicube t0 B4.svg824
55-полукруглый5-demicube t0 D5.svg5-demicube t0 B5.svg1680
66-полукуб6-demicube t0 D6.svg6-demicube t0 B6.svg32240
77-полукуб7-demicube t0 D7.svg7-demicube t0 B7.svg64672
88-полукруглый8-demicube t0 D8.svg8-demicube t0 B8.svg1281792
99-полукуб9-demicube t0 D9.svg9-demicube t0 B9.svg2564608
1010-полукуб10-demicube.svg10-demicube graph.png51211520

Рекомендации

  1. ^ А.Э. Брауэр, ЯВЛЯЮСЬ. Коэн и А. Ноймайер (1989), Регулярные графики расстояний. Берлин, Нью-Йорк: Springer-Verlag, стр. 265. ISBN  3-540-50619-5, ISBN  0-387-50619-5
  2. ^ Индик, Петр; Матушек, Иржи (2010), "Вложения конечных метрических пространств с малыми искажениями", в Гудман, Джейкоб Э.; О'Рурк, Джозеф (ред.), Справочник по дискретной и вычислительной геометрии (2-е изд.), CRC Press, стр. 179, г. ISBN  9781420035315.
  3. ^ Чихара, Лаура; Стэнтон, Деннис (1986), "Схемы ассоциации и квадратичные преобразования для ортогональных многочленов", Графики и комбинаторика, 2 (2): 101–112, Дои:10.1007 / BF01788084, МИСТЕР  0932118.
  4. ^ Деза, М.; Шпекторов, С. (1996), "Признание л1-графы со сложностью О(нм), или футбол в гиперкубе », Европейский журнал комбинаторики, 17 (2–3): 279–289, Дои:10.1006 / eujc.1996.0024, МИСТЕР  1379378.
  5. ^ Богстад, Билл; Коуэн, Ленор Дж. (2004), «Отличительное число гиперкуба», Дискретная математика, 283 (1–3): 29–35, Дои:10.1016 / j.disc.2003.11.018, МИСТЕР  2061481.

внешняя ссылка