informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-505Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNКАНОНИЧЕСКИЕ БУЛЕВЫ ФОРМУЛЫ МНОГОУГОЛЬНИКОВЗакревскийА. Д.Объединенный институт проблем информатики НАН БеларусиBelarus20091610201812(22)93101Copyright © Закревский А.Д., 20182018Закревский А.Д.Закревский А.Д.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/505

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

ReferencesРвачев, В.Л. Геометрические приложения алгебры логики / В.Л. Рвачев. – Киев : Техника, 1967.Рвачев, В.Л. Геометрические приложения алгебры логики / В.Л. Рвачев. – Киев : Техника, 1967.Поттосин, Ю.В. Использование булевых функций для представления многоугольников / Ю.В. Поттосин, Е.А. Шестаков // Вестник Томского гос. ун-та. Управление, вычислительная техника и информатика. – 2008. – № 2 (3). – C. 106–115.Поттосин, Ю.В. Использование булевых функций для представления многоугольников / Ю.В. Поттосин, Е.А. Шестаков // Вестник Томского гос. ун-та. Управление, вычислительная техника и информатика. – 2008. – № 2 (3). – C. 106–115.

The authors declare that there are no conflicts of interest present.