Введение

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

Приложения

Графы видимости могут использоваться для нахождения кратчайших евклидовых путей среди набора многоугольных препятствий на плоскости: кратчайший путь между двумя препятствиями проходит по прямым отрезкам, за исключением вершин препятствий, где он может менять направление. Таким образом, кратчайший евклидов путь является кратчайшим путем в графе видимости, вершинами которого являются начальная и конечная точки, а также вершины препятствий. Следовательно, задача поиска кратчайшего евклидова пути может быть разложена на две более простые подзадачи: построение графа видимости и применение алгоритма поиска кратчайшего пути, например алгоритма Дейкстры, к этому графу. Для планирования движения робота, размер которого нельзя пренебречь по сравнению с препятствиями, можно использовать аналогичный подход после расширения препятствий для учета размера робота. Этот частный случай устанавливает связь между временными рядами, динамическими системами и теорией графов.

Характеристика

График видимости простого многоугольника имеет вершины многоугольника в качестве расположения точек, а внешняя область многоугольника — единственное препятствие. Графы видимости простых многоугольников должны быть гамильтоновыми: граница многоугольника формирует гамильтонов цикл в графике видимости. Известно, что не все графы видимости индуцируют простой многоугольник. Однако эффективная алгоритмическая характеризация графов видимости простых многоугольников остаётся неизвестной. Эти графы не принадлежат ко многим известным семействам хорошо структурированных графов: они могут не быть совершенными графами, круговыми графами или хордальными графами. Исключением из этого является то, что графы видимости простых многоугольников являются cop-win графами.

Связанные проблемы

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