Дата публикации: 2015

Дата публикации в реестре: 2021-08-05T18:04:04Z

Аннотация:

В статье описан разработанный авторами метод эвристического поиска, предназначенный для решения задач удовлетворения ограничений. Метод опирается на применение матрицеподобных структур алгебры кортежей, которые позволяют представлять и эффективно обрабатывать ограничения с конечными доменами. В отличие от большинства аналогов сложность метода зависит не от количества значений в доменах переменных и суммарного числа переменных в исследуемой системе ограничений, а определяется количеством уравнений и средним числом используемых в них переменных. 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.

Тип: Article