Эвристический метод удовлетворения ограничений на основе их матричного представления

Зуенко, А. А.; Очинская, А. А.

Please use this identifier to cite or link to this item: https://libeldoc.bsuir.by/handle/123456789/4053

Title:	Эвристический метод удовлетворения ограничений на основе их матричного представления
Other Titles:	Heuristic method of constraint satisfaction based on matrix representation of constraints
Authors:	Зуенко, А. А. Очинская, А. А.
Keywords:	материалы конференций;Оstis;эвристический поиск;задача удовлетворения ограничений;алгебра кортежей
Issue Date:	2015
Publisher:	БГУИР
Citation:	Зуенко, А. А. Эвристический метод удовлетворения ограничений на основе их матричного представления / А. А. Зуенко, А. А. Очинская // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2015) : материалы V междунар. науч.-техн. конф. (Минск, 19-21 февраля 2015 года)/ редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2015. – С. 297-302.
Abstract:	В статье описан разработанный авторами метод эвристического поиска, предназначенный для решения задач удовлетворения ограничений. Метод опирается на применение матрицеподобных структур алгебры кортежей, которые позволяют представлять и эффективно обрабатывать ограничения с конечными доменами. В отличие от большинства аналогов сложность метода зависит не от количества значений в доменах переменных и суммарного числа переменных в исследуемой системе ограничений, а определяется количеством уравнений и средним числом используемых в них переменных.
Alternative abstract:	This paper describes a heuristic search method developed by the authors for solving of constraint satisfaction problems. The method relies on the using of matrix structures of n-tuple algebra (NTA). The structures allow to represent and to effectively handle constraints with finite domains. The computational complexity of the method is determined by the number of logical equations and the average number of variables in equations.
URI:	https://libeldoc.bsuir.by/handle/123456789/4053
ISBN:	978-985-543-034-7
Appears in Collections:	OSTIS-2015

Files in This Item:

File	Description	Size	Format
Zuyenko_Evristicheskiy.PDF		478.96 kB	Adobe PDF	View/Open

Show full item record Google Scholar