解を出力すると同時にそれが厳密最適解であることを証明するアルゴリズムでないと，
厳密解法と呼ばないので気をつけてな．最高記録と言うのはそう言う意味なので．

下界値からのギャップが数％の近似解で良いと言うなら100万都市でも解けるので・・・