WikiDer > Граф Ламана

В Шпиндель Мозера, плоский граф Ламана, нарисованный как точечная псевдотриангуляция

В полный двудольный граф K_3,3, неплоский граф Ламана

В теория графов, то Графы Ламана семья разреженные графики описывая минимально жесткие системы стержней и шарниров в плоскости. Формально Граф Ламана это график на п вершины такие, что для всех k, каждый k-вершинный подграф имеет не более 2k - 3 ребра, и такой, что весь граф имеет ровно 2п - 3 ребра. Графы Ламана названы в честь Джерард Ламан, из Амстердамский университет, которые в 1970 году использовали их для характеристики жестких плоских структур.^[1]Однако эта характеристика была открыта еще в 1927 г. Хильда Гейрингер.^[2]

Жесткость

Графы Ламана возникают в теория жесткости: если поместить вершины графа Ламана в Евклидова плоскость, в общая позиция, в общем случае не будет одновременного движения всех точек, кроме Евклидовы сравнения, который сохраняет длины всех ребер графа. Граф является жестким в этом смысле тогда и только тогда, когда он имеет подграф Ламана, охватывающий все его вершины. Таким образом, графы Ламана - это в точности минимально жесткие графы, и они составляют основу двумерных графов. матроиды жесткости.

Если п даны точки на плоскости, то есть 2п степени свободы в их размещении (каждая точка имеет две независимые координаты), но жесткий граф имеет только три степени свободы (положение одной из его вершин и вращение оставшегося графа вокруг этой вершины). фиксированная длина графа уменьшает количество его степеней свободы на одну, поэтому 2п - 3 ребра в графе Ламана уменьшают 2п степени свободы размещения начальной точки до трех степеней свободы жесткого графа. Однако не каждый граф с 2п - 3 ребра жестко; условие в определении графа Ламана о том, что ни один подграф не может иметь слишком много ребер, гарантирует, что каждое ребро способствует уменьшению общего числа степеней свободы и не тратится впустую в подграфе, который сам уже является жестким из-за других его ребер.

Планарность

А точечная псевдотриангуляция это плоский прямолинейный чертеж графа со свойствами выпуклости внешней грани, что каждая ограниченная грань является псевдотреугольник, многоугольник только с тремя выпуклыми вершинами, и что ребра, инцидентные каждой вершине, охватывают угол менее 180 градусов. Графики, которые можно нарисовать как точечные псевдотриангуляции, в точности соответствуют планарный Графы Ламана.^[3] Однако у графов Ламана есть плоские вложения, которые не являются псевдотриангуляциями, и есть графы Ламана, которые не являются планарными, например график полезности K_3,3.

Разреженность

Ли и Стрейну (2008) и Стрейну и Теран (2009) определить граф как ${ Displaystyle (к, л)}$-разрежьте, если каждый непустой подграф с ${ displaystyle n}$ вершин не более ${ displaystyle kn-l}$ края и ${ Displaystyle (к, л)}$- герметично, если это ${ Displaystyle (к, л)}$- разреженный и ровно ${ displaystyle kn-l}$ края. Таким образом, в своих обозначениях графы Ламана являются в точности (2,3) -плотными графами, а подграфы графов Ламана являются в точности (2,3)-разреженными графами. Такое же обозначение можно использовать для описания других важных семейств разреженные графики, включая деревья, псевдолеса, и графы ограниченного родословие.^[4][5]

Основываясь на этой характеристике, можно распознать п-вершинные графы Ламана во времени О(п²), моделируя "игру в гальку", которая начинается с графика с п вершин и без ребер, с двумя камешками, помещенными на каждую вершину, и выполняет последовательность из следующих двух видов шагов для создания всех ребер графа:

• Создайте новое направленное ребро, соединяющее любые две вершины, каждая из которых имеет по два камня, и удалите один камешек из начальной вершины нового ребра.
• Если ребро указывает из вершины ты с не более чем одним камешком на другую вершину v хотя бы с одним камешком переместите камешек из v к ты и переверните край.

Если эти операции можно использовать для построения ориентация данного графа, то он обязательно (2,3) -разреженный, и наоборот. Однако возможны более быстрые алгоритмы, работающие во времени ${ Displaystyle О (п ^ {3/2} { sqrt { log n}})}$, основанный на проверке того, приводит ли удвоение одного ребра данного графа к (2,2) -жизненному мультиграфу (эквивалентно, может ли он быть разложен на два ребра непересекающихся остовные деревья), а затем с помощью этого разложения проверить, является ли данный граф графом Ламана.^[6]

Строительство Хеннеберга

Конструкция шпинделя Мозера Хеннебергом

До работ Ламана и Гейрингера Лебрехт Хеннеберг [де] по-разному охарактеризовал двумерные минимально жесткие графы (то есть графы Ламана).^[7] Хеннеберг показал, что минимально жесткие графы на двух или более вершинах - это как раз те графы, которые могут быть получены, начиная с одного ребра, с помощью последовательности операций следующих двух типов:

1. Добавьте новую вершину в граф вместе с ребрами, соединяющими ее с двумя ранее существовавшими вершинами.
2. Разделите ребро графа и добавьте ребро, соединяющее вновь образованную вершину с третьей ранее существовавшей вершиной.

Последовательность этих операций, образующая данный граф, известна как Строительство Хеннеберга графа. Например, полный двудольный граф K_3,3 может быть сформирован с использованием первой операции для формирования треугольника, а затем с применением второй операции для подразделения каждого края треугольника и соединения каждой точки подразделения с противоположной вершиной треугольника.

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