Перегляд вихідного коду сторінки Теорема про планарне розбиття

{{автопереклад|дата=листопад 2016}}
У [[Теорія графів|теорії графів]],  '''теорема про планарне розбиття''' є формою [[Ізопериметрична нерівність|ізопериметричної нерівності]] для [[Планарний граф|планарних графів,]] що стверджує, що будь-який планарний граф можна розділити на дрібніші шматки, видаляючи невелику кількість вершин. Зокрема, видалення <math>O(\sqrt{n})</math> ''вершин з'' <math>n</math>-вершинного графа (де О використано по аналогії з [[Нотація Ландау|O великим]] ) може [[Розбиття графа|розділити граф]] на [[Словник термінів теорії графів|непересічні підграфи]], кожен з яких має не більше <math>\frac{2n}{3}</math> вершин.

Більш слабка форма теореми розбиття з  <math>O(\sqrt{n}\log(n))</math> вершинами в розбитті, а не <math>O(\sqrt{n})</math> ''була спочатку доведена'' Унгаро (1951), а форма з близьким асимптотична оцінка від розміру розбиття вперше доведено по Lipton і Tarjan (1979). З їх роботі, теорема розбиття був reproven кількома різними способами, постійна в <math>O(\sqrt{n})</math> ''термін теореми була покращена, і це був продовжений до певних класів не планарних графів.''

Повторне застосування теореми розбиття виробляє роздільник ієрархії, які можуть набувати форми або [[розкладання дерева]] або [[гілкове розкладання]] графу. Розбиття ієрархії можуть бути використані для розробки ефективного алгоритму [[Розділяй та володарюй (інформатика)|розділяю і володарю]] для планарних графів, і динамічне програмування на цих ієрархій може бути використаний для розробки експоненціальне час і фіксованою параметрів згідливим алгоритми для вирішення NP-важкою задачі оптимізації на цих графіках. Розбиття ієрархії також можуть бути використані в вкладених перетинів, ефективного варіанту Гаусса для вирішення розріджених систем лінійних рівнянь, що випливають з методів кінцевих елементів.

Теорія Двовимірності [[Ерік Демейн|Демейна]], Фоміна, Hajiaghayi і Thilikos узагальнює і значно розширює застосовність теореми розбиття для величезної множини задач мінімізації планарних графів і в більш загальному графі за винятком фіксованих [[Мінор графа|графів-мінорів]].

== Формулювання теореми  ==
Як зазвичай вказується, теорема стверджує, що розбиття, в будь-якому n-вершиного планарного графа  <math>G=(V,E)</math>, ''існує розбиття вершин'' <math>G</math> в трьох сетах <math>A</math>, <math>S</math>'','' і <math>B</math>'','' такі, що кожен з і <math>B</math> має в більшості <math>\frac{2n}{3}</math> вершин, <math>S</math> має <math>O(\sqrt{n})</math> ''вершини, і немає ребер з однієї кінцевої точки в'' <math>A</math> і однієї кінцевої точки в <math>B</math>. Це не потрібно, що  <math>A</math> або <math>B</math> [[Зв'язний граф|зв'язні]] [[Словник термінів теорії графів|підграфи]] з <math>G</math>. <math>S</math> називається '''розбиттям''' для цього розділу.

Еквівалентна формулювання є те, що краї будь-якого n-вершині планарного графа <math>G</math> можуть бути поділені на дві крайові непересічних подграфов <math>G_1</math> та <math>G_2</math>  таким чином, що обидва підграфи мати, принаймні <math>\frac{n}{3}</math> вершин і таке, що перетин безлічі вершин двох подграфов є  <math>O(\sqrt{n})</math> ''вершини в ньому.'' Таке розбиття відомий як поділ. Якщо поділ дано, то перетин множин вершин утворює роздільник, а вершини, які належать до однієї подграфа, але не іншу форму відокремлених підмножин не більш <math>\frac{2n}{3}</math>  вершини. В іншому напрямку, якщо один дано розбиття на трьох наборів, <math>A</math>, <math>S</math>, та  <math>B</math>'', які відповідають умовам теореми про планарне розбиття, то можна сформувати поділ, в якому краю з кінцевою точкою в'' <math>A</math> належить  <math>G_1</math>, краю з кінцевою точкою в <math>B</math> ставляться до <math>G_2</math><sub>,</sub> а решта ребра (з обох кінцевих точок в <math>S</math>'') розділені довільно.''

Постійна <math>\frac{2}{3}</math> у формулюванні теореми розбиття є довільним і може бути замінений будь-яким іншим номером у відкритому [[Проміжок|проміжку]] <math>(\frac{1}{2},1)</math>, не змінюючи форму теореми: розділ в більш рівних підмножин можуть бути отримані від менш навіть розділу по кілька разів розділивши великі набори в нерівномірному розділу і перегрупування результаті зв'язкові компоненти.<ref name="d82">{{harvtxt|Djidjev|1982}}.</ref>

== Приклад ==
[[Файл:Grid separator.svg|thumb|240px|планарне розбиття для сітки графів]]
Розглянемо [[Сітки (теорія графів)|сітки графік]] з  <math>r</math> рядків і <math>c</math> колон; число n вершин дорівнює <math>rc</math>. Наприклад, на малюнку, <math>r=5</math>, <math>c=8</math>, та <math>n=40
</math>. Якщо <math>r</math> є непарним, є один центральний ряд, а в іншому випадку є два рядки однаково близько до центру; аналогічним чином, якщо <math>c</math> нечетно, існує єдиний центральний стовпець, а в іншому випадку є дві колонки однаково близько до центру. Вибір <math>S</math> бути кожний із цих центральних рядків або стовпців, а також усунення <math>S</math> з графу, ділить графік на дві частини Підключення подграфов <math>A</math> і <math>B</math>'', кожен з яких має не більше'' <math>\frac{n}{2}</math> вершин. Якщо <math>r\leq c</math> (як на малюнку), то, вибираючи центральну колонку дасть роздільник <math>S</math> з <math>r\leq \sqrt{n}</math>   вершин, і аналогічно, якщо<math>c\leq r</math> '', то вибираючи центральну ряд дасть розбиття на більшості'' <math>\sqrt{n}</math> вершин. Таким чином, кожен сітка граф має роздільник <math>S</math> розміру не більше  <math>\sqrt{n}</math>'', усунення яких розділяє його на дві компоненти зв'язності, кожна розміром не більше''  <math>\frac{n}{2}</math>.

Теорема про планарне розбіття стверджує, що подібна розділ може бути побудований в кожному пласкому графі. Випадок довільних планарнихграфів відрізняється від випадку сітки графіків в тому, що розбиття має розмір <math>O(\sqrt{n})</math>,  але може бути більше, ніж <math>\sqrt{n}</math>'', пов'язаних з розміром двох підмножин'' <math>A</math> і <math>B</math> (в найбільш поширених версій теореми) <math>\frac{2n}{3}</math> не  <math>\frac{n}{2}</math>, і дві підмножини ''A'' і <math>B</math> необхідність самі по собі не утворюють з'єднані подграфов.

== Будівельні  ==

=== Ширина першого шару ===
Lipton & Тар'я (1979) доповнити даний планарний граф додатковими гранями, при необхідності, таким чином, що він стає максимальним планарними (кожна грань в планарному вкладенні являє собою трикутник). Потім вони виконують [[Пошук у ширину|пошуку в ширину]], з коренем у довільній вершини <math>v</math>'', і розділити вершини в рівнях їх відстані від'' <math>v</math>. Якщо  <math>l_1</math> є середній рівень (рівень, так що число вершин у вищих і нижчих рівнях як в найбільш <math>\frac{n}{2}</math>), тобто повинні бути рівні <math>l_0</math> і <math>l_2</math><sub>,</sub> які <math>O(\sqrt{n})</math> ''кроків вище і нижче'' <math>l_1</math><sub>,</sub> відповідно, і які містять <math>O(\sqrt{n})</math> ''вершин, відповідно, в іншому випадку було б більше, ніж п'' вершин на рівнях поблизу <math>l_1</math>. Вони показують, що там має бути роздільник <math>S</math> формується шляхом об'єднання  <math>l_0</math> і <math>l_2</math><sub>,</sub> кінцеві точки з краю ''G, які не належать до пошук в ширину дерева і знаходиться між двома рівнями, а вершини на двох в ширину дерева пошуку шляхів від е'' назад до рівня <math>l_0</math>. Розмір розбиття <math>S</math> побудована таким чином, не більше <math>\sqrt{8}\sqrt{n}</math>'', або приблизно'' <math>2.83\sqrt{n}</math>. Вершини розбиття і два непересічних подграфов можна знайти в [[Часова складність|лінійному часу]].

Це доказ теореми розбиття застосовується також для зважених планарних графів, в якому кожна вершина має невід'ємне вартість. Графік може бути розділена на три групи <math>A</math>, <math>S</math>'', і'' <math>B</math> такі, що і <math>B</math> у кожного є в більшості <math>\frac{2}{3}</math> від загальної вартості і <math>S</math> має <math>O(\sqrt{n})</math> вершин, без будь-яких ребер до <math>B</math>. Більш ретельного аналізу аналогічну конструкцію розбиття, Djidjev (1982) показує, що обмеження на розмір <math>S</math> може бути зведена до <math>\sqrt{6}\sqrt{n}</math>'', або приблизно'' <math>2.45\sqrt{n}</math>.

Хольцер та ін. (2009) пропонують спрощену версію цього підходу: вони збільшують графік, щоб бути максимально планарною і побудувати широту в першу чергу дерево пошуку, як раніше. Тоді для кожного ребра ''е, який не є частиною дерева, вони утворюють цикл шляхом об'єднання е'' з шляху дерева, який з'єднує свої кінцеві точки. Потім вони використовують як роздільник вершини одного з цих циклів. Хоча цей підхід не може бути гарантована, щоб знайти невелике розбиття для планарних графів великого діаметра, їхні експерименти показують, що він перевершує за Lipton-Тар'я і Djidjev завширшки методи пошарового нанесення на багатьох видів планарного графа.

=== Прості розбиття циклу  ===
Для графа, який вже максимально планарний можна показати більш сильну конструкцію '''простого розбиття''' циклу, цикл малої довжини таким чином, що всередині і зовні циклу (в унікальному планарному вкладені графа) мають по крайней більшість <math>\frac{2n}{3}</math> вершини. Міллер (1986) доводить це (з розміром розбиття <math>\sqrt{8}\sqrt{n}</math>''), використовуючи техніку Ліптон-Тар'я для модифікованої версії широти першим пошуку, в якому рівні форма пошуку простих циклів.''

Алон, Сеймур і Томас (1994) довели існування простих розбиттів циклу більш безпосередньо: вони дозволяють <math>C</math> буде цикл на найбільш <math>\sqrt{8}\sqrt{n}</math> вершин, з не більш <math>\frac{2n}{3}</math> вершин поза <math>C</math>'', що форми, як навіть розділу внутрішнього і зовнішнього, наскільки це можливо, і вони показують, що ці припущення змусить'' <math>C</math> розбитися .В іншому випадку, в межах відстані <math>C</math> повинен бути рівний відстані в диску, оточеній <math>C</math> (коротший шлях через внутрішню частину диска стане частиною кордону кращого циклу). Крім того, <math>C</math> повинні бути довжиною рівно <math>\sqrt{8}\sqrt{n}</math>'', в іншому випадку вона може бути поліпшена шляхом заміни одного з його країв двох інших сторін трикутника.'' Якщо вершини в <math>C</math> нумеруються (за годинниковою стрілкою) від <math>1</math> до <math>\sqrt{8}\sqrt{n}</math>  і вершини <math>i</math> поєднується з вершини <math>\sqrt{8}\sqrt{n}-i+1</math>, то ці підібрані пари можуть бути пов'язані вершинних непересічних шляхів в межах диск, за формою [[Теорема Менгера|теореми Менгера]] для планарних графів. Тим не менш, загальна довжина цих шляхів обов'язково перевищувати <math>n</math>'', протиріччя.'' З деякою додаткової роботи, яку вони показують, аналогічним способом, що існує простий роздільник циклу розмір не більше <math>(\frac{3}{\sqrt{2}})\sqrt{n}</math>'', приблизно'' <math>2.12\sqrt{n}</math>.

Djidjev & Венкатесан (1997) далі вдосконалювали постійний коефіцієнт в простій теореми розбиття цикл <math>1.97\sqrt{n}</math>. Їх метод також можете знайти прості розбиття циклу для графів з невід'ємними вагами вершин, з розміром розбиття не більше <math>\frac{2n}{3}</math>'', і може генерувати розбиття з меншим розміром за рахунок більш нерівномірним розбиттям графа.'' У 2-зв'язний планарні графи, що не максимальна, існують прості розбиття циклу з розміром, пропорційним евклідової нормоювектора довжини обличчя, які можуть бути знайдені найближчим часом лінійний.

=== Коло розбиття ===

Згідно з теоремою [[Теорема об упаковці кола|Кебе-Андреев-Терстона]] коло-упаковки, будь-який планарний граф може бути представлений в упаковці круглих дисків в площині з непересічних інтер'єрів, наприклад, що дві вершини в графі суміжні тоді і тільки тоді, коли відповідна пара дисків взаємно дотичній. Як Міллер та ін. (1997) шоу, для такої насадки, існує коло, яке має більше <math>\frac{3n}{4}</math> диски торкаючись або всередині неї, в найбільш <math>\frac{3n}{4}</math> диски торкаючись або за її межами, і який перетинає <math>O(\sqrt{n})</math> (дисків).

Щоб довести це, Міллер та ін. використовували стереографічну проєкцію на карті упаковки на поверхні одиничної сфери у трьох вимірах. Ретельно вибираючи проєкцію, центром сфери можуть бути зроблені в центральній точки дискових центрів на його поверхні, так що будь-яка площина, що проходить через центр сфери розділів його в двох напівпросторів, що кожен містять або перетинають понад <math>\frac{3n}{4}</math> з дисків. Якщо площина, що проходить через центр вибирається випадково рівномірно, диск буде перетинатися з імовірністю, пропорційною її радіусу. Таким чином, очікувана кількість дисків, які перетинаються пропорційна сумі радіусів кіл. Тим не менш, сума квадратів радіусів пропорційна сумарній площі дисків, який знаходиться на найбільш загальна площа поверхні одиничної сфери, постійне. Аргумент участю нерівність Дженсена показує, що, коли сума квадратів <math>n</math> невід'ємних дійсних чисел обмежена константою, сума самих чисел <math>O(\sqrt{n})</math>. Таким чином, очікуване число дисків, що перетинаються випадкової площині <math>O(\sqrt{n})</math> ''і існує площину, яка перетинає саме, що багато диски.'' Цей літак перетинає сферу в великий круг, який виступає вниз до колу в площині із заданими властивостями. <math>O(\sqrt{n})</math> ''диски схрещені цього кола відповідають вершинам планарного розбиття графа, який відокремлює вершин, диски всередині кола з вершин, диски поза колом, з не більш'' <math>\frac{3n}{4}</math> вершин у кожній з цих двох підмножин. 

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

:<math>\sqrt{\frac{2\pi}{\sqrt 3}}\left(\frac{1+\sqrt 3}{2\sqrt2}+o(1)\right)\sqrt n\approx 1.84\sqrt n.</math>

Хоча це поліпшений розмір розбиття пов'язаний приходить на рахунок більш-нерівній розбиття графа, Шпільман і Ден (1996) стверджують, що воно забезпечує поліпшений постійний коефіцієнт в час за годинником для вкладених перетинів в порівнянні з розбиття Алон, Сеймур і Томас (1990). Розмір розбиття вона виробляє можуть бути додатково поліпшені, на практиці, за допомогою неоднорідний розподіл для випадкового ріжучих площин. 

Стереографічна проєкція в Міллер та ін. Аргумент можна уникнути, враховуючи маленький коло, що містить постійну частку центрами дисків, а потім розширювати його на константу підбирають рівномірно в діапазоні <math>[1,2]</math>. Легко стверджувати, як в Miller та ін., Що диски, перетинають розширений коло утворюють правильний роздільник, і що, в очікуванні, розбиття має правильний розмір. Отримані константи дещо гірше. 

=== Спектральний поділ  ===
Спектральні кластеризації методи, в яких вершини графа, згруповані за координатами векторів у матрицях, отриманих з графіка, вже давно використовується як евристика для поділу графік проблем непланарних графіків.  Як Шпільман та Ден (2007) показують, спектральний кластеризації також можуть бути використані для отримання альтернативного доказу по ослабленій формі теореми при планарне розиття який відноситься до планарних графів з обмеженою ступенем. У їхнього методу, вершини даного планарного графа упорядковано по другому координат векторів в Лапласа матриці графіка, і це сортується порядок розділена в точці, що зводить до мінімуму відношення числа ребер скоротити перегородкою до числа вершин на меншу сторону перегородки. Як вони показують, планарний граф обмеженій мірі має розбиття цього типу, в якому відношення <math>O(\frac{1}{\sqrt{n}})</math>. Хоча цей розділ не може бути збалансованим, повторюючи розділів всередині більшого з двох сторін і приймаючи союз скорочень, що утворюються при кожному повторенні, в кінцевому рахунку призвести до збалансованого розділу з <math>O(\sqrt{n})</math> ''ребер.'' Кінці цих краях утворюють роздільник розмір <math>O(\sqrt{n})</math>

=== Крайові розбиття ===
Зміна теореми про планарне розбиття включає '''краю розбиття''' , невеликі набори ребер, що утворюють розріз між двома підмножин <math>A</math> і <math>B</math> з вершин графа. Два комплекти <math>A</math> і <math>B</math> повинні кожен мати розмір не більше постійну частку числа <math>n</math> вершин графа (умовно, обидва набору мають розмір не більше <math>\frac{2n}{3}</math>), і кожна вершина графа належить рівно однією з <math>A</math> і <math>B</math>. Розбиття складається з ребер, які мають один кінець в <math>A</math> і один кінець в <math>B</math>.  Обмеження на розмір крайового розбиття включати ступінь вершин, а також кількість вершин у графі: планарні графи, в яких одна вершина має ступінь <math>n-1</math>, в тому числі колісних графіків і зіркових графіків, не мають краю розбиття з сублінейного число ребер, коли ребра розбитті, вони повинні включати в себе всі ребра, що з'єднують високий ступінь вершини в вершинах на іншій стороні розрізу. Тим не менше, кожен планарний граф з максимальною мірою <math>\Delta</math> є ребро розбиття розміру <math>O(\sqrt{\Delta n})</math>. 

Просте розбиття циклу в неоднозначному графі планарної норми графіка край розкладання в оригінальній графіці. Застосування просту теорему розкладання цикл зGazit & Miller (1990) в неоднозначному графі даного планарного графа зміцнює <math>O(\sqrt{\Delta n})</math> ''пов'язані за розміром крайової розбиття, показуючи, що кожен планарний граф має ребро розкладання, розмір якого пропорційний евклідової нормою вектора його вершинних градусів.''

Papadimitriou & Sideri (1996) описують поліноміальний алгоритм часу для знаходження найменшого краю розбиття, яка розділяє графік ''G'' на два подграфа однакового розміру, коли ''G'' є подграфа з сітки граф без отворів або з постійним числом отворів. Тим не менш, вони припустити, що проблема NP-повна для довільних планарних графів, і вони показують, що складність проблеми полягає в тому ж, для мережевих графіків з довільним числом отворів, так і для довільних планарних графів.

== Нижні межі  ==
У <math>\sqrt{n}\times\sqrt{n}</math> сітки графіка, встановленого <math>S</math> з <math>s<\sqrt{n}</math> точки можуть вкласти підмножина в більшості <math>\frac{s(s-1)}{2}</math> точок сітки, де максимум досягається шляхом організації <math>S</math> по діагоналі поруч кут сітки. Тому, для того щоб сформувати розбиття, що відокремлює принаймні <math>\frac{n}{3}</math> точок з решти сітки, <math>s</math> повинно бути принаймні <math>\sqrt{\frac{2n}{3}}</math>, приблизно <math>0.82\sqrt{n}</math>.

Там є <math>n</math>-вершині планарні графи (для як завгодно великих значень <math>n</math>'')'' таке, що для кожного розбиття <math>S</math>'', що ділить залишилися графік в подграфов в більш ніж'' <math>\frac{2n}{3}</math> вершин, <math>S</math> має принаймні <math>\sqrt{(4\pi\sqrt{3})}\sqrt{n}</math> вершини, приблизно <math>1.56\sqrt{n}</math>. Будівництво включає в себе апроксимації сферу по опуклого багатогранника, змінюючи один з граней багатогранника трикутної сітки, і застосовуючиізопериметричні теореми для поверхні сфери.

== Ієрархія розбиття ==
Розбиття можуть бути об'єднані в  '''ієрархії розбиття''' планарного графа, рекурсивного розкладання на більш дрібні графіків. Ієрархія розбиття може бути представлена у вигляді бінарного дерева, в якому кореневий вузол являє саму дану графік, і двоє дітей кореня є корінням рекурсивно побудованих ієрархій розбиття для індукованих подграфов, утворених з двох підмножин <math>A</math> і <math>B</math> розбиття .

Ієрархія розбиття цього типу формує основу для дерева розбиття даного графа, в якому безліч вершин, пов'язаних з кожним вузлом дерева є об'єднанням розбиття на шляху від цього вузла до кореня дерева. Оскільки розміри графіків спуститися на постійний коефіцієнт на кожному рівні дерева, верхні межі за розмірами розбиття також спуститися на постійний коефіцієнт на кожному рівні, так що розміри розбиття на цих шляхах додати вгеометричній прогресії з <math>O(\sqrt{n})</math>. Тобто, розбиття сформована таким чином, має ширину <math>O(\sqrt{n})</math>'', і може бути використаний, щоб показати, що кожен планарний граф має''  <math>O(\sqrt{n})</math>.

Побудова ієрархії розбиття безпосередньо, шляхом обходу двійкового дерева зверху вниз і застосування лінійної часу алгоритм планарний роздільник кожної з породжених подграфов, пов'язаних з кожним вузлом двійкового дерева, займе в цілому <math>O(n\log(n))</math> ''часу.'' Тим не менш, можна побудувати всю ієрархію розбиття в лінійному часу, за допомогою в ширину пошарового підхід Lipton-Тар'я і за допомогою відповідних структур даних, щоб виконувати кожен крок розділу в сублінейного часу. 

Якщо утворює пов'язаний тип ієрархії на основі поділу замість розбиття, в яких двоє дітей кореневого вузла є корені рекурсивно сконструйовані ієрархії для двох подграфов  <math>G_1</math> та <math>G_2</math>  з відділення даного графа, то загальне Структура формує філіальну-розкладання замість дерева розбиття. Ширина будь-якого поділу в це розкладання, знову ж, обмежений сумою розмірів розбиття на шляху від будь-якого вузла до кореня ієрархії, так що будь-якої гілки-розкладання утворюється таким чином, має ширину <math>O(\sqrt{n})</math> і будь планарний граф має branchwidth <math>O(\sqrt{n})</math>. Хоча багато інші проблеми, навіть для планарних графів, можна знайти мінімальний ширини галузевих розкладання планарного графа за поліноміальний час. 

Застосовуючи методи Алон, Сеймур і Томас (1994) більш безпосередньо у будівництві розгалуження розкладань, Фомін & Thilikos (2006a) показують, що кожен планарний граф має branchwidth на найбільш <math>2.12\sqrt{n}</math>'', з тією ж постійною, як один в проста теорема розбиття циклу Алон ін.'' Оскільки treewidth будь-якого графа не перевищує <math>\frac{3}{2}</math> його branchwidth, це також показує, що планарні графи treewidth більшою <math>3.18\sqrt{n}</math>.

== Інші класи графів ==
Деякі рідкісні графіки не мають розбиття сублінейного розміру: в розширювач графіці., Видалення до постійного фракції вершин раніше залишає тільки один зв'язну компоненту 

Можливо, саме раннє відома теорема про розбиття є результатом Йорданії (1869), що будь-яке дерево можна розбити на піддерев не більш <math>\frac{2n}{3}</math> вершин кожного видаленням однієї вершини. Зокрема, вершина, мінімізує Максимальний розмір компонент володіє цією властивістю, бо, якщо він не зробив, то його сусід по унікальній великий поддерева б сформувати ще більш розділ. Застосовуючи той же метод до дерева розкладання довільного графа, можна показати, що будь граф має роздільник розміру на найбільш дорівнює його treewidth.

Якщо граф <math>G</math> не плескатою, але може бути вбудований на поверхні роду <math>g</math>'', тобто розбиття з'' <math>O(\sqrt{gn})</math><sup>.</sup>вершини. Гілберт, Хатчінсон і Тар'я (1984) довести це за допомогою аналогічна Підхід, що і Lipton та Tarjan (1979). Вони група вершини графа в ширину першого рівнів і знайти два рівні видалення якої залишає не більше одного великого компонент, що складається з невеликого числа рівнів. Цей залишився компонент може бути зроблений шляхом видалення планарного ряд завширшки шляхів пропорційних до роду, після чого методом Lipton-Тар'я можуть бути застосовані до залишився планарного графа. Результат випливає з ретельного балансу розміру віддалених двох рівнях в порівнянні з кількістю рівнів між ними. Якщо граф вкладення задається як частина вхідних даних, його роздільник можна знайти в лінійному часу. Графіки роду ''г'' також краї розбиття розміру <math>O(\sqrt{g\Delta n})</math>.

Графіки обмежених роду утворюють приклад родини графів замкнутий щодо операції взяття неповнолітніх і теореми про розбиття також застосовуватися до довільних незначних замкнутий сімей графіка. Зокрема, якщо в сім'ї граф має [[Характеризація забороненими графами|заборонений мінор]] з <math>h</math> вершин, то його розбиття O <math>O(h\sqrt{ n})</math> ''вершин, і таке розбиття може бути знайдений за час'' <math>O(n^{1+\varepsilon})</math>  для будь-якого <math>\varepsilon>0</math>. 

== Додатки  ==

=== Розділяй і володарюй алгоритми  ===

Розбиття може бути використання при розробці ефективної розділяй і володарюй алгоритми для вирішення завдань на планарних графів. Як приклад, одна проблема, яка може бути вирішена таким чином, щоб знайти найкоротший цикл у ваговому планарною графа. Це може бути вирішена за допомогою наступних стадій:
* Partition Даний графік <math>G</math> на три підмножини <math>S</math>, <math>A</math>, <math>B</math>'', згідно теоремі планарних розбиття''
* Рекурсивний пошук найкоротших циклів в <math>A</math> і <math>B</math>
* Використовуйте алгоритм Дейкстри для пошуку, для кожного <math>S</math> в <math>S</math>'', в найкоротші циклу через'' <math>s</math> в <math>G</math>.
* Повернутися найкоротший циклів знайдених вище кроки.

Час для двох рекурсивних викликів <math>A</math> і <math>B</math> у цьому алгоритмі домінує час, щоб виконати <math>O(\sqrt{n})</math> ''називає алгоритмом Дейкстри, так що це алгоритм знаходить найкоротший цикл в'' <math>O(n^{3/2}\log(n))</math> ''часу.''

Більш швидкий алгоритм, за тієї ж проблеми короткий цикл, працює в часу <math>O(n(\log(n))^{3})</math>''), було дано'' Wulff-Нільсен (2009). Його алгоритм використовує той же роздільник на основі розділяй і володарюй структуру, але використовує прості розбиття циклу, а не довільних роздільників, так що вершини <math>S</math> належать до однієї особи графіків всередині і зовні розбиття циклу. Потім він замінює <math>O(\sqrt{n})</math> ''окремих виклику до алгоритму Дейкстри з більш складними алгоритмами, щоб знайти найкоротші шляхи з усіх вершин на одній особі планарного графа і об'єднати відстані від двох подграфов.'' Для зважених, але неорієнтованих планарних графів, найкоротший цикл еквівалентно мінімальної розрізу в неоднозначному графі і можуть бути знайдені в <math>O(n\log \log n)</math> ''час,'' і короткий цикл в незваженої неорієнтованого планарного графа (її обхват ) може бути знайдений за час <math>O(\sqrt{n})</math>. (Проте, тим швидше алгоритм незважених графах не засновані на теоремі про розбиття .)

Фредріксон був запропонований інший більш швидкий алгоритм для одного джерела найкоротших за реалізації теорему роздільник в планарних графів в 1986 році. Це поліпшення алгоритму Дейкстри з итеративной пошуку по ретельно відібраним підмножини вершин. Ця версія має <math>O(n\sqrt{\log n})</math> ''час в n''-вершиному графі. Розбиття використовуються, щоб знайти поділ графа, тобто розбиття крайового встановити у двох або більше підмножин, називається регіонах. Вузол називається міститься в області, якщо деякі краю області падає на вузол. Вузол містяться в більш ніж однієї області, називається граничним вузлом областей, що містять його. Метод використовує поняття <math>r</math>-поділ якості <math>n</math>-виклик граф, поділ графа в <math>O(\frac{n}{r})</math>  областей, кожна з яких містить <math>O(r)</math> вузли, включаючи <math>O(\sqrt{r})</math> ''граничні вузли.'' Фредеріксон показали, що <math>r</math>-поділ можна знайти в <math>O(n\log(n))</math> ''від часу'' рекурсивного застосування теореми про розбиття .

Ескіз його алгоритм вирішення проблеми полягає в наступному.

1. Попередня обробка фаза: Partition графік в ретельно відібраних підмножин вершин і визначити найкоротші шляхи між усіма парами вершин в цих підмножин, де проміжні вершини на цьому шляху, не в підгрупі. Цей етап вимагає планарний граф <math>G_0</math>    перетворитися в <math>G</math> з вершиною, що має не більше ніж ступеня 3. З слідства Ейлера формули, число вершин у графі результуючої буде <math>n\leq 6n_0 -12</math>, де <math>n_0</math>  є число вершин у <math>G_0</math>. Ця фаза також забезпечує наступні властивості підходящого <math>r</math>-поділу Відповідний <math>r</math>-поділу планарного графа є <math>r</math>-поділ таке, що
* кожна гранична вершина міститься в більш ніж трьох регіонах
* будь-який регіон, який не підключений складається з зв'язкових компонент, кожна з яких розділяють граничні вершини з точно таким же набором з однієї або двох з'єднаних областей.
2. Пошук фаза:
* Основний упор: Знайти Найкоротші відстані від джерела до кожної вершини в підгрупі. Коли вершина <math>v</math> в підгрупі закритий, <math>d(w)</math> повинні бути оновлені для всіх вершин <math>w</math> в підгрупі, так що шлях існує з <math>v</math> в <math>w</math>.
* Зачистки: Визначте найкоротші відстані, щоб кожен залишився вершини.
Henzinger  продовжив Фредеріксон  техніку <math>r</math>-поділу для одного джерела алгоритму найкоротший шлях в планарних графів для невід'ємних довжин ребер і запропонував лінійного часу алгоритм. Їх метод узагальнює поняття Фредеріксон граф-підрозділів, так що тепер <math>(r,s)</math> ''-розподіл,'' <math>n</math>-вузов графа бути поділ на <math>O(\frac{n}{r})</math> ''поділів, кожен з яких містить''  <math>r^{{O(1)}}</math>  вузли, кожен з яких має в більшості ''років'' граничних вузлів. Якщо <math>(r,s)</math> ''-розподіл повторно розділити на більш дрібні ділянки, які називають отримати рекурсивний поділ.'' Цей алгоритм використовує приблизно <math>\log *n</math> рівнів підрозділів. Рекурсивний поділ представляється кореневого дерева, чиє листя позначені виразним краєм <math>G</math>. Корінь дерева являє собою область, що складається з повноекранному <math>G</math>'', діти кореня представляють субрегіонів, в якому цей регіон розділений і так далі.'' Кожен лист (атомна область) являє собою область, що містить точно одне ребро.

Вкладені розсічення є основі поділу розбиття і володарюй зміна Гаусса для вирішення розріджених симетричних систем лінійних рівнянь з планарною структурою графа, такі як ті, що випливають з методу кінцевих елементів. Це включає в себе пошук розбиття для графік, що описує систему рівнянь, рекурсивно виключення змінних в двох підзадач, відокремлених один від одного роздільником, а потім виключення змінних в розбитті . Наповнювач в даного методу (число ненульових коефіцієнтів в результаті розкладання Холецкого матриці) <math>O(n\log n)</math>,  дозволяє цей метод, щоб бути конкурентоспроможними з ітераційних методів для тих же проблем. 

Клейн, Мозес і Вайман  дав <math>O(n\log^{2} n)</math> ''-час, алгоритм лінійного простору, щоб знайти самі короткі відстані шлях від'' <math>S</math> до всіх вузлів для спрямованого 2-планарного графа з позитивними і негативними дугових довжинах, що не містять жодного негативного циклів. Їх алгоритм використовує планарні розкладання графа, щоб знайти Жордана <math>C</math>'','' який проходить через <math>O(\sqrt{n})</math> ''вузлів (і не дуг), що між'' <math>\frac{n}{3}</math>  і <math>\frac{2n}{3}</math> вузли укладені <math>C</math>.  Вузли, через який <math>C</math> проходи граничні вузлами. Оригінальний графік <math>G</math> розділяється на два подграфа <math>G_0</math>   і <math>G_1</math>   шляхом розрізання планарну вкладення уздовж ''З'' і дублювання граничні вузли. Для <math>i=0 </math> та <math>1</math>, в <math>G_i</math>   граничні вузли лежать на межі однієї номінальної <math>F_i
</math>. 

Огляд їх підходу, наводиться нижче.
* Рекурсивний виклик: Перший етап рекурсивно обчислює відстані від <math>r</math> в <math>G_i</math>   для  <math>i=0 </math> та <math>1</math>.
* Intra-частина крайової відстані: Для кожного графа <math>G_i</math>   обчислити всі відстані в <math>G_i</math>   між граничними вузлами. Це займе <math>O(n\log n)</math> ''час.''
* Одного джерела між частина граничні відстані: Найкоротший шлях в <math>G </math> проходить взад і вперед між <math>G_0</math>   і <math>G_1</math>,  щоб обчислити відстань з <math>G </math> до <math>r </math> для всіх граничних вузлів. Змінний ітерації використовувати всі крайової відстані в <math>\$G_0 </math>   і <math>\$G_1 </math>. Число ітерацій <math>O(\sqrt{n})</math>'', так що загальний час цього етапу виведення''  <math>O(n \boldsymbol{\alpha}(n))</math>'','' де <math>\boldsymbol{\alpha}(n)</math> є зворотним функції Аккермана.
* Одного джерела між частину відстані: Відстані, розраховані на попередніх етапах використовуються разом з обчисленням Дейкстри в модифікованій версії кожної <math>G_i</math>'', для обчислення відстані''  з <math>G </math> до <math>r </math> для всіх вузлів. Цей етап займає <math>O(n\log n)</math> ''час.''
* Rerooting відстані одного джерела: Відстані від <math>r </math> в <math>G </math> перетворюються на невід'ємних довжин, і знову алгоритм Дейкстри використовується для обчислення відстані від <math>S</math>. Цей етап вимагає <math>O(n\log n)</math> ''час.''
Важливою частиною цього алгоритму є використання функцій і ціною Зниження довжини. Для орієнтованого графа <math>G </math> з дуги довжини i (·), функція ціни функція <math>\varphi</math> з вузлів <math>G </math> до речових чисел. Для дугового <math>uv</math>'','' приведена довжина по відношенню до <math>\varphi</math> <math> i\varphi (uv)=i(uv)+\varphi(u)-\varphi(v)</math>.

Допустима функція ціни функція ціни, що викликає невід'ємні зменшені довжини всіх дуг <math>G </math>. Це корисно в перетворенні проблеми найкоротших шляхів за участю позитивні і негативні довжини в одному участю тільки невід'ємні довжини, які потім можуть бути вирішені за допомогою алгоритму Дейкстри.

«Розділяй і володарюй» також використовуватися для розробки структури даних для динамічних алгоритмів на графах  і точкирозташування, алгоритми для багатокутника тріангуляції, найкоротші, і будівництво найближчих сусідів графіків, і алгоритми апроксимації для максимальної незалежного безлічі планарного графа.

=== Точне рішення проблем NP-важкі оптимізації  ===
При використанні динамічного програмування на дереві розкладання або філії-розкладання планарного графа, багато NP-важкі задачі оптимізації може бути вирішена за час експоненціального в <math>\sqrt{n}</math> або <math>\sqrt{n} \log n</math>. Наприклад, межі цієї форми, як відомо, для знаходження максимально незалежні набори, дерев Штейнера ігамільтонових циклів, і для вирішення задачі комівояжера на планарних графів. Подібні методи за участю теореми про розбиття для геометричних графів може бути використаний для вирішення евклідової задача комівояжера і дерево Штейнера будівельні завдання в строк рамках тій же формі. 

Для параметрезованих завдань, що допускають kernelization, що зберігає площинність і знижує вхідний графік на ядрі лінійний розмір як вхідний параметр, цей підхід може бути використаний для розробки фіксованою параметрів згідливим алгоритми час роботи якого полиномиально залежить від розміру вхід граф і експоненціально <math>\sqrt{k}</math>'', де'' <math>k</math> є параметром алгоритму. Наприклад, час межі цієї форми, як відомо, для знаходження вершин кришки і домінуючою набори від розміру <math>k</math>.

=== Наближені алгоритми  ===
Ліптон & Тар'я (1980) зауважив, що теорема про розбиття може бути використаний для отримання [[Схема наближення до поліноміального часу|схем наближення до поліноміального часу]] для NP-важких задач оптимізації на планарнких графів, таких як знаходження максимального незалежного множини. Зокрема, шляхом усічення ієрархію роздільник на відповідному рівні, можна знайти роздільник розміру <math>O(\frac{n}{\sqrt{log n}})</math> ''видалення якої ділить графік в подграфов розмір''  До теоремі чотирьох кольору, існує незалежне безліч розміру, принаймні <math>\frac{n}{4}</math>, так що віддалені вузли утворюють мізерну частку від максимального незалежного безлічі, а максимальні незалежні множини в інших подграфов можна знайти самостійно в момент експоненціального У їх розміру. Комбінуючи цей підхід з більш пізніми методами лінійної часу на будівництво ієрархії розбиття  і з настільним пошуку, щоб розділити обчислення незалежних наборів між ізоморфних подграфов, це може бути зроблено, щоб побудувати незалежних наборів розміру в межах фактора <math>1-O(\frac{1}{\sqrt{log n}})</math> ''оптимальною, в лінійному часу.'' Тим не менш, для апроксимації співвідношень ще ближче до 1, ніж цей фактор, більш пізньому підході Baker (1994) (на основі [[Деревна декомпозиція|деревної декомпозиції]], а не на планарних розбиттів) забезпечує кращі компроміси часу в порівнянні з якістю апроксимації.

Подібні схеми апроксимації розбиття на основі також були використані для апроксимації інші тверді проблеми, такі як вершини кришки.  Арора ін. (1998)використовувати роздільники по-іншому, щоб наблизити задачі комівояжера для найкоротшого шляху метрики на вагових планарних графів; їх алгоритм використовує динамічне програмування, щоб знайти найкоротший тур, який, на кожному рівні ієрархії розбиття, перетинає розбиття обмежене число разів, і вони показують, що перетину пов'язані збільшується тури, побудовані таким чином, мають довжину, які приблизно оптимальна Тур.

=== Графік стиснення  ===
Розбиття були використані як частини стиснення даних алгоритмів для представлення планарних графах та інші віддільні графіки, використовуючи невелику кількість бітів. Основний принцип цих алгоритмів є вибір номер <math>k</math> і неодноразово розділити дану планарний граф, використовуючи роздільники в <math>O(\frac{n}{k})</math> подграфов розміру не більше <math>k</math>'', з'' <math>O(\frac{n}{\sqrt{k}})</math> ''вершини в розбитті.'' При відповідному виборі ''до'' (не більше пропорційної логарифму від <math>n
</math>'') кількість'' неізоморфних <math>n
</math>-вершивних планарних подграфов значно менше, ніж число подграфов в розкладанні, так що графік може бути стиснутий за допомогою побудови таблиці всі можливі неізоморфних підграфи і представляючи кожен підграф в розкладанні розбиття за його індексом в таблиці. Інша частина графіка, утворений вершинами розбиття, можуть бути представлені в явному вигляді або за допомогою рекурсивного версію тієї ж структури даних. За допомогою цього методу, планарні графи і безліч більш вузьких сімейств планарних графів можуть бути закодовані з використанням числа бітів, яке інформаційно-теоретично оптимальним: якщо є <math>P_n n</math>-вершині графіки в сім'ї графіків, які будуть представлені, то особа Графік в сім'ї можуть бути представлені з використанням тільки <math>(1+O(n))\log_{2}P_n</math>(1 + O ''(п))'' увійти <sub>2</sub> ''P <sub>п</sub>'' біт.  Крім того, можна побудувати уявлення цього типу, в якому можна перевірити прилягання між вершинами, визначити ступінь а вершинні і список сусідів вершини в постійне час на запит, шляхом збільшення таблицю подграфов з додаткової таблиці інформації, що представляє відповіді на запити. 

=== Універсальні графи  ===
{{Докладніше|Універсальний граф}}
Універсальний граф для сімейства <math>F</math> графів являє собою граф, який містить кожен член <math>F</math> як підграф. Розбиття можуть бути використані, щоб показати, що <math>n
</math>-вершині планарні графи мають універсальні графи з <math>n
</math> вершинами і <math>O(n^{3/2})</math> краями.

Будівництво включає в себе посилену форму теореми про розбиття, в якому розмір трьох підмножин вершин в розбитті не залежить від структури графа: існує число <math>C</math>'','' величина яких не більше постійна раз <math>\sqrt{n}</math>'', наприклад що вершини кожного'' <math>n
</math>-вершині планарного графа можуть бути розділені на підмножини, <math>S</math> і <math>B</math>'','' без ребер з до <math>B</math>'', з'' <math>\left \vert S \right \vert = c</math>''|, і з''  <math>\left \vert A \right \vert = \left \vert B \right \vert =\frac{(n-c)}{2}</math>''.'' Це може бути показано за допомогою звичайної форми теореми про розбиття кілька разів, щоб розділити граф, поки всі компоненти розділу не можуть бути організовані у двох підмножин менше, ніж <math>\frac{n}{2}</math>  вершин, а потім рухливих вершин з цих підмножин в розбиття, необхідно до тих пір, поки має заданий розмір.

Після того, як теорема про розбиття цього типу показано, він може бути використаний для отримання ієрархії роздільник для n-вершині планарних графів, що знову не залежить від структури графа: дерево-розкладання, сформований з цієї ієрархії має ширину <math>O(\sqrt{n})</math> і може бути використаний для будь планарного графа. Безліч всіх пар вершин в дереві-розкладання, що обидва належать до загального вузла дерева розкладання утворює тривіально ідеальний графік з <math>O(n^{3/2})</math> <math>n
</math>-вершини вершини, які містять всі <math>n
</math>, <math>n
</math>-вершини планарний граф як підграф. Подібна конструкція показує, що обмежена градусів планарні графи мають універсальні графи з <math>O(n\log n)</math> ''краю, де постійна приховані в''позначеннях O залежить від ступеня пов'язаного. Будь універсальний графік для планарних графів (або навіть дерев необмеженої ступеня) повинні Ω  <math>\Omega(n\log n)</math> ''краю, але він як і раніше невідомо, чи буде ця нижня межа або'' <math>O(n^{3/2})</math> ''в''ерхня межа жорсткою для універсальних графах для довільні планарні графи.

== Примітки ==
{{reflist}}

== Посилання ==
{{refbegin|colwidth=30em}}
*{{citation
 | last1 = Alber | first1 = Jochen
 | last2 = Fernau | first2 = Henning
 | last3 = Niedermeier | first3 = Rolf
 | doi = 10.1016/S0022-0000(03)00072-2
 | issue = 4
 | journal = Journal of Computer and System Sciences
 | pages = 808–832
 | title = Graph separators: A parameterized view
 | volume = 67
 | year = 2003}}.
*{{citation
 | last1 = Alon | first1 = Noga | author1-link = Noga Alon
 | last2 = Seymour | first2 = Paul | author2-link = Paul Seymour (mathematician)
 | last3 = Thomas | first3 = Robin | author3-link = Robin Thomas (mathematician)
 | doi = 10.1090/S0894-0347-1990-1065053-0
 | issue = 4
 | journal = J. Amer. Math. Soc.
 | pages = 801–808
 | title = A separator theorem for nonplanar graphs
 | volume = 3
 | year = 1990}}.
*{{citation
 | last1 = Alon | first1 = Noga | author1-link = Noga Alon
 | last2 = Seymour | first2 = Paul | author2-link = Paul Seymour (mathematician)
 | last3 = Thomas | first3 = Robin | author3-link = Robin Thomas (mathematician)
 | doi = 10.1137/S0895480191198768
 | issue = 2
 | journal = [[SIAM Journal on Discrete Mathematics]]
 | pages = 184–193
 | title = Planar separators
 | volume = 7
 | year = 1994}}.
*{{citation
 | last1 = Arora | first1 = Sanjeev | author1-link = Sanjeev Arora
 | last2 = Grigni | first2 = Michelangelo
 | last3 = Karger | first3 = David
 | last4 = Klein | first4 = Philip
 | last5 = Woloszyn | first5 = Andrzej
 | contribution = A polynomial-time approximation scheme for weighted planar graph TSP
 | pages = 33–41
 | title = Proc. 9th ACM-SIAM Symposium on Discrete algorithms (SODA '98)
 | url = http://portal.acm.org/citation.cfm?id=314613.314632
 | year = 1998}}.
*{{citation | last1 = Babai | first1 = L. | author1-link = László Babai | last2 = Chung | first2 = F. R. K. | author2-link = Fan Chung | last3 = Erdős | first3 = P. | author3-link = Paul Erdős | last4 = Graham | first4 = R. L. | author4-link = Ronald Graham | last5 = Spencer | first5 = J. H. | author5-link = Joel Spencer | contribution = On graphs which contain all sparse graphs | editor1-last = Rosa | editor1-first = Alexander | editor2-last = Sabidussi | editor2-first = Gert | editor2-link = Gert Sabidussi | editor3-last = Turgeon | editor3-first = Jean | pages = 21–26 | series = Annals of Discrete Mathematics | title = Theory and practice of combinatorics: a collection of articles honoring Anton Kotzig on the occasion of his sixtieth birthday | url = http://renyi.hu/~p_erdos/1982-12.pdf | volume = 12 | year = 1982 | accessdate = 30 грудня 2015 | archive-date = 3 березня 2016 | archive-url = https://web.archive.org/web/20160303211223/http://renyi.hu/~p_erdos/1982-12.pdf }}.
*{{citation
 | last = Baker | first = Brenda S.
 | doi = 10.1145/174644.174650
 | issue = 1
 | journal = [[Journal of the ACM]]
 | pages = 153–180
 | title = Approximation algorithms for NP-complete problems on planar graphs
 | volume = 41
 | year = 1994}}.
*{{citation
 | last1 = Bar-Yehuda | first1 = R.
 | last2 = Even | first2 = S. | author2-link = Shimon Even
 | contribution = On approximating a vertex cover for planar graphs
 | doi = 10.1145/800070.802205
 | pages = 303–309
 | title = [[Symposium on Theory of Computing|Proc. 14th ACM Symposium on Theory of Computing (STOC '82)]]
 | year = 1982
 | isbn = 0-89791-070-2}}.
*{{citation
 | last = Bern | first = Marshall
 | doi = 10.1002/net.3230200110
 | issue = 1
 | journal = Networks
 | pages = 109–120
 | title = Faster exact algorithms for Steiner trees in planar networks
 | volume = 20
 | year = 1990}}.
*{{citation
 | last1 = Bhatt
 | first1 = Sandeep N.
 | last2 = Chung
 | first2 = Fan R. K.
 | author2-link = Fan Chung
 | last3 = Leighton
 | first3 = F. T.
 | author3-link = F. Thomson Leighton
 | last4 = Rosenberg
 | first4 = Arnold L.
 | author4-link = Arnold L. Rosenberg
 | doi = 10.1137/0402014
 | journal = [[SIAM Journal on Discrete Mathematics]]
 | page = 145
 | title = Universal graphs for bounded-degree trees and planar graphs
 | url = http://www.math.ucsd.edu/~fan/mypaps/fanpap/116universal.pdf
 | volume = 2
 | year = 1989
 | issue = 2
 | accessdate = 30 грудня 2015
 | archive-date = 5 липня 2017
 | archive-url = https://web.archive.org/web/20170705123204/http://www.math.ucsd.edu/~fan/mypaps/fanpap/116universal.pdf
 }}.
*{{citation
 | last1 = Blandford
 | first1 = Daniel K.
 | last2 = Blelloch
 | first2 = Guy E.
 | last3 = Kash
 | first3 = Ian A.
 | contribution = Compact representations of separable graphs
 | pages = 679–688
 | title = Proc. 14th ACM-SIAM Symposium on Discrete Algorithms (SODA '03)
 | url = http://www.cs.cornell.edu/~kash/papers/BBK03.pdf
 | year = 2003
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303171340/http://www.cs.cornell.edu/~kash/papers/BBK03.pdf
 }}.
*{{citation
 | last1 = Blelloch | first1 = Guy E.
 | last2 = Farzan | first2 = Arash
 | contribution = Succinct representations of separable graphs
 | doi = 10.1007/978-3-642-13509-5_13
 | editor1-last = Amir | editor1-first = Amihood
 | editor2-last = Parida | editor2-first = Laxmi
 | pages = 138–150
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Proc. 21st Symposium on Combinatorial Pattern Matching
 | volume = 6129
 | year = 2010
 | isbn = 978-3-642-13508-8}}.
*{{citation
 | last1 = Chalermsook | first1 = Parinya
 | last2 = Fakcharoenphol | first2 = Jittat
 | last3 = Nanongkai | first3 = Danupon
 | contribution = A deterministic near-linear time algorithm for finding minimum cuts in planar graphs
 | pages = 828–829
 | title = Proc. 15th ACM–SIAM Symposium on Discrete Algorithms (SODA'04)
 | url = http://chalermsook.googlepages.com/mincut.ps
 | year = 2004}}.
*{{citation
 | last1 = Chang | first1 = Hsien-Chih
 | last2 = Lu | first2 = Hsueh-I
 | title = Computing the girth of a planar graph in linear time
 | journal = [[SIAM Journal on Computing]]
 | volume = 42
 | year = 2011
 | pages = 1077–1094
 | doi = 10.1137/110832033 
 | arxiv = 1104.4892}}.
*{{citation
 | last1 = Chiba
 | first1 = Norishige
 | last2 = Nishizeki
 | first2 = Takao
 | author2-link = Takao Nishizeki
 | last3 = Saito
 | first3 = Nobuji
 | issue = 4
 | journal = J. Inform. Process
 | pages = 203–207
 | title = Applications of the Lipton and Tarjan planar separator theorem
 | url = http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0427-11.pdf
 | volume = 4
 | year = 1981
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303175731/http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0427-11.pdf
 }}.
*{{citation
 | last = Chung
 | first = Fan R. K.
 | author-link = Fan Chung
 | contribution = Separator theorems and their applications
 | editor1-last = Korte
 | editor1-first = Bernhard
 | editor1-link = Bernhard Korte
 | editor2-last = Lovász
 | editor2-first = László
 | editor2-link = László Lovász
 | editor3-last = Prömel
 | editor3-first = Hans Jürgen
 | display-editors = 3
 | editor4-last = Schrijver
 | editor4-first = Alexander
 | isbn = 978-0-387-52685-0
 | pages = [https://archive.org/details/pathsflowsvlsila0000unse/page/17 17–34]
 | publisher = Springer-Verlag
 | series = Algorithms and Combinatorics
 | title = Paths, Flows, and VLSI-Layout
 | url = https://archive.org/details/pathsflowsvlsila0000unse/page/17
 | volume = 9
 | year = 1990
 }}.
*{{citation
 | last1 = Deĭneko | first1 = Vladimir G.
 | last2 = Klinz | first2 = Bettina
 | last3 = Woeginger | first3 = Gerhard J. | author3-link = Gerhard J. Woeginger
 | doi = 10.1016/j.orl.2005.04.013
 | issue = 3
 | journal = Operations Research Letters
 | pages = 269–274
 | title = Exact algorithms for the Hamiltonian cycle problem in planar graphs
 | volume = 34
 | year = 2006}}.
*{{citation
 | last1 = Diks | first1 = K.
 | last2 = Djidjev | first2 = H. N.
 | last3 = Sýkora | first3 = O.
 | last4 = Vrt'o | first4 = I.
 | doi = 10.1006/jagm.1993.1013
 | issue = 2
 | journal = Journal of Algorithms
 | pages = 258–279
 | title = Edge separators of planar and outerplanar graphs with applications
 | volume = 14
 | year = 1993}}.
*{{citation
 | last = Djidjev | first = H. N.
 | journal = [[SIAM Journal on Algebraic and Discrete Methods]]
 | pages = 229–240
 | title = On the problem of partitioning planar graphs
 | volume = 3
 | year = 1982
 | doi = 10.1137/0603022
 | issue = 2}}.
*{{citation
 | last1 = Djidjev | first1 = Hristo N.
 | last2 = Venkatesan | first2 = Shankar M.
 | doi = 10.1007/s002360050082
 | issue = 3
 | journal = Acta Informatica
 | pages = 231–243
 | title = Reduced constants for simple cycle graph separation
 | volume = 34
 | year = 1997}}.
*{{citation
 | last1 = Donath | first1 = W. E.
 | last2 = Hoffman | first2 = A. J. | author2-link = Alan Hoffman (mathematician)
 | journal = IBM Techn. Disclosure Bull.
 | pages = 938–944
 | title = Algorithms for partitioning of graphs and computer logic based on eigenvectors of connection matrices
 | volume = 15
 | year = 1972}}. As cited by {{harvtxt|Spielman|Teng|2007}}.
*{{citation
 | last1 = Dorn | first1 = Frederic
 | last2 = Penninkx | first2 = Eelko
 | last3 = Bodlaender | first3 = Hans L. | author3-link = Hans L. Bodlaender
 | last4 = Fomin | first4 = Fedor V.
 | contribution = Efficient exact algorithms on planar graphs: exploiting sphere cut branch decompositions
 | doi = 10.1007/11561071_11
 | pages = 95–106
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Proc. 13th European Symposium on Algorithms (ESA '05)
 | volume = 3669
 | year = 2005
 | isbn = 978-3-540-29118-3}}.
*{{citation
 | last1 = Eppstein | first1 = David | author1-link = David Eppstein
 | last2 = Galil | first2 = Zvi | author2-link = Zvi Galil
 | last3 = Italiano | first3 = Giuseppe F.
 | last4 = Spencer | first4 = Thomas H.
 | doi = 10.1006/jcss.1996.0002
 | issue = 1
 | journal = Journal of Computer and System Sciences
 | pages = 3–27
 | title = Separator based sparsification. I. Planarity testing and minimum spanning trees
 | volume = 52
 | year = 1996}}.
*{{citation
 | last1 = Eppstein | first1 = David | author1-link = David Eppstein
 | last2 = Galil | first2 = Zvi | author2-link = Zvi Galil
 | last3 = Italiano | first3 = Giuseppe F.
 | last4 = Spencer | first4 = Thomas H.
 | doi = 10.1137/S0097539794269072
 | journal = [[SIAM Journal on Computing]]
 | page = 341
 | title = Separator-based sparsification. II. Edge and vertex connectivity
 | volume = 28
 | year = 1998}}.
*{{citation
 | last1 = Eppstein
 | first1 = David
 | author1-link = David Eppstein
 | last2 = Miller
 | first2 = Gary L.
 | author2-link = Gary Miller (professor)
 | last3 = Teng
 | first3 = Shang-Hua
 | author3-link = Shang-Hua Teng
 | year = 1995
 | issue = 4
 | journal = Fundamenta Informaticae
 | pages = 309–331
 | title = A deterministic linear time algorithm for geometric separators and its applications
 | url = http://www.ics.uci.edu/~eppstein/pubs/EppMilTen-FI-95.ps.gz
 | volume = 22
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303182857/http://www.ics.uci.edu/~eppstein/pubs/EppMilTen-FI-95.ps.gz
 }}.
*{{citation
 | last1 = Erdős
 | first1 = Paul
 | author1-link = Paul Erdős
 | last2 = Graham
 | first2 = Ronald
 | author2-link = Ronald Graham
 | last3 = Szemerédi
 | first3 = Endre
 | author3-link = Ендре Семереді
 | contribution = On sparse graphs with dense long paths
 | location = Oxford
 | pages = 365–369
 | publisher = Pergamon
 | title = Computers and mathematics with applications
 | url = http://www.renyi.hu/~p_erdos/1976-26.pdf
 | year = 1976
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303170956/http://www.renyi.hu/~p_erdos/1976-26.pdf
 }}.
*{{citation
 | last = Fiedler | first = Miroslav | author-link = Miroslav Fiedler
 | issue = 98
 | journal = Czechoslovak Math. J.
 | pages = 298–305
 | title = Algebraic connectivity of graphs
 | volume = 23
 | year = 1973}}. As cited by {{harvtxt|Spielman|Teng|2007}}.
*{{citation
 | last1 = Fomin
 | first1 = Fedor V.
 | last2 = Thilikos
 | first2 = Dimitrios M.
 | doi = 10.1002/jgt.20121
 | issue = 1
 | journal = Journal of Graph Theory
 | pages = 53–81
 | title = New upper bounds on the decomposability of planar graphs
 | url = http://users.uoa.gr/~sedthilk/papers/planar.pdf
 | volume = 51
 | year = 2006a
 | accessdate = 30 грудня 2015
 | archive-date = 5 липня 2017
 | archive-url = https://web.archive.org/web/20170705104658/http://users.uoa.gr/%7Esedthilk/papers/planar.pdf
 }}.
*{{citation
 | last1 = Fomin | first1 = Fedor V.
 | last2 = Thilikos | first2 = Dimitrios M.
 | doi = 10.1137/S0097539702419649
 | journal = [[SIAM Journal on Computing]]
 | page = 281
 | title = Dominating sets in planar graphs: branch-width and exponential speed-up
 | volume = 36
 | year = 2006b
 | issue = 2}}.
*{{citation
 | last1 = Frieze
 | first1 = Alan
 | author1-link = Alan M. Frieze
 | last2 = Miller
 | first2 = Gary L.
 | author2-link = Gary Miller (professor)
 | last3 = Teng
 | first3 = Shang-Hua
 | author3-link = Shang-Hua Teng
 | contribution = Separator based parallel divide and conquer in computational geometry
 | doi = 10.1145/140901.141934
 | pages = 420–429
 | title = Proc. 4th ACM Symposium on Parallel Algorithms and Architecture (SPAA '92)
 | url = http://www.math.cmu.edu/~af1p/Texfiles/sep.pdf
 | year = 1992
 | isbn = 0-89791-483-X
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303232435/http://www.math.cmu.edu/~af1p/Texfiles/sep.pdf
 }}.
*{{citation
 | last1 = Gazit
 | first1 = Hillel
 | last2 = Miller
 | first2 = Gary L.
 | author2-link = Gary Miller (professor)
 | contribution = Planar separators and the Euclidean norm
 | doi = 10.1007/3-540-52921-7_83
 | pages = 338–347
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | title = Proc. International Symposium on Algorithms (SIGAL'90)
 | url = http://www.cs.cmu.edu/~glmiller/Publications/Papers/GaMi90.pdf
 | volume = 450
 | year = 1990
 | isbn = 978-3-540-52921-7
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303214319/http://www.cs.cmu.edu/~glmiller/Publications/Papers/GaMi90.pdf
 }}.
*{{citation
 | last = George | first = J. Alan | authorlink = J. Alan George
 | doi = 10.1137/0710032
 | issue = 2
 | journal = [[SIAM Journal on Numerical Analysis]]
 | pages = 345–363
 | title = Nested dissection of a regular finite element mesh
 | volume = 10
 | year = 1973
 | jstor = 2156361}}.
*{{citation
 | last1 = Gilbert | first1 = John R.
 | last2 = Hutchinson | first2 = Joan P. | author2-link = Joan Hutchinson
 | last3 = Tarjan | first3 = Robert E. | author3-link = Robert Tarjan
 | doi = 10.1016/0196-6774(84)90019-1
 | issue = 3
 | journal = Journal of Algorithms
 | pages = 391–407
 | title = A separator theorem for graphs of bounded genus
 | volume = 5
 | year = 1984}}.
*{{citation
 | last1 = Gilbert | first1 = John R.
 | last2 = Tarjan | first2 = Robert E. | author2-link = Robert Tarjan
 | doi = 10.1007/BF01396660
 | issue = 4
 | journal = Numerische Mathematik
 | pages = 377–404
 | title = The analysis of a nested dissection algorithm
 | volume = 50
 | year = 1986}}.
*{{citation
 | last = Goodrich | first = Michael T. | authorlink = Michael T. Goodrich
 | doi = 10.1006/jcss.1995.1076
 | issue = 3
 | journal = Journal of Computer and System Sciences
 | pages = 374–389
 | title = Planar separators and parallel polygon triangulation
 | volume = 51
 | year = 1995}}.
*{{citation
 | last1 = Gremban
 | first1 = Keith D.
 | last2 = Miller
 | first2 = Gary L.
 | author2-link = Gary Miller (professor)
 | last3 = Teng
 | first3 = Shang-Hua
 | author3-link = Shang-Hua Teng
 | doi = 10.1023/A:1009763020645
 | issue = 1
 | journal = Journal of Combinatorial Optimization
 | pages = 79–104
 | title = Moments of inertia and graph separators
 | url = http://www.cs.cmu.edu/~glmiller/Publications/Papers/GrMiTe94.pdf
 | volume = 1
 | year = 1997
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303184741/http://www.cs.cmu.edu/~glmiller/Publications/Papers/GrMiTe94.pdf
 }}.
*{{citation
 | last1 = Har-Peled | first1 = Sariel
 | title = A Simple Proof of the Existence of a Planar Separator
 | year = 2011
 | arxiv = 1105.0103}}.
*{{citation
 | last1 = He | first1 = Xin
 | last2 = Kao | first2 = Ming-Yang
 | last3 = Lu | first3 = Hsueh-I
 | doi = 10.1137/S0097539799359117
 | issue = 3
 | journal = [[SIAM Journal on Computing]]
 | pages = 838–846
 | title = A fast general methodology for information-theoretically optimal encodings of graphs
 | volume = 30
 | year = 2000}}.
*{{citation
 | last1 = Holzer
 | first1 = Martin
 | last2 = Schulz
 | first2 = Frank
 | last3 = Wagner
 | first3 = Dorothea
 | author3-link = Dorothea Wagner
 | last4 = Prasinos
 | first4 = Grigorios
 | last5 = Zaroliagis
 | first5 = Christos
 | doi = 10.1145/1498698.1571635
 | journal = Journal of Experimental Algorithmics
 | pages = 1.5–1.31
 | title = Engineering planar separator algorithms
 | url = http://digbib.ubka.uni-karlsruhe.de/eva/ira/2005/20
 | volume = 14
 | year = 2009
 | accessdate = 30 грудня 2015
 | archive-date = 6 березня 2012
 | archive-url = https://web.archive.org/web/20120306095717/http://digbib.ubka.uni-karlsruhe.de/eva/ira/2005/20
 }}.
*{{citation
 | last = Jordan
 | first = Camille
 | author-link = Camille Jordan
 | journal = [[Crelle's Journal|Journal für die reine und angewandte Mathematik]]
 | pages = 185–190
 | title = Sur les assemblages des lignes
 | url = http://resolver.sub.uni-goettingen.de/purl?GDZPPN002153998
 | volume = 70
 | year = 1869
 | id = As cited by {{harvtxt|Miller|Teng|Thurston|Vavasis|1997}}
 | accessdate = 30 грудня 2015
 | archive-date = 27 червня 2015
 | archive-url = https://web.archive.org/web/20150627143744/http://resolver.sub.uni-goettingen.de/purl?GDZPPN002153998
 }}.
*{{citation
 | last1 = Kawarabayashi | first1 = Ken-Ichi | author1-link = Ken-ichi Kawarabayashi
 | last2 = Reed | first2 = Bruce | author2-link = Bruce Reed (mathematician)
 | contribution = A separator theorem in minor-closed classes
 | title = Proc. 51st Annual IEEE Symposium on. Foundations of Computer Science
 | year = 2010}}.
*{{citation
 | last1 = Klein | first1 = Philip
 | last2 = Rao | first2 = Satish
 | last3 = Rauch | first3 = Monika
 | last4 = Subramanian | first4 = Sairam
 | contribution = Faster shortest-path algorithms for planar graphs
 | doi = 10.1145/195058.195092
 | pages = 27–37
 | title = [[Symposium on Theory of Computing|Proc. 26th ACM Symposium on Theory of Computing (STOC '94)]]
 | year = 1994
 | isbn = 0-89791-663-8}}.
*{{citation
 | last1 = Łącki | first1 = Jakub
 | last2 = Sankowski | first2 = Piotr
 | contribution = Min-Cuts and Shortest Cycles in Planar Graphs in O(''n'' log log ''n'') Time
 | doi = 10.1007/978-3-642-23719-5_14
 | pages = 155–166
 | title = Proc. 19th Annual European Symposium on Algorithms
 | publisher = Springer-Verlag
 | series = Lecture Notes in Computer Science
 | volume = 6942
 | year = 2011
 | isbn = 978-3-642-23718-8
 | arxiv = 1104.4890}}.
*{{citation
 | last1 = Lipton | first1 = Richard J. | author1-link = Richard J. Lipton
 | last2 = Rose | first2 = Donald J.
 | last3 = Tarjan | first3 = Robert E. | author3-link = Robert Tarjan
 | doi = 10.1137/0716027
 | journal = [[SIAM Journal on Numerical Analysis]]
 | volume = 16
 | pages = 346–358
 | title = Generalized nested dissection
 | year = 1979
 | jstor = 2156840
 | issue = 2}}.
*{{citation
 | last1 = Lipton | first1 = Richard J. | author1-link = Richard J. Lipton
 | last2 = Tarjan | first2 = Robert E. | author2-link = Robert Tarjan
 | journal = [[SIAM Journal on Applied Mathematics]]
 | pages = 177–189
 | title = A separator theorem for planar graphs
 | volume = 36
 | year = 1979
 | doi = 10.1137/0136016
 | issue = 2}}.
*{{citation
 | last1 = Lipton | first1 = Richard J. | author1-link = Richard J. Lipton
 | last2 = Tarjan | first2 = Robert E. | author2-link = Robert Tarjan
 | doi = 10.1137/0209046
 | journal = [[SIAM Journal on Computing]]
 | pages = 615–627
 | title = Applications of a planar separator theorem
 | volume = 9
 | year = 1980
 | issue = 3}}.
*{{citation
 | last = Miller
 | first = Gary L.
 | authorlink = Gary Miller (professor)
 | doi = 10.1016/0022-0000(86)90030-9
 | issue = 3
 | journal = Journal of Computer and System Sciences
 | pages = 265–279
 | title = Finding small simple cycle separators for 2-connected planar graphs
 | url = http://www.cs.cmu.edu/~glmiller/Publications/Papers/Mi87.pdf
 | volume = 32
 | year = 1986
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303171544/http://www.cs.cmu.edu/~glmiller/Publications/Papers/Mi87.pdf
 }}.
*{{citation
 | last1 = Miller | first1 = Gary L. | author1-link = Gary Miller (professor)
 | last2 = Teng | first2 = Shang-Hua | author2-link = Shang-Hua Teng
 | last3 = Thurston | first3 = William | author3-link = William Thurston
 | last4 = Vavasis | first4 = Stephen A.
 | doi = 10.1145/256292.256294
 | issue = 1
 | journal = J. ACM
 | pages = 1–29
 | title = Separators for sphere-packings and nearest neighbor graphs
 | volume = 44
 | year = 1997}}.
*{{citation
 | last1 = Miller | first1 = Gary L. | author1-link = Gary Miller (professor)
 | last2 = Teng | first2 = Shang-Hua | author2-link = Shang-Hua Teng
 | last3 = Thurston | first3 = William | author3-link = William Thurston
 | last4 = Vavasis | first4 = Stephen A.
 | doi = 10.1137/S1064827594262613
 | issue = 2
 | journal = [[SIAM Journal on Scientific Computing]]
 | pages = 364–386
 | title = Geometric separators for finite-element meshes
 | volume = 19
 | year = 1998}}.
*{{citation
 | last1 = Pach | first1 = János | author1-link = János Pach
 | last2 = Agarwal | first2 = Pankaj K.  | author2-link = Pankaj K. Agarwal
 | contribution = Lipton–Tarjan Separator Theorem
 | pages = 99–102
 | publisher = John Wiley & Sons
 | title = Combinatorial Geometry
 | year = 1995}}.
*{{citation
 | last1 = Papadimitriou | first1 = C. H. | author1-link = Христос Пападімітріу
 | last2 = Sideri | first2 = M.
 | doi = 10.1007/BF01305310
 | issue = 2
 | journal = Theory of Computing Systems
 | pages = 97–110
 | title = The bisection width of grid graphs
 | volume = 29
 | year = 1996}}.
*{{citation
 | last1 = Plotkin | first1 = Serge
 | last2 = Rao | first2 = Satish
 | last3 = Smith | first3 = Warren D.
 | contribution = Shallow excluded minors and improved graph decompositions
 | pages = 462–470
 | title = Proc. 5th ACM-SIAM Symposium on Discrete Algorithms (SODA '94)
 | url = http://portal.acm.org/citation.cfm?id=314625
 | year = 1994}}.
*{{citation
 | last1 = Reed | first1 = Bruce | author1-link = Bruce Reed (mathematician)
 | last2 = Wood | first2 = David R.
 | doi = 10.1145/1597036.1597043
 | issue = 4
 | journal = ACM Transactions on Algorithms
 | pages = 1–16
 | title = A linear-time algorithm to find a separator in a graph excluding a minor
 | volume = 5
 | year = 2009}}.
*{{citation
 | last1 = Seymour | first1 = Paul D. | author1-link = Paul Seymour (mathematician)
 | last2 = Thomas | first2 = Robin
 | doi = 10.1007/BF01215352
 | issue = 2
 | journal = Combinatorica
 | pages = 217–241
 | title = Call routing and the ratcatcher
 | volume = 14
 | year = 1994}}.
*{{citation
 | last1 = Smith | first1 = Warren D.
 | last2 = Wormald | first2 = Nicholas C.
 | contribution = Geometric separator theorems & applications
 | doi = 10.1109/SFCS.1998.743449
 | pages = 232–243
 | publisher = IEEE Computer Society
 | title = 39th Annual Symposium on Foundations of Computer Science (FOCS '98), November 8-11, 1998, Palo Alto, California, USA
 | year = 1998}}.
*{{citation
 | last1 = Spielman
 | first1 = Daniel A.
 | author1-link = Daniel Spielman
 | last2 = Teng
 | first2 = Shang-Hua
 | author2-link = Shang-Hua Teng
 | contribution = Disk packings and planar separators
 | doi = 10.1145/237218.237404
 | pages = 349–358
 | title = Proc. 12th ACM Symposium on Computational Geometry (SCG '96)
 | url = http://www.cs.yale.edu/homes/spielman/PAPERS/planarSep.pdf
 | year = 1996
 | isbn = 0-89791-804-5
 | accessdate = 30 грудня 2015
 | archive-date = 3 березня 2016
 | archive-url = https://web.archive.org/web/20160303185832/http://www.cs.yale.edu/homes/spielman/PAPERS/planarSep.pdf
 }}.
*{{citation
 | last1 = Spielman | first1 = Daniel A. | author1-link = Daniel Spielman
 | last2 = Teng | first2 = Shang-Hua | author2-link = Shang-Hua Teng
 | doi = 10.1016/j.laa.2006.07.020
 | issue = 2–3
 | journal = Linear Algebra and its Applications
 | pages = 284–305
 | title = Spectral partitioning works: Planar graphs and finite element meshes
 | volume = 421
 | year = 2007}}.
*{{citation
 | last1 = Sýkora | first1 = Ondrej
 | last2 = Vrt'o | first2 = Imrich
 | doi = 10.1016/0304-3975(93)90031-N
 | issue = 2
 | journal = Theoretical Computer Science
 | pages = 419–429
 | title = Edge separators for graphs of bounded genus with applications
 | volume = 112
 | year = 1993}}.
*{{citation
 | last1 = Tazari | first1 = Siamak
 | last2 = Müller-Hannemann | first2 = Matthias
 | doi = 10.1016/j.dam.2008.08.002
 | issue = 4
 | journal = Discrete Applied Mathematics
 | pages = 673–684
 | title = Shortest paths in linear time on minor-closed graph classes, with an application to Steiner tree approximation
 | volume = 157
 | year = 2009}}.
*{{citation
 | last = Ungar | first = Peter
 | issue = 4
 | journal = Journal of the London Mathematical Society
 | page = 256
 | title = A theorem on planar graphs
 | doi = 10.1112/jlms/s1-26.4.256 
 | volume = 1
 | year = 1951}}.
*{{citation
 | last1 = Weimann | first1 = Oren
 | last2 = Yuster | first2 = Raphael
 | doi = 10.1137/090767868
 | journal = [[SIAM Journal on Discrete Mathematics]]
 | page = 609
 | title = Computing the girth of a planar graph in O(''n''&nbsp;log&nbsp;''n'') time
 | volume = 24
 | year = 2010
 | issue = 2}}.
*{{citation
 | last = Wulff-Nilsen | first = Christian
 | title = Girth of a planar digraph with real edge weights in O(''n''&nbsp;log<sup>3</sup>''n'') time
 | year = 2009
 | arxiv = 0908.0697}}.
{{refend}}

[[Категорія:Планарні графи]]
[[Категорія:Теореми теорії графів|Планарне розбиття]]