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

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

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

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

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