Целевая функция и ограничения составляют математическую модель задачи синхронизации операций на сборочном конвейере. Аналитического решения указанной задачи пока не найдено; существуют лишь эвристические процедуры перебора, дающие с удовлетворительной для практических целей точностью приближенные результаты.
В рассматриваемом алгоритме решения поставленной задачи в качестве трудоемкости перехода берется величина:
ti = ti – ] ti/τ [,
где:] ti/τ [ – антье (целая часть числа).