КАНОНИЧЕСКИЕ БУЛЕВЫ ФОРМУЛЫ МНОГОУГОЛЬНИКОВ

Аннотация

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