For faster navigation, this Iframe is preloading the Wikiwand page for Планарний граф.

Планарний граф

Матеріал з Вікіпедії — вільної енциклопедії.

Планарний граф — граф, який може бути зображений на площині без перетину ребер.

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

Критерій непланарності

[ред. | ред. код]
  • достатня умова — якщо граф містить двочастковий підграф K3,3 або повний підграф K5, то він є не планарним;
  • необхідна умова — якщо граф не планарний, то він повинен містити більше 4 вершин, степінь яких більше 3, або більше 5 вершин, степінь яких більше 2.

Теорема Куратовського

[ред. | ред. код]

Граф є планарним тоді і тільки тоді, коли він не містить підграфів, гомеоморфних K5 або K3,3.

K5, повний граф з 5 вершинами
K3,3, повний двочастковий граф

Теорема Вагнера

[ред. | ред. код]
Докладніше: Теорема Вагнера

Граф є планарним тоді і тільки тоді, коли він не містить підграфів, що стягуються в K5 або K3,3.

Формула Ейлера

[ред. | ред. код]

Для зв'язного плоского графа справедливе таке співвідношення між кількістю вершин V, ребер E і граней F (включаючи зовнішню грань):

Його було знайдено Ейлером в 1736 році при вивченні властивостей опуклих багатогранників. Це співвідношення справедливе і для інших поверхонь з точністю до коефіцієнта, що називається характеристикою Ейлера. Це інваріант поверхні, для площини або сфери він дорівнює два.

Формула має багато корисних наслідків. З того, що кожна грань обмежена не менше ніж трьома ребрами і кожне ребро дотичне, щонайбільше до двох граней, випливає, що для плоского графа:

Тобто, при більшому числі ребер граф непланарний. Звідси випливає, що в планарному графі завжди можна знайти вершину степеня не більше 5.

Властивості

[ред. | ред. код]
  • Довільний планарний граф може бути зображений на площині так, щоб всі його ребра були прямими відрізками (теорема Фарі).
  • Вершини довільного планарного графа можна розфарбувати в чотири кольори так, щоб усі суміжні вершини мали різні кольори.

Різновиди планарних графів

[ред. | ред. код]

Максимальні планарні графи

[ред. | ред. код]
Граф Голднера — Харарі - максимальний планарний. Всі його грані обмежені трьома ребрами.

Граф називається максимальним планарним якщо він планарний, але додавання будь-якого ребра (до існуючих вершин) зробить його не планарним.

Цей розділ потребує доповнення.

Зовнішні планарні графи

[ред. | ред. код]
Граф K4

Планарний граф називається зовнішнім планарним, якщо існує грань, що містить всі його вершини. Дані графи можна зобразити на поверхні так, що всі вершини будуть розміщені на колі.

Приклади

[ред. | ред. код]
  • Усі дерева є зовнішніми планарними графами.
  • Граф K4 є планарним графом, що не є зовнішнім планарним.

Властивості зовнішніх планарних графів

[ред. | ред. код]
  • Довільний зовнішній планарний граф має вершину степеня щонайбільше 2.
  • Вершини довільного зовнішнього планарного графа можна розфарбувати в три кольори так, щоб усі суміжні вершини мали різні кольори.

Див. також

[ред. | ред. код]

Джерела

[ред. | ред. код]
  1. А. Ю. Ольшанский. Плоские графы, СОЖ, 1996, No 11,
  2. Ф. Харари. Теория графов. М.: «Мир». 1973
.mw-parser-output .hidden-begin{box-sizing:border-box;width:100%;padding:5px;border:none;font-size:95%}.mw-parser-output .hidden-title{font-weight:bold;line-height:1.6;text-align:left}.mw-parser-output .hidden-content{text-align:left}В іншому мовному розділі є повніша стаття Planar graph.mw-parser-output .ref-info{font-size:85%;cursor:help;margin-left:0.2em;color:var(--color-subtle,#54595d)}(англ.). Ви можете допомогти, розширивши поточну статтю за допомогою перекладу з англійської. (липень 2022) Дивитись автоперекладену версію статті з мови «англійська». Перекладач повинен розуміти, що відповідальність за кінцевий вміст статті у Вікіпедії несе саме автор редагувань. Онлайн-переклад надається лише як корисний інструмент перегляду вмісту зрозумілою мовою. Не використовуйте невичитаний і невідкоригований машинний переклад у статтях української Вікіпедії! Машинний переклад Google є корисною відправною точкою для перекладу, але перекладачам необхідно виправляти помилки та підтверджувати точність перекладу, а не просто скопіювати машинний переклад до української Вікіпедії. Не перекладайте текст, який видається недостовірним або неякісним. Якщо можливо, перевірте текст за посиланнями, поданими в іншомовній статті. Докладні рекомендації: див. Вікіпедія:Переклад.
{{bottomLinkPreText}} {{bottomLinkText}}
Планарний граф
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?