Preview

Информатика

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

МЕТОД ПОСТРОЕНИЯ БУЛЕВОЙ ФОРМУЛЫ МНОГОУГОЛЬНИКА В ДИЗЪЮНКТИВНОЙ НОРМАЛЬНОЙ ФОРМЕ

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

Аннотация

Дорабатывается метод нахождения булевой формулы многоугольника в дизъюнктивной нор-мальной форме, изложенный в работе [1]. Усовершенствованный метод устраняет недостаток, связанный с существованием класса задач, для которых решение находится лишь приближенно, и всегда позволяет находить точное решение. Метод может быть использован, в частности, в сис-темах автоматизированного проектирования топологии интегральных схем.

Об авторе

А. А. Бутов
Белорусский государственный университет информатики и радиоэлектроники
Беларусь


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

1. Бутов, А.А. Метод нахождения булевой формулы многоугольника в дизъюнктивной нормальной форме без использования дополнительных предикатных переменных / А.А. Бутов // Вестник Брестского государственного технического университета. Физика, математика, ин-форматика. – 2012. – № 5. – С. 48–51.

2. Автоматизированная система подготовки информации для формирования фотошабло-нов / Е.А. Шестаков [и др.] // Искусственный интеллект. – 2008. – № 4. – С. 200–207.

3. Фейнберг, В.З. Геометрические задачи машинной графики больших интегральных схем / В.З. Фейнберг. – М. : Радио и связь, 1987. – 178 с.

4. Ласло, М. Вычислительная геометрия и компьютерная графика на C++ / М. Ласло. – М. : БИНОМ, 1997. – 304 с.

5. Препарата, Ф. Вычислительная геометрия : введение / Ф. Препарата, М. Шеймос. – М. : Мир, 1989. – 478 с.

6. Никулин, Е.А. Компьютерная геометрия и алгоритмы машинной графики / Е.А. Нику-лин. – СПб. : БКХ-Петербург, 2005. – 576 с.

7. Закревский, А.Д. Канонические булевы формулы многоугольников / А.Д. Закревский // Информатика. – 2009. – № 2. – С. 93–101.

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

9. Бутов, А.А. Простой метод нахождения булевой формулы многоугольника в дизъюнк-тивной нормальной форме / А.А. Бутов // Вестник Брестского государственного технического университета. Физика, математика, информатика. – 2011. – № 5. – С. 35–38.


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


Бутов А.А. МЕТОД ПОСТРОЕНИЯ БУЛЕВОЙ ФОРМУЛЫ МНОГОУГОЛЬНИКА В ДИЗЪЮНКТИВНОЙ НОРМАЛЬНОЙ ФОРМЕ. Информатика. 2014;(4):117-124.

For citation:


Butov A.A. THE METHOD OF CONSTRUCTING A BOOLEAN FORMULA OF A POLYGON IN THE DISJUNCTIVE NORMAL FORM. Informatics. 2014;(4):117-124. (In Russ.)

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


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


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