回溯注意点:回溯时间复杂度的计算与剪枝操作

news2024/12/23 6:08:13

文章目录

  • 回溯的时间复杂度计算
    • 示例1:77.组合
    • 示例2:216.组合总和Ⅲ
    • 示例3:17.电话号码字母组合
    • 关于剪枝对时间复杂度的影响
  • 回溯的剪枝操作必要性及适用场景
    • 示例1:组合剪枝
      • 剪枝优化点:
    • 示例2:组合剪枝
      • 剪枝优化点:
    • 示例3:不能剪枝的情况

回溯的时间复杂度计算

计算回溯时间复杂度,我们可以使用如下公式:答案个数(叶子节点个数)×路径长度(搜索深度)

示例1:77.组合

void backtracking(vector<int>&path,vector<vector<int>>result,int n,int k,int startIndex){
    //终止
    if(path.size()==k){
        result.push_back(path);
        return;
    }
    //单层递归
    for(int i = startIndex;i<=n - (k - path.size()) + 1;i++){
        //加入路径
        path.push_back(i);
        //找到i开头的所有组合 12 13 14
        backtracking(path,result,n,k,i+1);
        //回溯,去掉1开始找2开头的,如果传入startIndex+1那么找2开头的就会出问题了
        path.pop();
    }
    return;
}
vector<vector<int>> combine(int n, int k) {
	vector<int>path;
    vector<vector<int>>result;
    int startIndex = 1;
    backtracking(path,result,n,k,startIndex);
    return result;
}

这道组合题目中,叶子节点个数也就是答案个数为 C n k C_n^k Cnk,搜索深度为k(因为需要k个数字),所以时间复杂度为k* C n k C_n^k Cnk

在这里插入图片描述
严格来说,这个公式并不总是对所有回溯问题都适用。因为回溯问题的时间复杂度通常要考虑所有可能的搜索路径,而不仅仅是最终结果(叶子节点)。对于某些问题,可能存在大量的无效路径(即那些未导致有效解的路径),这些路径也会消耗计算资源。

在这个特定的问题中,这样做是正确的,因为每个搜索路径都直接对应一个结果,即从n中选取k个数的组合。所以在这个特定的场景下,可以将时间复杂度描述为k* C n k C_n^k Cnk。但这种描述方法并不总是适用于所有的回溯问题。

示例2:216.组合总和Ⅲ

void backtracking(vector<int>& path,vector<vector<int>>&result,int k,int targetSum,int sum,int startIndex){
    //终止条件
    if(path.size()==k){
        //检查和是否符合要求
        if(sum==targetSum){
            result.push_back(path);
        }
        return;
    }
    
    //单层搜索
    for(int i=startIndex;i<=9;i++){
        //本层累加
        sum = sum+i;
        path.push_back(i);
        //递归for循环,取了[1]之后再取[1,2][1,3][1,4]……
        backtracking(path,result,k,targetSum,sum,i+1);
        //回溯,开始取[2],后面[2,3][2,4]……
        path.pop_back();
        sum = sum-i;
    }

}

//主函数,传参和赋初值可以先写
vector<vector<int>> combinationSum3(int k, int n) {
	int sum=0;
    int startIndex=1;
    vector<int>path;
    vector<vector<int>>result;
    backtracking(path,result,k,n,sum,startIndex);
    return result;
}

这个例子是寻找所有和为特定值n的、长度为k的、元素从1到9的组合。根据题目条件,元素是不可重复的,且每个组合中元素无序。

在这种情况下,我们仍然可以使用公式来大致评估时间复杂度,但需要注意,这只是一个大概的评估,因为在某些路径中,可能由于和超过了目标值或者元素数量已满,提前结束了搜索。

首先,答案个数是不能确定的,这是因为并非所有长度为k的组合的和都会等于n。所以在这种情况下,答案个数(叶子节点数量)并不能提前确定

然后,每一次选择元素,也就是搜索路径的深度,我们知道是k。

所以在这种情况下,我们并不能准确地得到时间复杂度是多少。我们只能说,时间复杂度的上界是 O ( 9 k ) O(9^k) O(9k),这是因为每一次选择都有9种可能(实际上随着选择的进行,可能的选择数量会越来越少,所以这只是一个上界),我们需要做k次选择

实际的时间复杂度可能会低于这个上界,因为并非所有可能的路径都会被完全搜索,一旦发现当前路径不可能达到目标,搜索就会被提前终止。但在最坏的情况下,时间复杂度的上界是 O ( 9 k ) O(9^k) O(9k)

示例3:17.电话号码字母组合

class Solution {
public:
//注意数组的初始化方式
    string letterMap[10]={
        "", //是逗号不是分号
        "",
        "abc",
        "def",
        "ghi",
        "jkl",
        "mno",
        "pqrs",
        "tuv",
        "wxyz",
    };
    void backtracking(string path,vector<string>&result,int index,string digits){
        //终止条件
        if(path.size()==digits.size()){
            result.push_back(path);
            return;
        }
        //单层搜索,先得到第一个遍历的数字
        int digitsNum = digits[index]-'0';
        //第一个遍历的数字的字符串
        string a = letterMap[digitsNum];
        for(int i=0;i<a.size();i++){
            path.push_back(a[i]);
            backtracking(path,result,index+1,digits);
            //递归收集'a'开头结束之后,去找'b'开头
            path.pop_back();//pop里面没有参数,error: too many arguments to function call, expected 0, have 1
        }
    }
    vector<string> letterCombinations(string digits) {
        int index=0;
        vector<string>result;
        string path;
        if(digits.size()==0){
            return result;
        }
        backtracking(path,result,index,digits);
        return result;
    }
};

公式计算时间复杂度的方式,需要知道答案个数(叶子节点个数)和路径长度(搜索深度)。

在这个问题中,路径长度即为输入的数字字符串的长度。然而,答案个数则会根据输入的数字字符串的内容变化。假设输入的数字字符串为d1d2d3…dn,每个数字di可以表示的字母个数为ci,那么答案个数就是c1c2c3…*cn。

所以,如果用公式,这个问题的时间复杂度为O(n * c1*c2*c3...*cn) = O(n * C),其中n是输入的数字字符串的长度,C是答案个数。

另一种考虑方式是,每一位数字都有至多4种可能的字母(例如7和9所对应的字母),所以在最坏情况下,时间复杂度是O(4^n),因为每一位数字都需要遍历其所有可能的字母

所以,两种方式得到的时间复杂度都是在同一个数量级上的,都是指数级别的时间复杂度,只是在常数因子上有所不同。这是由于回溯问题的搜索空间通常是指数级别的。

关于剪枝对时间复杂度的影响

从理论上来说,剪枝并不会改变时间复杂度。但在实际执行时,剪枝可以显著减少算法的执行时间

因为在计算时间复杂度时,我们通常会考虑最坏的情况。例如组合问题,无论是否剪枝,最坏情况下的时间复杂度仍然是k* C n k C_n^k Cnk

这是因为剪枝并没有改变最坏情况下需要尝试的可能组合的数量。剪枝只是在实际执行时减少了一部分无效的尝试,但并没有改变最坏情况下的搜索空间大小

回溯的剪枝操作必要性及适用场景

回溯的剪枝操作是非常必要的,很多回溯题目不剪枝很容易tle也就是超时。但是有些题目可以剪枝,有的题目并不能剪枝。

剪枝的可能性并非完全依赖于问题是组合问题还是子集问题。剪枝主要依赖于能否在搜索过程中提前知道某条路径不可能导向一个有效的解,从而在这条路径上不再进行进一步的搜索。

对于子集问题,通常情况下我们需要考虑集合的所有子集,因此通常情况下我们不能提前知道哪些路径不可能导向有效的解,所以通常情况下子集问题不适用于剪枝。例如电话号码这道题。

但也并非绝对,比如有一些子集问题可能会带有额外的约束条件,这些约束条件可能使得一些路径可以被提前判定为不可能导向有效解,此时就可以进行剪枝。

对于组合问题,由于通常我们需要在集合中选取特定数量的元素,所以当剩余的元素不足以达到这个数量时,我们可以判定这条路径不可能导向有效解,因此可以进行剪枝。

示例1:组合剪枝

不剪枝的版本会尝试所有的可能组合,直到得到长度为k的组合。然而,对于一些情况,当我们已经选择了足够多的元素,使得剩余的元素不足以填满长度为k的组合时,我们仍然会继续尝试,这其实是无效的。

剪枝的版本通过减少这些无效的尝试,提高了算法的效率。我们可以提前判断剩余的元素是否足以填满长度为k的组合,如果不足,则提前结束当前的循环,避免无效的尝试。

void backtracking(vector<int>&path,vector<vector<int>>result,int n,int k,int startIndex){
    //终止
    if(path.size()==k){
        result.push_back(path);
        return;
    }
    //单层递归
    for(int i = startIndex;i<=n - (k - path.size()) + 1;i++){
        //加入路径
        path.push_back(i);
        //找到i开头的所有组合 12 13 14
        backtracking(path,result,n,k,i+1);
        //回溯,去掉1开始找2开头的,如果传入startIndex+1那么找2开头的就会出问题了
        path.pop();
    }
    return;
}
vector<vector<int>> combine(int n, int k) {
	vector<int>path;
    vector<vector<int>>result;
    int startIndex = 1;
    backtracking(path,result,n,k,startIndex);
    return result;
}

剪枝优化点:

for(int i = startIndex;i<=n - (k - path.size()) + 1;i++);//优化for的结束条件,当剩余元素不足k的时候直接结束循环

示例2:组合剪枝

//注意剪枝的同时,直接返回,必须要剪枝同时把回溯也做了
void backtracking(vector<int>& path,vector<vector<int>>&result,int k,int targetSum,int sum,int startIndex){
    //终止条件
    if(path.size()==k){
        //检查和是否符合要求
        if(sum==targetSum){
            result.push_back(path);
        }
        //==k无论如何都会return
        return;
    }
    
    //单层搜索
    for(int i=startIndex;i<=9-(k-path.size())+1;i++){
        //本层累加
        sum = sum+i;
        path.push_back(i);
        
        //如果此时的sum已经比targetSum要大,那么已经可以剪枝去找下一个了
        if(sum>targetSum){
            //剪枝,剪枝的时候一定要记得回溯!
            sum = sum-i;
            path.pop_back();
            //这里最好还是写continue,跳过for循环剩下所有部分进行下一次for循环
            continue;
        }
        
        //递归for循环,取了[1]之后再取[1,2][1,3][1,4]……
        backtracking(path,result,k,targetSum,sum,i+1);
        //回溯,开始取[2],后面[2,3][2,4]……
        path.pop_back();
        sum = sum-i;
    }

}

//主函数,传参和赋初值可以先写
vector<vector<int>> combinationSum3(int k, int n) {
	int sum=0;
    int startIndex=1;
    vector<int>path;
    vector<vector<int>>result;
    backtracking(path,result,k,n,sum,startIndex);
    return result;
}

剪枝优化点:

终止条件剪枝:

    //终止条件
    if(path.size()==k){
        //检查和是否符合要求,已经大于sum了就没必要继续找了
        if(sum==targetSum){
            result.push_back(path);
        }
        //==k无论如何都会return
        return;

for循环剪枝

for(int i=startIndex;i<=9-(k-path.size())+1;i++)

示例3:不能剪枝的情况

本题没有剪枝操作,是因为在这个问题中,不存在无效的搜索路径。在组合或者排列问题中,我们使用剪枝来排除那些我们已经知道不可能产生有效答案的搜索路径,以此来优化我们的算法。但在电话号码的字母组合问题中,所有的路径都可能产生有效答案,我们无法提前知道哪些路径是无效的。

在电话号码的字母组合问题中,我们需要为输入的每一个数字选择一个字母,每一个数字都有几个可能的字母,我们需要尝试所有的可能选择,以生成所有可能的组合。

所以,这个问题没有剪枝,并不是因为这个问题是子集问题还是组合问题,而是因为在这个问题中,所有的路径都可能产生有效答案,我们没有办法提前知道哪些路径是无效的,也就无法进行剪枝。

class Solution {
public:
//注意数组的初始化方式
    string letterMap[10]={
        "", //是逗号不是分号
        "",
        "abc",
        "def",
        "ghi",
        "jkl",
        "mno",
        "pqrs",
        "tuv",
        "wxyz",
    };
    void backtracking(string path,vector<string>&result,int index,string digits){
        //终止条件
        if(path.size()==digits.size()){
            result.push_back(path);
            return;
        }
        //单层搜索,先得到第一个遍历的数字
        int digitsNum = digits[index]-'0';
        //第一个遍历的数字的字符串
        string a = letterMap[digitsNum];
        for(int i=0;i<a.size();i++){
            path.push_back(a[i]);
            backtracking(path,result,index+1,digits);
            //递归收集'a'开头结束之后,去找'b'开头
            path.pop_back();//pop里面没有参数,error: too many arguments to function call, expected 0, have 1
        }
    }
    vector<string> letterCombinations(string digits) {
        int index=0;
        vector<string>result;
        string path;
        if(digits.size()==0){
            return result;
        }
        backtracking(path,result,index,digits);
        return result;
    }
};

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/681615.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

STL容器(持续更新中)

一、string类 1. 构造函数 常用的构造函数如下。 构造函数原型含义string()默认构造函数。创建一个默认string对象&#xff0c;长度为0string(const string &s)拷贝构造函数。用一个string对象初始化另一个string对象string(const char *s)用字符串常量构建string对象st…

Linux系统编程(vfork和fork)

文章目录 前言一、vfork讲解二、vfork使用三、exit和_exit1.exit和_exit对比2.在vfork中的使用 四、vfork和fork区别总结 前言 本篇文章讲解vfork和fork创建进程的区别。 一、vfork讲解 vfork 是一个在类Unix操作系统中的系统调用&#xff0c;它创建一个新进程&#xff0c;且…

欠拟合、过拟合、正则化、学习曲线

1.欠拟合、过拟合、正则化、学习曲线 1.1 欠拟合、过拟合 欠拟合&#xff1a;模型相对于要解决的问题来说太简单了&#xff0c;模型并没有拟合训练数据的状态 过拟合&#xff1a;模型相对于要解决的问题来说太复杂了&#xff0c;模型只能拟合训练数据的状态 下图来自&#x…

第41步 深度学习图像识别:Efficientnet建模(Tensorflow)

一、写在前面 &#xff08;1&#xff09;Efficientnet EfficientNet是Google在2019年提出的一种新的卷积神经网络架构&#xff0c;主要目标是提高模型的效率&#xff0c;即在保持或提高模型性能的同时&#xff0c;尽可能地降低模型的复杂性和计算需求。 EfficientNet的关键思…

【MySQL】表的内外连接

目录 一、内连接&#xff08;表1 inner join 表2 on&#xff09; 1、显示SMITH的名字和部门名称 二、外连接 1、左外连接&#xff08;表名1 left join 表名2 on&#xff09; 1.1查询所有学生的成绩&#xff0c;如果这个学生没有成绩&#xff0c;也要将学生的个人信息显示出…

2022(一等奖)D775北部湾红树林生理结构参数对水位变化的响应特征研究

作品介绍 1 应用背景 红树林作为全球生产力最高的生态系统之一&#xff0c;是生长在热带、亚热带海湾的一种特殊的木本植物群落。它由于其独特的海陆过渡特性&#xff0c;在维持滨海生态稳定、促进海陆能量循环中起着重要作用。同时&#xff0c;红树林可以吸附温室气体&#x…

第十二章 EfficientNetv2网络详解

系列文章目录 第一章 AlexNet网络详解 第二章 VGG网络详解 第三章 GoogLeNet网络详解 第四章 ResNet网络详解 第五章 ResNeXt网络详解 第六章 MobileNetv1网络详解 第七章 MobileNetv2网络详解 第八章 MobileNetv3网络详解 第九章 ShuffleNetv1网络详解 第十章…

Python爬取数据并进行数据CRUD的Web可视化项目

项目内容简介 爬取网站https://book.douban.com/top250上面的Top250数据,然后将数据保存到Mysql数据库中,最后这些数据记录以Web的方式进行展示,并实现对这些数据记录的CRUD(增删改查)! 项目实现简介 对豆瓣网站的爬虫的实现。 见项目中的爬取豆瓣Top250脚本(beautifulSoup).…

Linux下MySQL的安装与使用

文章目录 安装前说明Linux系统及工具的准备查看是否安装过MySQLMySQL的卸载 MySQL的Linux版安装下载MySQL指定版本CentOS7下检查MySQL依赖CentOS7下MySQL安装过程 查看MySQL版本服务的初始化启动MySQL&#xff0c;查看状态查看MySQL服务是否自启动 MySQL登录设置远程登录 安装前…

【计算机组成原理】输入输出系统

目录 一、外部设备概述 二、输入输出接口 三、主机与外设交换信息的方式 四、中断系统 五、中断请求 六、中断响应 七、中断服务 一、外部设备概述 外部设备在计算机系统中的作用&#xff1a; 人机对话的重要设备&#xff08;交互&#xff09;完成数据媒体变换的设别&…

chatgpt赋能python:Python等待一秒-程序员必知的等待操作

Python等待一秒 - 程序员必知的等待操作 时间是宝贵的资源&#xff0c;你可能会需要让你的Python程序等待一段时间才能继续执行。在这篇文章中&#xff0c;我们将学习如何使用Python等待一秒&#xff0c;包括为什么需要等待&#xff0c;以及在Python中如何等待。 为什么需要等…

前端web入门-CSS-day07

(创作不易&#xff0c;感谢有你&#xff0c;你的支持&#xff0c;就是我前行的最大动力&#xff0c;如果看完对你有帮助&#xff0c;请留下您的足迹&#xff09; 目录 定位 相对定位 绝对定位 定位居中 固定定位 堆叠层级 z-index 定位-总结 高级技巧 CSS 精灵 字…

QT(一) 安装 QT(二)GUI程序设计基础

第一章 &#xff1a; Qt 安装 下载地址安装 打开 cmd 运行镜像 &#xff1a; qt-unified-windows-x64-4.6.0-online.exe --mirror https://mirrors.aliyun.com/qt Hello 因为是qmake 所以是.proCtrl R 直接运行 第二章 GUI程序设计基础 main文件 *.ui : 有UI设计器自动生成…

操作系统02-OS结构

目录 一、概述 二、内容 三、总结 一、概述 操作系统以服务的形式向程序和用户提供执行程序的基本服务&#xff0c;包括用户界面、程序执行、IO操作、文件系统操作、通讯、错误监测等。 二、内容 2.1 OS服务和接口 1 操作系统服务 2 操作系统程序接口&#xff1a;系统调…

阿里架构师分享分布式架构笔记文档:Nginx+Redis+ZK+Kafka+MQ等

Nginx Nginx 是一款非常优秀的开源软件&#xff0c;工作需要&#xff0c;研究了很久一段时间的 Nginx 源码&#xff0c;在研究学习的过程中收益颇多。作为高性能服务器的代表&#xff0c;为了追求极致的高性能&#xff0c;在许多方面&#xff0c;Nginx 的源码实现都可以称得上…

Reqable HTTP一站式开发+调试工具(小黄鸟作者另一力作、小黄鸟完美替代品)

本文所有教程及源码、软件仅为技术研究。不涉及计算机信息系统功能的删除、修改、增加、干扰,更不会影响计算机信息系统的正常运行。不得将代码用于非法用途,如侵立删!Reqable HTTP一站式开发+调试工具(小黄鸟作者另一力作、小黄鸟替代品) 环境 win10pixel4Android13概览 …

JS将PDF转图片,pdfjs的使用

Hi I’m Shendi 最近做转换工具&#xff0c;需要将pdf转图片&#xff0c;这里记录下来 JS将PDF转图片&#xff0c;pdfjs的使用 简介 A general-purpose, web standards-based platform for parsing and rendering PDFs. 一个通用的、基于web标准的平台&#xff0c;用于解析和…

word公式mathtype公式

行间公式&#xff1a; 直接点“有编号” 内联公式&#xff1a; 直接点“内联” 交叉引用&#xff1a; 插入引用&#xff0c;双击编号 行内公式大小不统一&#xff0c;公式的代码可能上漂 解决方案&#xff1a;法一&#xff1a;切换Tex&#xff0c;再次切换过来。 法二&…

ElasticSearch的核心概念简单描述

我正在参加「掘金启航计划」 ES核心概念 ES是面向文档,下面表格是和关系型数据库的对比,一切都是JSON 关系数据库(Mysql)ES数据库(database)索引(indices) 和数据库一样表(tables)types 慢慢会被弃用 7.0已经过时 8.0会彻底废弃行(rows)documents (数据)文档字段(columns)fi…

简单图论+二分搜索:环境治理

题目描述 LQ 国拥有 n 个城市, 从 0 到 n−1 编号, 这 n 个城市两两之间都有且仅有 一条双向道路连接, 这意味着任意两个城市之间都是可达的。每条道路都有一 个属性 D, 表示这条道路的灰尘度。当从一个城市 A 前往另一个城市 B 时, 可 能存在多条路线, 每条路线的灰尘度定义为…