Ограничение числа ребер между звездными графами так, чтобы граф был плоским

9

У меня есть граф который состоит только из звездных графов. Звездный граф состоит из одного центрального узла, имеющего ребра для каждого другого узла в нем. Пусть быть разные звезды графики различных размеров , которые присутствуют в . Мы называем множество всех узлов , которые являются центрами в любом звезды граф .гЧАС1,ЧАС2,...,ЧАСNгр

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

Я хочу верхнюю границу количества таких ребер. Одна верхней границы , что я имею в виде: рассматривать их как двудольный плоский граф , где представляет один набор вершин и отдых вершин образуют другой набор . Нас интересуют ребра между этими множествами ( и ). Так как это плоский двудольное, число таких ребер ограниченно удвоенное число узлов в .рAрAг

То , что я чувствую, что есть лучше связаны, может быть в два раза узлы плюс число узлов в .Aр

Если вы можете опровергнуть мою интуицию, тогда это тоже будет хорошо. Надеюсь, некоторые из вас могут придумать хорошую оценку вместе с некоторыми соответствующими аргументами.

singhsumit
источник
1
Позвольте мне перефразировать проблему по-другому: учитывая плоский двудольный граф, скажем, H, мы хотим разложить его на подмножества, где каждое подмножество соответствует графу звезд в G (разложение по узлу, не пересекающееся, скажем, на «x» различных звезд (при условии, что оно существует)). так, какова самая тесная граница числа ребер в плоском двудольном графе H (может ли 'x' играть в этом какую-либо роль ??).
singhsumit
6
cstheory.stackexchange.com/questions/5412/… может иметь отношение к делу.
Дэвид Эппштейн
почти как дубликат вышеуказанного вопроса, но я не уверен.
Суреш Венкат
Переформулировка не проясняет полностью: если у вас есть двудольный граф, вы либо делите ребра на звезды, дублирующие узлы, либо делите узлы, теряя ребра. Например, квадрат дает либо 2 звезды с 3 узлами, либо 3 узла и 1 узел. Однако в обоих случаях может показаться, что анализ и пример @ David ( cstheory.stackexchange.com/questions/5412 ) отвечают на ваш вопрос.
Джек,

Ответы:

2

Ваше утверждение немного двусмысленно: сначала вы пишете, что «... таким образом, что между вершинами в нет инцидентных ребер », но следующий абзац подразумевает, что между вершинами в также нет ребер . Я также предполагаю, что звезды не пересекаются, и что вы считаете все края (включая те, которые изначально присутствовали в звездах). Предположим также, что есть как минимум две звезды, и хотя бы одна из них имеет степень .рA2

В этом случае вы не сможете ограничение ( = количество всех вершин). Рассмотрим немного другой сценарий: начните с любого набора из вершин, немного красного, черного, по крайней мере, двух каждого вида. На каждом шаге произвольно добавляйте ребро между красной и черной вершинами, если оно не создает пересечений или дублирующих ребер. Я утверждаю, что когда вы застряли, все циклы имеют длину .2N-4NN4

Ваш сценарий является частным случаем этого процесса, когда вы сначала создаете звезды, а затем добавляете оставшиеся ребра. Если все циклы имеют длину , следует ограничение . В более общем смысле, это показывает, что независимо от того, с какого двудольного графа вы начинаете, вы всегда можете дополнить его четырехугольным графом (словом, которое я составил).42N-4

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

Предположим, у вас есть лицо F длины 6 или больше. Fдолжно иметь не менее трех черных вершин (возможно, равных). Если какая-то вершинаИкс повторяется на FВозьмите два по часовой стрелке Икс, сказать Икс-a-,,,-Икс-б,,,, F должен содержать черную вершину ZИкстак, в зависимости от расположения Zмы могли бы подключиться либо a или б в Z внутри Fбез дублирующих краев. Если вершина не повторяется, выберите отрезок по часовой стрелкеИкс-a-Y-б-Z из F, где Икс,Y,Z черные и a,бкрасные. ЕслиИкс связан с б тогда a не может быть подключен к Z (по планарности), поэтому мы можем добавить один из ребер (Икс,б), (a,Z) внутри F,

Марек Хробак
источник
Спасибо за ответы. некоторые люди выше опубликовали соответствующую ссылку на похожую проблему, и теперь у меня есть ответ.
Singhsumit