МЕТОД ПОСТРОЕНИЯ БУЛЕВОЙ ФОРМУЛЫ МНОГОУГОЛЬНИКА В ДИЗЪЮНКТИВНОЙ НОРМАЛЬНОЙ ФОРМЕ
Аннотация
Дорабатывается метод нахождения булевой формулы многоугольника в дизъюнктивной нор-мальной форме, изложенный в работе [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.)
Просмотров: 610
Послать статью по эл. почте 