非対称巡回セールスマン問題のパラメトリック定式化について

本稿では、非対称巡回セールスマン問題（ATSP）に対する、Miller-Tucker-Zemlin（MTZ）、Desrochers-Laporte（DL）、および単一商品フロー（SCF）の3つの古典的な定式化に基づく、新しいパラメトリック整数計画定式化を提案し、その特性を解析する。パラメータの選択によって定式化がどのように変化するか、また、従来の定式化と比較してどのような利点があるかを議論する。