Определим логические переменные задачи: 
, если коммивояжер переезжает из города 
в город 
, и 
, если коммивояжер не переезжает из города в город . Тогда задача заключается в определении минимума целевой функции
.
при ограничениях
, 
– только один въезд в город ,
, 
– только один выезд из города .
В задаче коммивояжера необходимо еще одно условие, а именно:
, 
, 
.
Это специальное условие обеспечивает устранение нескольких несвязанных между собой маршрутов и циклов, попросту означающих перемещение коммивояжера по замкнутому частичному маршруту. Переменные 
, 
– вспомогательные переменны, которые изначально можно считать нулевыми.
