Изучение фундаментальных проблем в современном программировании с ограничениями. Характеристика способов выполнимости линейных диофантовых ограничений в виде уравнений. Анализ процесса распознавания изображений, построения линейных мозаик, криптографии.