主頁 >  其他 > 演算法初探系列3 -深度優先搜索之剪枝策略

演算法初探系列3 -深度優先搜索之剪枝策略

2021-02-21 11:30:15 其他

前言
前兩節課蒟蒻君給大家講解了dfs的基本用法,蒟蒻君來給大家講一下它的時間復雜度優化~
鋪墊一下
1.搜索樹和狀態
我們可以根據搜索狀態構建一張抽象的圖,圖上的一個節點就是一個狀態,而圖上的邊就是狀態之間轉移的關系,包括繼續dfs或者回溯,
搜索樹里每個節點上記錄的就是執行到這個狀態時的值,對于每個數,我們都有幾種選擇,都會使目前的狀態產生分支,
簡單來說,剪枝后的搜索樹每個狀態有k種選擇時,它就是一個完全k叉樹(不會的小伙伴可以把這句話當空氣),
2.舉個栗子
接下來蒟蒻君現編一道題…

  • 題目
    蒟蒻君今天想吃x斤食物 (蒟蒻君是吃貨沒錯) ,現在有n盤食物,第i盤食物有a[i]斤,蒟蒻君想知道有幾種吃法,
  • 分析一下
    對與每個食物,我們都有選和不選兩種選擇(即k=2),我們在每次搜索中都要嘗試這兩種選擇,達到條件計數器+1.
  • 植樹~
    讓我們來看一下這道題的搜索樹叭(蒟蒻君畫得不咋地)
    我們用S來記錄當前總斤數和,用N來記錄選擇的食物的個數,
    在這里插入圖片描述
  • 代碼
#include <bits/stdc++.h>
using namespace std;
const int MAX_N = 15;	// n的最大值,這里設它為15
int x, n, sum;	// 輸入資料 
int res; 	// 總方案數 
int a[MAX_N]; 
void dfs(int i, int N, int S) {
	// 遞回終止條件:所有數都搜索完了(也可以是找到n盤食物了,同理) 
	if (i == x) {
		if (N == n && S == sum) {	// 如果食物數量和重量都符合要求,就把答案+1 
			++res;
		}
		return ;
	}
	dfs(i + 1, N, S);	// 如果不選當前菜
	dfs(i + 1, N + 1, S + a[i]);	// 如果選當前菜 
}
int main() {
	cin >> x >> n >> sum;
	for (int i = 0; i < x; ++i) {
		cin >> a[i]; 
	}
	dfs(0, 0, 0);	// 從編號為0的菜開始搜索,最開始有0個菜,重量和為0
	cout << res << '\n'; 
	return 0;
}

當前,目前的時間復雜度為O(2^n),明顯有點太慢了,
一會我們會講到四種剪枝優化,其中有一些就是針對這種噠,
知識梳理
剪枝,顧名思義就是從搜索樹上剪掉一些沒用的子樹,讓時間復雜度降低,
一、可行性剪枝
還是剛才的問題,
在這里插入圖片描述
當n=2的時候,如果當N=2時,已經選了2個數,再繼續選就是沒有意義了,所以我們可以直接減去這個搜索分支,也就是:
在這里插入圖片描述
再比如,一旦現在的值已經>sum了,也沒必要繼續搜索了,

  • 代碼
#include <bits/stdc++.h>
using namespace std;
const int MAX_N = 15;	// n的最大值,這里設它為15
int x, n, sum;	// 輸入資料 
int res; 	// 總方案數 
int a[MAX_N]; 
void dfs(int i, int N, int S) {
	if (N > n) {	// 剪枝1 
		return ;
	} 
	if (S > sum) {	// 剪枝2
		return ;
	} 
	// 遞回終止條件:所有數都搜索完了(也可以是找到n盤食物了,同理)  
	if (i == x) {
		if (N == n && S == sum) {	// 如果食物數量和重量都符合要求,就把答案+1 
			++res;
		}
		return ;
	}
	dfs(i + 1, N, S);	// 如果不選當前菜
	dfs(i + 1, N + 1, S + a[i]);	// 如果選當前菜 
}
int main() {
	cin >> x >> n >> sum;
	for (int i = 0; i < x; ++i) {
		cin >> a[i]; 
	}
	dfs(0, 0, 0);	// 從編號為0的菜開始搜索,最開始有0個菜,重量和為0
	cout << res << '\n'; 
	return 0;
}

二、最優性剪枝
對于求最優解的問題,有些時候可以用最優性剪枝,
比如求解迷宮最短路徑類的問題,如果當前步數已經大于等于答案了,就可以停止搜索,
此外,在判斷是否有可行解的程序中,只要有一個解,后面的搜索就不用進行啦(可以使用exit(0)),這是最優性剪枝的一種特例,

  • 代碼
    這里就寫剪枝優化的代碼~
int res = 0x3f3f3f3f;	// 答案
int n, m;
......
void dfs(......, int stp) {	// stp表示當前步數
	if (stp >= res) {
		return ;
	}
	if (符合條件) {	// 排除來不是最優解的情況后,此時stp肯定是目前的最優解
		res = stp;
		return ;
	}
	......
}

三、重復性剪枝
對于某些搜索方式,一個方案可能會被搜索多次,這樣是沒必要了,
還是那道題…
我們其實不需要像之前那樣每次dfs都把每個都列舉了,因為我們只關注最這串數的和,而不關注順序,所以我們可以使用重復性剪枝,
我們設定選出的數的下標是遞增的,所以我們可以設定一個變數表示上次列舉的下標,這次從上次+1開始列舉就不會有重復的了,

  • 代碼
bool eaten[MAX_N];	// eaten[i]表示第i個食物是否被吃過
void dfs(int N, int S, int pos) {
	......	// 判斷邊界 + 可行性剪枝
	for (int i = pos; i <= n; ++i) {
		if (!eaten[i]) {	// 沒吃過就吃
			eaten[i] = true;
			dfs(N + 1, S + a[i], i + 1);	// 下一個的位置在這個的后面
			eaten[i] = false;	// 回溯,把食物吐出來(蒟蒻君還可以繼續吃...)
		}
	}
}

四、奇偶性剪枝
大家先看一道題(上次農場里那幾只挑剔的小豬又登場了…):

  • 題目
    農場主嫌這些小豬又懶又饞 (豬豬不都是這樣嗎) ,決定給它們一個考驗,
    他給豬豬們出了一個n * m的迷宮,其中有起點、終點、墻和平地,小豬豬們只能向上下左右走,不能爬墻 (它們貌似也不會爬墻)
    它們走每步需要一個小時的時間(因為它們實在是太胖了),到第T個小時時,農場主就會不耐煩,把豬糧送給隔壁的老母豬,
    豬豬們很餓,想讓你判斷一下是否可以吃到豬糧,
    起點:‘A’
    終點:‘B’
    平地:’.’
    墻:’*’
  • 分析
    這里會的小伙伴可能會想到小學奧數證明題中的染色問題,其中的一個方法就是黑白染色,
    在這里插入圖片描述
    如圖,每隔一個格子染成黑色,其余的為白色,
    在這個圖中,每走一步就會變一次色,
    我們還可以看出來,如果行數+列數為計數,當前格子就為黑色,否則為白色,
    從A走到B要奇數次(即A、B兩格不同色),而T為偶數,或者要偶數次,而T為奇數,則可以剪枝,
    剪枝例題
    在這里插入圖片描述
  • 分析

這道題其實就是很簡單的dfs+剪枝,別的難點都沒用到(蒟蒻君好不容易挑噠),
本題思路分為以下幾步:

  1. 預處理所有木棍的總長度,保證列舉答案的值能被總長度整除,
  2. 每根木棍的長度可用hash存盤,預處理最長的和最短的木棍的長度,dfs時從最大長度到最小長度列舉,
  3. 記錄當前長度,下次dfs從當前長度-1來列舉(重復性剪枝),
  4. 若某組拼接不成立,且此時已拼接的長度為0或當前已拼接的長度與剛才列舉的長度之和為最終列舉的答案時,則可直接跳出回圈(可行性剪枝),
  • 代碼
#include <bits/stdc++.h> 
using namespace std;
const int N = 70;
int n;
int res;
int maxn, minn = N;
int box[N];	// step2
void dfs(int pre, int sum, int x, int y) {
	if (pre == 0) {	// step4 
		cout << x << '\n';
		exit(0);
	}
	if (sum == x) {	// step3 
		dfs(pre - 1, 0, x, maxn);
		return ;
	}
	for (int i = y; i >= minn; --i) {	// step2 & step3
		if (box[i] > 0 && i + sum <= x) {
			--box[i];
			dfs(pre, sum + i, x, i);
			++box[i];	//	回溯
			if (sum == 0 || sum + i == x) {	// step4
				break;
			}
		}
	}
}

int main() {
    cin >> n;
    while (n--) {
    	int t;
    	cin >> t;
    	if (t > 50) {	// 過濾 
    		continue;
		}
		++box[t];
		res += t;
		maxn = max(maxn, t);	// step1
		minn = min(minn, t);
    }
    int en = res >> 1;	// 由于res一直在改變,所以需要在回圈前定義一個變數存盤 
    for (int i = maxn; i <= en; ++i) {
    	if (res % i == 0) {
    		dfs(res / i, 0, i, maxn);
		}
	} 
	cout << res << '\n'; 
    return 0;
}

dfs的課程到此結束,接下來蒟蒻君將為大家講解bfs~

轉載請註明出處,本文鏈接:https://www.uj5u.com/qita/261812.html

標籤:其他

上一篇:《博弈論全家桶》(ACM / OI)(超全的博弈論 / 組合游戲大合集)

下一篇:《不改變的CSDN,沒有未來》,前50的專家實名發文

標籤雲
其他(157675) Python(38076) JavaScript(25376) Java(17977) C(15215) 區塊鏈(8255) C#(7972) AI(7469) 爪哇(7425) MySQL(7132) html(6777) 基礎類(6313) sql(6102) 熊猫(6058) PHP(5869) 数组(5741) R(5409) Linux(5327) 反应(5209) 腳本語言(PerlPython)(5129) 非技術區(4971) Android(4554) 数据框(4311) css(4259) 节点.js(4032) C語言(3288) json(3245) 列表(3129) 扑(3119) C++語言(3117) 安卓(2998) 打字稿(2995) VBA(2789) Java相關(2746) 疑難問題(2699) 细绳(2522) 單片機工控(2479) iOS(2429) ASP.NET(2402) MongoDB(2323) 麻木的(2285) 正则表达式(2254) 字典(2211) 循环(2198) 迅速(2185) 擅长(2169) 镖(2155) 功能(1967) .NET技术(1958) Web開發(1951) python-3.x(1918) HtmlCss(1915) 弹簧靴(1913) C++(1909) xml(1889) PostgreSQL(1872) .NETCore(1853) 谷歌表格(1846) Unity3D(1843) for循环(1842)

熱門瀏覽
  • 網閘典型架構簡述

    網閘架構一般分為兩種:三主機的三系統架構網閘和雙主機的2+1架構網閘。 三主機架構分別為內端機、外端機和仲裁機。三機無論從軟體和硬體上均各自獨立。首先從硬體上來看,三機都用各自獨立的主板、記憶體及存盤設備。從軟體上來看,三機有各自獨立的作業系統。這樣能達到完全的三機獨立。對于“2+1”系統,“2”分為 ......

    uj5u.com 2020-09-10 02:00:44 more
  • 如何從xshell上傳檔案到centos linux虛擬機里

    如何從xshell上傳檔案到centos linux虛擬機里及:虛擬機CentOs下執行 yum -y install lrzsz命令,出現錯誤:鏡像無法找到軟體包 前言 一、安裝lrzsz步驟 二、上傳檔案 三、遇到的問題及解決方案 總結 前言 提示:其實很簡單,往虛擬機上安裝一個上傳檔案的工具 ......

    uj5u.com 2020-09-10 02:00:47 more
  • 一、SQLMAP入門

    一、SQLMAP入門 1、判斷是否存在注入 sqlmap.py -u 網址/id=1 id=1不可缺少。當注入點后面的引數大于兩個時。需要加雙引號, sqlmap.py -u "網址/id=1&uid=1" 2、判斷文本中的請求是否存在注入 從文本中加載http請求,SQLMAP可以從一個文本檔案中 ......

    uj5u.com 2020-09-10 02:00:50 more
  • Metasploit 簡單使用教程

    metasploit 簡單使用教程 浩先生, 2020-08-28 16:18:25 分類專欄: kail 網路安全 linux 文章標簽: linux資訊安全 編輯 著作權 metasploit 使用教程 前言 一、Metasploit是什么? 二、準備作業 三、具體步驟 前言 Msfconsole ......

    uj5u.com 2020-09-10 02:00:53 more
  • 游戲逆向之驅動層與用戶層通訊

    驅動層代碼: #pragma once #include <ntifs.h> #define add_code CTL_CODE(FILE_DEVICE_UNKNOWN,0x800,METHOD_BUFFERED,FILE_ANY_ACCESS) /* 更多游戲逆向視頻www.yxfzedu.com ......

    uj5u.com 2020-09-10 02:00:56 more
  • 北斗電力時鐘(北斗授時服務器)讓網路資料更精準

    北斗電力時鐘(北斗授時服務器)讓網路資料更精準 北斗電力時鐘(北斗授時服務器)讓網路資料更精準 京準電子科技官微——ahjzsz 近幾年,資訊技術的得了快速發展,互聯網在逐漸普及,其在人們生活和生產中都得到了廣泛應用,并且取得了不錯的應用效果。計算機網路資訊在電力系統中的應用,一方面使電力系統的運行 ......

    uj5u.com 2020-09-10 02:01:03 more
  • 【CTF】CTFHub 技能樹 彩蛋 writeup

    ?碎碎念 CTFHub:https://www.ctfhub.com/ 筆者入門CTF時時剛開始刷的是bugku的舊平臺,后來才有了CTFHub。 感覺不論是網頁UI設計,還是題目質量,賽事跟蹤,工具軟體都做得很不錯。 而且因為獨到的金幣制度的確讓人有一種想去刷題賺金幣的感覺。 個人還是非常喜歡這個 ......

    uj5u.com 2020-09-10 02:04:05 more
  • 02windows基礎操作

    我學到了一下幾點 Windows系統目錄結構與滲透的作用 常見Windows的服務詳解 Windows埠詳解 常用的Windows注冊表詳解 hacker DOS命令詳解(net user / type /md /rd/ dir /cd /net use copy、批處理 等) 利用dos命令制作 ......

    uj5u.com 2020-09-10 02:04:18 more
  • 03.Linux基礎操作

    我學到了以下幾點 01Linux系統介紹02系統安裝,密碼啊破解03Linux常用命令04LAMP 01LINUX windows: win03 8 12 16 19 配置不繁瑣 Linux:redhat,centos(紅帽社區版),Ubuntu server,suse unix:金融機構,證券,銀 ......

    uj5u.com 2020-09-10 02:04:30 more
  • 05HTML

    01HTML介紹 02頭部標簽講解03基礎標簽講解04表單標簽講解 HTML前段語言 js1.了解代碼2.根據代碼 懂得挖掘漏洞 (POST注入/XSS漏洞上傳)3.黑帽seo 白帽seo 客戶網站被黑帽植入劫持代碼如何處理4.熟悉html表單 <html><head><title>TDK標題,描述 ......

    uj5u.com 2020-09-10 02:04:36 more
最新发布
  • 2023年最新微信小程式抓包教程

    01 開門見山 隔一個月發一篇文章,不過分。 首先回顧一下《微信系結手機號資料庫被脫庫事件》,我也是第一時間得知了這個訊息,然后跟蹤了整件事情的經過。下面是這起事件的相關截圖以及近日流出的一萬條資料樣本: 個人認為這件事也沒什么,還不如關注一下之前45億快遞資料查詢渠道疑似在近日復活的訊息。 訊息是 ......

    uj5u.com 2023-04-20 08:48:24 more
  • web3 產品介紹:metamask 錢包 使用最多的瀏覽器插件錢包

    Metamask錢包是一種基于區塊鏈技術的數字貨幣錢包,它允許用戶在安全、便捷的環境下管理自己的加密資產。Metamask錢包是以太坊生態系統中最流行的錢包之一,它具有易于使用、安全性高和功能強大等優點。 本文將詳細介紹Metamask錢包的功能和使用方法。 一、 Metamask錢包的功能 數字資 ......

    uj5u.com 2023-04-20 08:47:46 more
  • vulnhub_Earth

    前言 靶機地址->>>vulnhub_Earth 攻擊機ip:192.168.20.121 靶機ip:192.168.20.122 參考文章 https://www.cnblogs.com/Jing-X/archive/2022/04/03/16097695.html https://www.cnb ......

    uj5u.com 2023-04-20 07:46:20 more
  • 從4k到42k,軟體測驗工程師的漲薪史,給我看哭了

    清明節一過,盲猜大家已經無心上班,在數著日子準備過五一,但一想到銀行卡里的余額……瞬間心情就不美麗了。最近,2023年高校畢業生就業調查顯示,本科畢業月平均起薪為5825元。調查一出,便有很多同學表示自己又被平均了。看著這一資料,不免讓人想到前不久中國青年報的一項調查:近六成大學生認為畢業10年內會 ......

    uj5u.com 2023-04-20 07:44:00 more
  • 最新版本 Stable Diffusion 開源 AI 繪畫工具之中文自動提詞篇

    🎈 標簽生成器 由于輸入正向提示詞 prompt 和反向提示詞 negative prompt 都是使用英文,所以對學習母語的我們非常不友好 使用網址:https://tinygeeker.github.io/p/ai-prompt-generator 這個網址是為了讓大家在使用 AI 繪畫的時候 ......

    uj5u.com 2023-04-20 07:43:36 more
  • 漫談前端自動化測驗演進之路及測驗工具分析

    隨著前端技術的不斷發展和應用程式的日益復雜,前端自動化測驗也在不斷演進。隨著 Web 應用程式變得越來越復雜,自動化測驗的需求也越來越高。如今,自動化測驗已經成為 Web 應用程式開發程序中不可或缺的一部分,它們可以幫助開發人員更快地發現和修復錯誤,提高應用程式的性能和可靠性。 ......

    uj5u.com 2023-04-20 07:43:16 more
  • CANN開發實踐:4個DVPP記憶體問題的典型案例解讀

    摘要:由于DVPP媒體資料處理功能對存放輸入、輸出資料的記憶體有更高的要求(例如,記憶體首地址128位元組對齊),因此需呼叫專用的記憶體申請介面,那么本期就分享幾個關于DVPP記憶體問題的典型案例,并給出原因分析及解決方法。 本文分享自華為云社區《FAQ_DVPP記憶體問題案例》,作者:昇騰CANN。 DVPP ......

    uj5u.com 2023-04-20 07:43:03 more
  • msf學習

    msf學習 以kali自帶的msf為例 一、msf核心模塊與功能 msf模塊都放在/usr/share/metasploit-framework/modules目錄下 1、auxiliary 輔助模塊,輔助滲透(埠掃描、登錄密碼爆破、漏洞驗證等) 2、encoders 編碼器模塊,主要包含各種編碼 ......

    uj5u.com 2023-04-20 07:42:59 more
  • Halcon軟體安裝與界面簡介

    1. 下載Halcon17版本到到本地 2. 雙擊安裝包后 3. 步驟如下 1.2 Halcon軟體安裝 界面分為四大塊 1. Halcon的五個助手 1) 影像采集助手:與相機連接,設定相機引數,采集影像 2) 標定助手:九點標定或是其它的標定,生成標定檔案及內參外參,可以將像素單位轉換為長度單位 ......

    uj5u.com 2023-04-20 07:42:17 more
  • 在MacOS下使用Unity3D開發游戲

    第一次發博客,先發一下我的游戲開發環境吧。 去年2月份買了一臺MacBookPro2021 M1pro(以下簡稱mbp),這一年來一直在用mbp開發游戲。我大致分享一下我的開發工具以及使用體驗。 1、Unity 官網鏈接: https://unity.cn/releases 我一般使用的Apple ......

    uj5u.com 2023-04-20 07:40:19 more