|
Информация о статье
2002 г., Том 7, № 2, с.84-93
Лоенко М.
Решение систем нелинейных уравнений методами интервального распространения ограничений
В статье представлен новый эвристический алгоритм достижения 3B-совместности: алгоритм коррекции решения (SC-алгоритм). Стандартный 3B-алгоритм на некоторых задачах не завершает свою работу за разумное время из-за особенностей применяемой в нем функции 2B-фильтрации и фиксированного порядка выбора переменных. В представленном алгоритме 2B-фильтрация прерывается при превышении некоторого предельного времени, а порядок выбора переменных определяется динамически.
[полный текст] Классификатор Msc2000:- *68N17 Logic programming
- 68Q25 Analysis of algorithms and problem complexity
- 68T27 Logic in artificial intelligence
Классификатор Computer Science:- *D.1.6 Logic Programming
- F.2 Analysis of Algorithms and Problem Complexity
- F.4.1 Mathematical Logic
Библиографическая ссылка:
Лоенко М. Решение систем нелинейных уравнений методами интервального распространения ограничений // Вычислительные технологии. 2002. Т. 7. № 2. С. 84-93
|
|
|
|
