回溯法解旅行商问题(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

相关文章

MySQL 设置AUTO_INCREMENT 无效的问题解决

《MySQL设置AUTO_INCREMENT无效的问题解决》本文主要介绍了MySQL设置AUTO_INCREMENT无效的问题解决,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参... 目录快速设置mysql的auto_increment参数一、修改 AUTO_INCREMENT 的值。

关于跨域无效的问题及解决(java后端方案)

《关于跨域无效的问题及解决(java后端方案)》:本文主要介绍关于跨域无效的问题及解决(java后端方案),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录通用后端跨域方法1、@CrossOrigin 注解2、springboot2.0 实现WebMvcConfig

Go语言中泄漏缓冲区的问题解决

《Go语言中泄漏缓冲区的问题解决》缓冲区是一种常见的数据结构,常被用于在不同的并发单元之间传递数据,然而,若缓冲区使用不当,就可能引发泄漏缓冲区问题,本文就来介绍一下问题的解决,感兴趣的可以了解一下... 目录引言泄漏缓冲区的基本概念代码示例:泄漏缓冲区的产生项目场景:Web 服务器中的请求缓冲场景描述代码

Java死锁问题解决方案及示例详解

《Java死锁问题解决方案及示例详解》死锁是指两个或多个线程因争夺资源而相互等待,导致所有线程都无法继续执行的一种状态,本文给大家详细介绍了Java死锁问题解决方案详解及实践样例,需要的朋友可以参考下... 目录1、简述死锁的四个必要条件:2、死锁示例代码3、如何检测死锁?3.1 使用 jstack3.2

解决JSONField、JsonProperty不生效的问题

《解决JSONField、JsonProperty不生效的问题》:本文主要介绍解决JSONField、JsonProperty不生效的问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑... 目录jsONField、JsonProperty不生效javascript问题排查总结JSONField

github打不开的问题分析及解决

《github打不开的问题分析及解决》:本文主要介绍github打不开的问题分析及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、找到github.com域名解析的ip地址二、找到github.global.ssl.fastly.net网址解析的ip地址三

MySQL版本问题导致项目无法启动问题的解决方案

《MySQL版本问题导致项目无法启动问题的解决方案》本文记录了一次因MySQL版本不一致导致项目启动失败的经历,详细解析了连接错误的原因,并提供了两种解决方案:调整连接字符串禁用SSL或统一MySQL... 目录本地项目启动报错报错原因:解决方案第一个:第二种:容器启动mysql的坑两种修改时区的方法:本地

springboot加载不到nacos配置中心的配置问题处理

《springboot加载不到nacos配置中心的配置问题处理》:本文主要介绍springboot加载不到nacos配置中心的配置问题处理,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑... 目录springboot加载不到nacos配置中心的配置两种可能Spring Boot 版本Nacos

Java中JSON格式反序列化为Map且保证存取顺序一致的问题

《Java中JSON格式反序列化为Map且保证存取顺序一致的问题》:本文主要介绍Java中JSON格式反序列化为Map且保证存取顺序一致的问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未... 目录背景问题解决方法总结背景做项目涉及两个微服务之间传数据时,需要提供方将Map类型的数据序列化为co

如何解决Druid线程池Cause:java.sql.SQLRecoverableException:IO错误:Socket read timed out的问题

《如何解决Druid线程池Cause:java.sql.SQLRecoverableException:IO错误:Socketreadtimedout的问题》:本文主要介绍解决Druid线程... 目录异常信息触发场景找到版本发布更新的说明从版本更新信息可以看到该默认逻辑已经去除总结异常信息触发场景复