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

相关文章

线上Java OOM问题定位与解决方案超详细解析

《线上JavaOOM问题定位与解决方案超详细解析》OOM是JVM抛出的错误,表示内存分配失败,:本文主要介绍线上JavaOOM问题定位与解决方案的相关资料,文中通过代码介绍的非常详细,需要的朋... 目录一、OOM问题核心认知1.1 OOM定义与技术定位1.2 OOM常见类型及技术特征二、OOM问题定位工具

Vue3绑定props默认值问题

《Vue3绑定props默认值问题》使用Vue3的defineProps配合TypeScript的interface定义props类型,并通过withDefaults设置默认值,使组件能安全访问传入的... 目录前言步骤步骤1:使用 defineProps 定义 Props步骤2:设置默认值总结前言使用T

Web服务器-Nginx-高并发问题

《Web服务器-Nginx-高并发问题》Nginx通过事件驱动、I/O多路复用和异步非阻塞技术高效处理高并发,结合动静分离和限流策略,提升性能与稳定性... 目录前言一、架构1. 原生多进程架构2. 事件驱动模型3. IO多路复用4. 异步非阻塞 I/O5. Nginx高并发配置实战二、动静分离1. 职责2

解决升级JDK报错:module java.base does not“opens java.lang.reflect“to unnamed module问题

《解决升级JDK报错:modulejava.basedoesnot“opensjava.lang.reflect“tounnamedmodule问题》SpringBoot启动错误源于Jav... 目录问题描述原因分析解决方案总结问题描述启动sprintboot时报以下错误原因分析编程异js常是由Ja

MySQL 表空却 ibd 文件过大的问题及解决方法

《MySQL表空却ibd文件过大的问题及解决方法》本文给大家介绍MySQL表空却ibd文件过大的问题及解决方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考... 目录一、问题背景:表空却 “吃满” 磁盘的怪事二、问题复现:一步步编程还原异常场景1. 准备测试源表与数据

解决Nginx启动报错Job for nginx.service failed because the control process exited with error code问题

《解决Nginx启动报错Jobfornginx.servicefailedbecausethecontrolprocessexitedwitherrorcode问题》Nginx启... 目录一、报错如下二、解决原因三、解决方式总结一、报错如下Job for nginx.service failed bec

SysMain服务可以关吗? 解决SysMain服务导致的高CPU使用率问题

《SysMain服务可以关吗?解决SysMain服务导致的高CPU使用率问题》SysMain服务是超级预读取,该服务会记录您打开应用程序的模式,并预先将它们加载到内存中以节省时间,但它可能占用大量... 在使用电脑的过程中,CPU使用率居高不下是许多用户都遇到过的问题,其中名为SysMain的服务往往是罪魁

MySQ中出现幻读问题的解决过程

《MySQ中出现幻读问题的解决过程》文章解析MySQLInnoDB通过MVCC与间隙锁机制在可重复读隔离级别下解决幻读,确保事务一致性,同时指出性能影响及乐观锁等替代方案,帮助开发者优化数据库应用... 目录一、幻读的准确定义与核心特征幻读 vs 不可重复读二、mysql隔离级别深度解析各隔离级别的实现差异

C++ vector越界问题的完整解决方案

《C++vector越界问题的完整解决方案》在C++开发中,std::vector作为最常用的动态数组容器,其便捷性与性能优势使其成为处理可变长度数据的首选,然而,数组越界访问始终是威胁程序稳定性的... 目录引言一、vector越界的底层原理与危害1.1 越界访问的本质原因1.2 越界访问的实际危害二、基

Python多线程应用中的卡死问题优化方案指南

《Python多线程应用中的卡死问题优化方案指南》在利用Python语言开发某查询软件时,遇到了点击搜索按钮后软件卡死的问题,本文将简单分析一下出现的原因以及对应的优化方案,希望对大家有所帮助... 目录问题描述优化方案1. 网络请求优化2. 多线程架构优化3. 全局异常处理4. 配置管理优化优化效果1.