Формальная постановка задачи в геометрических ограничениях.

Формальная постановка задачи

Методы решения

Ссылки

Задача в геометрических ограничениях (ЗГО) есть тройка (V, E, S), где V - множество геометрических объектов, E - множество геометрических ограничений, S - начальные ("эскизные") значения координат объектов. В общем случае, ограничение - это подмножество декартова произведения областей возможных значений координат объектов, связанных данным ограничением (если координаты объекта связаны некоторым ограничением, то говорят, что он является аргументом этого ограничения), однако обыкновенно ограничениями являются общеупотребительные геометрические измерения - углы и расстояния. Задача состоит в означивании координат всех объектов таким образом, чтобы удовлетворялись все ограничения, т.е. означивание было допустимым, и чтобы оно было "похоже" (в некотором смысле) на эскизные координаты.