Что это означает под графической системой на основе ограничений?

Scratchpad был графической системой, основанной на ограничениях.

Что это означает под графической системой на основе ограничений?

Если у вас есть геометрический чертеж с измерениями, вы можете решить, какой должна быть форма. Это полезно, например, в инженерном деле, так как позволяет указать требования, и компьютер может затем решить ограниченный чертеж с помощью решателя.

Рисунок 1 : Решатель ограничений в действии, красные ограничения исправлены, а синие могут свободно меняться.

Есть несколько способов, как может работать решатель, он может быть числовым нелинейным, основанным на градиентном спуске. Или это может быть полностью алгебраическим. Обычно это решатель градиентного спуска, так как это легче реализовать и, возможно, быстрее.

Sketchpad - это система, которая позволяет рисовать простые фигуры с использованием линий и кривых в 2D. Это поддерживало ограничения между формами. Например, конечная точка одной линии может быть вынуждена лежать на другой линии. Также, как упоминалось в статье в Википедии, пользователь может установить фиксированную длину для линии или угол между двумя соединенными линиями. Эти ограничения будут автоматически применяться системой при редактировании диаграмм - например, при перемещении одной линии другие линии будут скорректированы для поддержания ограничений.