Please use this identifier to cite or link to this item: http://elar.urfu.ru/handle/10995/25204
Title: VEGAS - новый генетический алгоритм для задачи Выполнимость
Other Titles: VEGAS - a new genetic algorithm for SATISFYABILITY
Authors: Скворцов, Е. С.
Skvortsov, E. S.
Issue Date: 2010
Citation: Скворцов Е. С. VEGAS - новый генетический алгоритм для задачи Выполнимость / Е. С. Скворцов // Известия Уральского государственного университета. — 2010. — № 74. — (Сер. Математика. Механика. Информатика; Вып. 12). — С. 204-219.
Abstract: Мы исследуем модель генетических вычислений, в которой, в отличие от классической, рассматривается влияние популяции на окружающую среду. В качестве «полигона» выбрана важная как с практической, так и с теоретической точек зрения задача Выполнимость. Предложенный нами алгоритм VEGAS представляет собой локальный стохастический поиск и взвешивание ограничений, помещенные в рамки генетического подхода. По результатам тестирования VEGAS существенно превосходит алгоритм GASАТ - один из лучших разработанных для задачи Выполнимость генетических алгоритмов.
We study a model of genetic computations in which, in contrast to a classical model, population influences the environment. We apply this model to the SATISFIABILITY problem that is of both practical and theoretical importance. We develop VEGAS, an algorithm that uses local search and weighted constraints within the genetic approach. On a benchmark set of problems, VEGAS performs substantially better than GASAT, one of the best genetic SAT-solvers.
Keywords: ГЕНЕТИЧЕСКИЕ АЛГОРИТМЫ
GASAT
VEGAS
АЛГОРИТМЫ
ЗАДАЧА ВЫПОЛНИМОСТЬ
URI: http://elar.urfu.ru/handle/10995/25204
RSCI ID: https://elibrary.ru/item.asp?id=50360139
Origin: Известия Уральского государственного университета. 2010. № 74
Appears in Collections:Известия Уральского государственного университета. Математика и Механика. Компьютерные науки

Files in This Item:
File Description SizeFormat 
iurm-2010-74-11.pdf319,38 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.