Послідовна схема алгоритму

Формалізуємо алгоритм Данцига шляхом формування схеми з використанням апарату систем алгоритмічних алгебр (САА) Глушкова. Використовуючи позначення, сформуємо ряд кон’юктивних умов, для скорочення запису формули алгоритму:

Умови вказують на існування відповідно шляхів .

Використовуючи попередні формули запишемо умови оптимальності шляхів на відповідному кроці ітераційного процесу:

Під оптимальністю в даному випадку розуміється менша загальна довжина шляху або, якщо довжини порівнюваних шляхів рівні, менша кількість ребер, які необхідно пройти.

Оперуючи умовами, що описані вище, запишемо кожен з кроків алгоритму у вигляді формули:

де операція означає інкремент змінної на одиницю.