Имеется 
городов. Расстояния между любой парой городов 
и 
известны и составляют 
. Коммивояжер выезжает из какого-либо города и должен посетить все города, побывав в каждом только один раз и вернуться в исходный город. Ставится задача определить такую последовательность объезда городов, или маршрут, при которой суммарная длина маршрута была бы минимальной.
Нужно учитывать, что из 
города нельзя переехать снова в город, следовательно, 
при 
. С другой стороны это можно учесть в матрице логических переменных 
, для которой нужно поставить условие 
при .
