25) Вложение графа в гиперкуб

Большой практический интерес представляет проблема вложения графов в другие графы, имеющие специальные структурные свойства. Важным классом таких графов является класс n-мерных кубов. Они находят применение в теории кодирования при передаче данных и при проектировании автоматов. Обозначим n-мерный куб через H_n. Мощность его носителя равна 2ⁿ , мощность сигнатуры – n*2^n-1. Множество вершин n-куба вместе с введенной таким образом метрикой, является метрическим пространством, которое назовем булевым пространством. Граф называется вложимым в булево пространство Н_n<V_H,U_H> или кубируемым, если существует соответствие ϕ между вершинами графа G и гиперкуба H_nтакое, что если ( . Так как n-куб является двудольным графом, то в соответствии с теоремой Кёнига все его простые циклы четны, и поэтому любой граф, который содержит подграф, являющийся нечетным циклом, некубируем. Следовательно циклы нечетной длины и граф Кёнига К_2,3 являются запрещенными фигурами вложения графа в булево пространство. Под запрещенной фигурой в данном случае понимаем критически невложимый граф, т.е. некубируемый граф, у которого все частичные графы кубируемые. ; называется изоморфным если существует такое взаимно однозначное соответствие между вершинами V и V’, что вершины Va и Vв соединены дугой (Va,Vв) в одном из графов в том и только в том случае когда соответствующие им вершины V’a и V’в соединены дугой (V’a,V’в) в другом графе. граф G изоморфен графу G’. Два графа гомеоморфные если они изоморфны с точностью степени два. Вложить граф в гиперкуб это значит установить изоморфизм между графом и гиперкубом. Гиперкубом – называется граф каждая вершина которого соответствует области пространства, и две вершины соединены ребром если они соответствуют соседним областям имеющих общую границу. Размерность пространства- размерность гиперкуба, n-значность логики.

Алгоритм вложения графа в гиперкуб.

1)устраняем запрещенные фигуры – структура в графе мешающая решению поставленной задачи-циклы нечетной длины, запрещенные фигуры при вложении графа в гиперкуб. Удаление запрещенных фигур осуществляется путем навешивания дополнительных вершин на соответствующие ребра.

2)Устанавливаем размерность а)maxS(V₁); в) ]log₂|V|[; из а и в выбираем мах- это и будет размерность гиперкуба: n = max(maxS(V₁), ]log₂|V|[)

3)Ярусно упорядочиваем граф начиная с вершины с мах

степенью устанавливаем изоморфизм между графом и гиперкубом размерности n. При необходимости размерность куба может быть увеличена.

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

26)Планарный граф. Вложение графа в плоскость

Планарный граф — граф, который может быть изображен на плоскости без пересечения ребер. Граф укладывается на некоторой поверхности, если его можно на ней нарисовать без пересечения ребер. Уложенный граф называется геометрическим, его вершины — это точки плоскости, а ребра — линии на ней. Области, на которые граф разбивает поверхность, называются гранями. Плоский граф — граф, уложенный на плоскость. Граф называется планарным, если он изоморфен некоторому плоскому графу

*я незнаю нужно ли это или нет

Топология исследует свойства графов, инвариантные относительно гомеоморфных преобразований. Эти свойства определяются топологическими инвариантами. Два графа гомеоморфны, если они изоморфны с точностью до вершин степени 2. Другими словами, два графа гомеоморфны, если они преобразуются до графов, изоморфных друг другу, заменой некоторых ребер цепями соответствующей длины. Род поверхности – это наибольшее число простых замкнутых кривых на поверхности, которые не разъединяют эту поверхность. Сфера и плоскость являются поверхностями нулевого рода, поскольку их разъединяет любая замкнутая прямая. Тор поверхность первого рода. Любая поверхность p-го рода эквивалентна сфере с p ручками.

Граф называется планарным, если он изображается на плоскости так, что его ребра пересекаются только в вершинах. Теорема: Граф планарен тогда и только тогда, когда он не содержит подграфа, гомеоморфного F₅ или К_3,3 или графов стягиваемых к F₅ или к К_3,3. Толщиной графа G называется наименьшее число планарных графов, объединение которых дает G. Толщина планарного графа равна 1. Нижняя оценка толщины t(G) графа определяется неравенством , где ] [ -целая часть, |V|=n, s_i- степень i –ой вершины. Чтобы определить, какие ребра необходимо удалить для преобразования графа в планарный, выделим все запрещенные фигуры и построим двумерную таблицу, каждая строка которой взаимно однозначно соответствует запрещенной фигуре Q_i , a столбец – ребру P_i. тогда покрытие строк столбцами этой таблицы определит, какие ребра необходимо удалить, чтобы граф стал планарным. Минимальное покрытие будет соответствовать минимальному решению, так как удаление любого ребра выводит запрещенную фигуру из класса подграфов, гомеоморфных F5 или К3,3.