Preview

Информатика

Расширенный поиск

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

Полный текст:

Аннотация

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

Об авторе

А. Д. Закревский
Объединенный институт проблем информатики НАН Беларуси
Беларусь


Список литературы

1. Рвачев, В.Л. Геометрические приложения алгебры логики / В.Л. Рвачев. – Киев : Техника, 1967.

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


Для цитирования:


Закревский А.Д. КАНОНИЧЕСКИЕ БУЛЕВЫ ФОРМУЛЫ МНОГОУГОЛЬНИКОВ. Информатика. 2009;1(2(22)):93-101.

For citation:


. . Informatics. 2009;1(2(22)):93-101. (In Russ.)

Просмотров: 45


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 1816-0301 (Print)
ISSN 2617-6963 (Online)