|
Гарантированное решение систем ограничений - практические стороны,
недостатки и новые разработки
В докладе будет сделан акцент на две проблемы:
- Недостатки чистых методов программирования в ограничениях и новые
разработки путей преодоления этих недостатков;
- Надежность решения систем ограничений.
Многие методы программирования в ограничениях итерируют по ограничениям
непосредственным образом, но они не достигают успеха, так как не
учитывают связей между ограничениями. Однако некоторые методы учета
таких связей являются локальными по своей сути и не приводят к успеху,
если начальная область поиска решений слишком большая. В работе будут
рассмотрены более новые методы, основанные на линейной релаксации,
которая часто заменяет методы поиска "в лоб" решением больших
разреженных систем линейных уравнений.
По меньшей мере последние десять дет надежность признана важным
свойством в геометрических и других вычислениях, и все больше и больше
разработчиков включают получение гарантированных решений при
проектировании своих систем. В докладе будут рассмотрены современные
разработки гарантированных версий линейных релаксаций.
| 
