Недоопределенные системы ограничений

В предыдущем параграфе обсуждалась ситуация переопределения, когда в системе ограничений присутствует больше ограничений, чем необходимо. В данном параграфе обсуждается другая ситуация, естественная для процесса черчения, когда в эскизе остаются геометрические объекты, не полностью определенные ограничениями. В начале черчения эскиз может вообще не иметь ограничений, а все геометрические объекты будут иметь полную степень свободы. Соответственно, чем больше логических ограничений и размеров добавляется в эскиз, тем меньше степени свободы остается объектам. У полностью определенного эскиза не остается и одной степени свободы. Заметим, что в одном и том же эскизе одновременно могут быть обе ситуации – часть эскиза переопределена, остальная часть может быть недоопределена, и в тоже время, какая-то часть геометрии может быть определена полностью.

Большая часть методов решения, реализованных в C3D Solver, ориентирована именно на недоопределенные системы ограничений. Кроме того, используются некоторые преимущества недоопределенных случаев для разбиения системы ограничений в целом на последовательность подсистем размером меньше, вычисляемых одна после другой. В тех или иных ситуациях недоопределенности решатель выбирает одно из оптимальных решений, основываясь на следующих принципах:

• для удовлетворения ограничений меняется как можно меньше геометрических объектов;

• те геометрические объекты, которые затрагиваются решением, получают минимальное смещение от своего начального приближения (см.параграф Начальное приближение).