Плоский граф являє собою графік , який може бути вбудований в площині, без перетину ребер.
Нехай є -уніформою-гіперграфом, тобто гіперграфом таким, що всі його гіперпередачі мають розмір k.
Була проведена деяка робота над вбудовою гіперграфом у площину (з контекстом кластеризації чи якоїсь іншої програми), але часто дані просто неможливо вставити в площину. Рішення може бути або змусити його з деякими втратами, або вбудувати його у більш високий вимір, як я пропоную тут:
Природне розширення планарності (принаймні IMO) - це " -просте вбудовування" (чи відома інша назва для нього?) : вбудовування , таким чином, що існують поверхні, які з'єднують усі вершини кожного гіперпереду, і вони не перетинаються, крім кінцевих точок.G M : X → R k
(Подумайте про аналог у 2D, де кожна поверхня є краєм, який ви можете намалювати, як би вам не хотілося).
Ось приклад дійсного 3-простого вбудовування 3-рівномірного гіперграфа. (Кожна вершина забарвлена гіпереграми, в яких вона міститься, і кожне обличчя являє собою гіперспект).
Ще один приклад 3-простого графіка - це повний 3-рівномірний гіперграф на 5 вершинах . Щоб побачити це, просто візьміть 4 точки в які не лежать на двовимірній площині, створіть трикутну піраміду (їх опуклий корпус) та поставте п'яту точку в центрі піраміди, з'єднавши її з інші вершини.R 3
Аналогічно, здається, що повний 3-рівномірний гіперграф на 6 вершинах не має 3-простого вбудовування.
Існує кілька дуже корисних властивостей плоских графіків, які дозволяють вдосконалити алгоритми складних проблем, коли графік планарний. На жаль, дані часто не планарні, хоча іноді мають низьку розмірність. Я думаю, що розуміння, які властивості плоских графіків узагальнюють, допоможе нам розібратися, які алгоритми можна пристосувати для вищого виміру за допомогою того ж інструменту.
Приклад властивості, яка може бути корисною, походить з теореми Фарі, яка передбачає, що кожен плоский графік може бути вбудований таким чином, що всі його ребра є прямими відрізками.
Чи є теорема Фарі у вищому вимірі? , тобто, якщо на графіку є -просте вбудовування, чи має він вбудовування, в якому всі гіперкрайки є гіперпланами?
Чи є інші властивості, які можна узагальнити? наприклад, чи можна формулу Ейлера для плоских графіків якось узагальнити до вищого виміру? (хоча на даний момент я не впевнений, який би був сенс цього).