回溯法解旅行商问题(TSP)

2024-02-27 07:48
文章标签 问题 回溯 tsp 旅行 法解

本文主要是介绍回溯法解旅行商问题(TSP),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

回溯法解旅行商问题(TSP)

旅行商问题,常被成为旅行推销员问题,是指一名推销员要拜访多个地点,如何找到再拜访每个地点一次后再回到起点的最短路径.

进一步的抽象,可以转化为图论的问题,将每个城市看成图 G(V,E) 中的一个顶点,则旅行商问题可以转化为从一个顶点s出发,找到一条最短的路径从s出发,经过所有的顶点,最后回到s.最简单的解法就是枚举,枚举所有的路径,计算其每条路径的长度,取最短的即可.枚举最有的路径则其有 (n1)! 条路径,如果n非常大,则解的空间将非常大,我们可以使用一个棵树,那么这棵树将非常庞大.

既然我们可以用一个树表示类似问题的所有可能解,那么现在的问题就变成了从解空间树中找到最短的路径,也就是树的搜索问题,搜索每一条路,找到最短的路径.但是再进一步思考一下,其实很多分枝,我们在没有搜索到叶子节点的时候就可以通过一些已知的条件就可以判断这条路不可能是最短的路.回溯法就是这个思路,按照深度优先的策略搜索解空间树,通过一些约束条件或者边界条件判断是否继续搜索下去,如果不满足约束条件则直接返回.

因此回溯法求解问题的过程大致如下:
>

  • 确定问题的解空间(用树表示)
  • 确定问题的约束条件和边界条件
  • 深度优先搜索解空间幷根据约束条件和边界条件进行裁剪

再一次的回到旅行商问题(TSP),以此为例看一下回溯法的解题过程

确定解空间

假设有四个城市A,B,C,D, 从A出发,求经过所有顶点后回到A的最短路径,我们用树表示所有的解,前面已经说过是一个 (n1)! 排列树,如下图所示:

dd

确定约束条件和边界条件

假设用cl表示从A出发到当前节点的的路径长度,fl表示当前最短的环路长度.k表示路径中第k个节点,$xk k(AD14),w.k<n, x_k ,,: $cl+w[x{k-1},xk] <= fl

k=n,,,,
cl+w[x{k-1},x k] + w[x_k,1] < fl
fl(,)
fl = cl+w[x{k-1},x_k] + w[x_k,1]$$

上面便是约束条件和边界条件

深度优先搜索和剪枝

搜索的问题就比较简单了,按照DFS的思路搜索就行了,当然特定的问题可以进行一些优化.然后搜索的过程使用约束条件的边界条件进行剪枝和更新最有路径.

下面是伪代码:

用java实现如下所示

/**
 * 判断第k个数是否不同与前k-1个数
 * @param k
 * @return bool
 */
private boolean nextValue(int k){
    int i = 0;
    while(i < k){
        if(x[k] == x[i]){
            return false;
        }
        i += 1;
    }
    return true;
}

/**
 * 第k条路径选择
 * @param k
 */
private void backUp(int k){
    if(k==N-1){
        for (int j=1;j<=N;j++){
            x[k] = Math.floorMod(x[k]+1, N);
            if(nextValue(k) && cl + weight[x[k-1]][x[k]] + weight[x[k]][0] < fl) {//如果最短路径,更新最优解
                fl = cl + weight[x[k - 1]][x[k]] + weight[x[k]][0];
                for (int i = 0; i < N; i++) {
                    bestX[i] = x[i];
                }
            }
        }
    }else{
        for(int j=1; j<=N; j++){
            x[k] = Math.floorMod(x[k]+1, N);
            if(nextValue(k) && cl+weight[x[k-1]][x[k]] <= fl){
                //此路可行
                cl += weight[x[k-1]][x[k]];
                backUp(k+1);
                cl -= weight[x[k-1]][x[k]];
            }
        }

    }
}
public void solve(){
    int k = 1; //第0个顶点是固定的,从第一个顶点开始选择
    cl = 0;
    fl = Integer.MAX_VALUE;
    backUp(k);
}

完整代码下载见:TSP回溯法

/**
  * 递归求解tsp
  * Created by devin on 15-11-20.
  */
  public class BackTSP {
  private static int N = 4;
   
  private int cl; //当前路径的长度
  private int fl; //当前只当的最大路径长度
   
  private int weight[][] = {
  // {0, 30, 6, 5},
  // {30, 0, 4, 10},
  // {6, 4, 0, 20},
  // {5, 10, 20, 0}
  {0, 13, 8, 9},
  {13, 0, 3, 15},
  {8, 3, 0, 20},
  {9, 15, 20, 0}
  };
  private int x[] = new int[4];
  private int bestX[] = new int[4];
   
  public int[] getBestX() {
  return bestX;
  }
   
  public int getMinLen(){
  return fl;
  }
  /**
  * 判断第k个数是否不同与前k-1个数
  * @param k
  * @return bool
  */
  private boolean nextValue(int k){
  int i = 0;
  while(i < k){
  if(x[k] == x[i]){
  return false;
  }
  i += 1;
  }
  return true;
  }
   
  /**
  * 第k条路径选择
  * @param k
  */
  private void backUp(int k){
  if(k==N-1){
  for (int j=1;j<=N;j++){
  x[k] = Math.floorMod(x[k]+1, N);
  if(nextValue(k) && cl + weight[x[k-1]][x[k]] + weight[x[k]][0] < fl) {//如果最短路径,更新最优解
  fl = cl + weight[x[k - 1]][x[k]] + weight[x[k]][0];
  for (int i = 0; i < N; i++) {
  bestX[i] = x[i];
  }
  }
  }
  }else{
  for(int j=1; j<=N; j++){
  x[k] = Math.floorMod(x[k]+1, N);
  if(nextValue(k) && cl+weight[x[k-1]][x[k]] <= fl){
  //此路可行
  cl += weight[x[k-1]][x[k]];
  backUp(k+1);
  cl -= weight[x[k-1]][x[k]];
  }
  }
   
  }
  }
  public void solve(){
  int k = 1; //第0个顶点是固定的,从第一个顶点开始选择
  cl = 0;
  fl = Integer.MAX_VALUE;
  backUp(k);
  }
  }


这篇关于回溯法解旅行商问题(TSP)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/751693

相关文章

解决pandas无法读取csv文件数据的问题

《解决pandas无法读取csv文件数据的问题》本文讲述作者用Pandas读取CSV文件时因参数设置不当导致数据错位,通过调整delimiter和on_bad_lines参数最终解决问题,并强调正确参... 目录一、前言二、问题复现1. 问题2. 通过 on_bad_lines=‘warn’ 跳过异常数据3

解决RocketMQ的幂等性问题

《解决RocketMQ的幂等性问题》重复消费因调用链路长、消息发送超时或消费者故障导致,通过生产者消息查询、Redis缓存及消费者唯一主键可以确保幂等性,避免重复处理,本文主要介绍了解决RocketM... 目录造成重复消费的原因解决方法生产者端消费者端代码实现造成重复消费的原因当系统的调用链路比较长的时

深度解析Nginx日志分析与499状态码问题解决

《深度解析Nginx日志分析与499状态码问题解决》在Web服务器运维和性能优化过程中,Nginx日志是排查问题的重要依据,本文将围绕Nginx日志分析、499状态码的成因、排查方法及解决方案展开讨论... 目录前言1. Nginx日志基础1.1 Nginx日志存放位置1.2 Nginx日志格式2. 499

kkFileView启动报错:报错2003端口占用的问题及解决

《kkFileView启动报错:报错2003端口占用的问题及解决》kkFileView启动报错因office组件2003端口未关闭,解决:查杀占用端口的进程,终止Java进程,使用shutdown.s... 目录原因解决总结kkFileViewjavascript启动报错启动office组件失败,请检查of

SpringBoot 异常处理/自定义格式校验的问题实例详解

《SpringBoot异常处理/自定义格式校验的问题实例详解》文章探讨SpringBoot中自定义注解校验问题,区分参数级与类级约束触发的异常类型,建议通过@RestControllerAdvice... 目录1. 问题简要描述2. 异常触发1) 参数级别约束2) 类级别约束3. 异常处理1) 字段级别约束

Python错误AttributeError: 'NoneType' object has no attribute问题的彻底解决方法

《Python错误AttributeError:NoneTypeobjecthasnoattribute问题的彻底解决方法》在Python项目开发和调试过程中,经常会碰到这样一个异常信息... 目录问题背景与概述错误解读:AttributeError: 'NoneType' object has no at

Spring的RedisTemplate的json反序列泛型丢失问题解决

《Spring的RedisTemplate的json反序列泛型丢失问题解决》本文主要介绍了SpringRedisTemplate中使用JSON序列化时泛型信息丢失的问题及其提出三种解决方案,可以根据性... 目录背景解决方案方案一方案二方案三总结背景在使用RedisTemplate操作redis时我们针对

Kotlin Map映射转换问题小结

《KotlinMap映射转换问题小结》文章介绍了Kotlin集合转换的多种方法,包括map(一对一转换)、mapIndexed(带索引)、mapNotNull(过滤null)、mapKeys/map... 目录Kotlin 集合转换:map、mapIndexed、mapNotNull、mapKeys、map

nginx中端口无权限的问题解决

《nginx中端口无权限的问题解决》当Nginx日志报错bind()to80failed(13:Permissiondenied)时,这通常是由于权限不足导致Nginx无法绑定到80端口,下面就来... 目录一、问题原因分析二、解决方案1. 以 root 权限运行 Nginx(不推荐)2. 为 Nginx

解决1093 - You can‘t specify target table报错问题及原因分析

《解决1093-Youcan‘tspecifytargettable报错问题及原因分析》MySQL1093错误因UPDATE/DELETE语句的FROM子句直接引用目标表或嵌套子查询导致,... 目录报js错原因分析具体原因解决办法方法一:使用临时表方法二:使用JOIN方法三:使用EXISTS示例总结报错原