主頁 > 軟體設計 > 暴力遞回——N皇后詳解 && 如何用位運算進行優化

暴力遞回——N皇后詳解 && 如何用位運算進行優化

2021-12-29 08:35:31 軟體設計

N皇后

N皇后問題是指在N*N的棋盤上要擺N個皇后,要求任何兩個皇后不同行、不同列,也不在同一條斜線上,給定一個整數n,回傳n皇后的擺法有多少種,n=1,回傳1,n=2或3,2皇后和3皇后問題無論怎么擺都不行,回傳0,n=8,回傳92

N皇后游戲原則:

  • 不能在同一行
  • 不能在同一列
  • 不能在同一條斜線上(左右斜線都不行)

現在我們來分析題目:

在一行上每次只擺一個皇后,從左往右開始擺,每一行都如此,并且記下這個皇后的位置,后續行數擺的時候只用避免共列和共斜線的問題,如果到某一行發現違反規則,那就退回上一行重新擺,將皇后右移一個位置,后續行數再接著遞回,

如何記錄皇后的位置,也就是記錄皇后的坐標(x,y),只需要用一個陣列既可,比如recored[7]=13,代表第7行的皇后在第13列;record[0]=3代表第0行的皇后在第3列

如何檢測皇后是否沖突,共行問題不用考慮,因為一開始我們就規定每一行都是只擺放一個,假設有兩個皇后的位置如下:

(a,b) 和 (c,d)

不共列:b != d

不共斜線:|a-c| != |b-d|

如果i來到了第n行,那就說明越界了,并且隱含的條件是之前行的擺放都有效,所以可以回傳一種擺放結果,

如果沒有來到第n行,說明當前行可以擺放皇后,那么就嘗試這一行上所有的列,看是否與0~i-1行的皇后沖突, 如果不沖突,就記錄好這一行皇后的位置并且去下一行遞回;如果沖突就跳到下一列,

// 嘗試i行上所有的列(0~n-1列)
		// 如果當前i行的皇后,放在第j列,
		// 不會和之前行(0~i-1行)的皇后沖突(不共行&&不共列&&不公斜線)
		// 那放第j列可以,認為有效,接著去i+1行遞回
		// 否則,無效,放下一列
		for(int j=0; j<n; j++) {
			if(isValid(record, i, j)) {// record記錄的是0~i-1行皇后的位置
				record[i]=j;// 第i行的皇后在第j列
				ans+=process1(i+1, record, n);
				// 因為在每一行都是直接改要放的列數,所以無需恢復現場
			}
		}

完整代碼:

package com.harrison.class12;

public class Code08_NQueens {
	// 0~i-1行的皇后位置都擺放好了,不用再考慮,并且符合要求:不共行、不共列、不共斜線
	// i	表示當前來到第i行擺皇后
	// record[0~i-1]	存放擺好的記錄
	// record[0]=3  ->	第0行皇后擺在第3列
	// n	表示一共有多少行(0~n-1行),如果來到n行就越界了
	// 在[0~i-1]行皇后都擺好的情況下,
	// 回傳i及其后面行數擺放有效的方式有多少種(整個棋盤都擺好)
	public static int process1(int i,int[] record,int n) {
		// 如果i來到終止行,說明之前行數的擺放都有效,
		// 回傳一種合理的擺放方式
		if(i==n) {
			return 1;
		}
		// 如果i沒有到終止行,那么當前行可以擺
		int ans=0;
		// 嘗試i行上所有的列(0~n-1列)
		// 如果當前i行的皇后,放在第j列,
		// 不會和之前行(0~i-1行)的皇后沖突(不共行&&不共列&&不公斜線)
		// 那放第j列可以,認為有效,接著去i+1行遞回
		// 否則,無效,放下一列
		for(int j=0; j<n; j++) {
			if(isValid(record, i, j)) {// record記錄的是0~i-1行皇后的位置
				record[i]=j;// 第i行的皇后在第j列
				ans+=process1(i+1, record, n);
				// 因為在每一行都是直接改要放的列數,所以無需恢復現場
			}
		}
		return ans;
	}
	
	// record[0~i-1]的皇后需要看,第i行的皇后不需要
	// 回傳第i行皇后放在了第j列是否有效
	public static boolean isValid(int[] record,int i,int j) {
		for(int k=0; k<i; k++) {// 0~i-1行的某一行的皇后,假設是第k行的皇后
			if(record[k]==j || (Math.abs(record[k]-j)==Math.abs(i-k))) {
				return false;
			}
		}
		return true;
	}
	
	public static int nums1(int n) {
		if(n<1) {
			return 0;
		}
		int[] record=new int[n];// record[i] i行的皇后 放在了第幾列
		return process1(0, record, n);
	}
	
	public static void main(String[] args) {
		int n=8;
		long start=System.currentTimeMillis();
		System.out.println(nums1(n));
		long end=System.currentTimeMillis();
		System.out.println("cost time:"+(end-start)+"ms");
	}
}

上面這種方法對于解決N皇后問題在如何嘗試的方式上已經是最優的了,如果我們不去搞學術的話,對于作業嘗試到這里就可以了,但是!!!不知道大家知不知道位運算是比普通運算快很多的呢?所以我們還可以在常數項方面優化一下,但是注意:用位運算優化后的時間復雜度還是跟原來一樣,只是在常數項方面進行了優化,但這么一優化還是快了很多的,請接著往下看,

我們把N皇后問題中的列想象成一個正整數的二進制位,什么意思,比如,8皇后問題就只用最后面的八個二進制位;9皇后問題就只用最后面九個二進制位,,,依次類推,如果在哪一列放了皇后,就將該二進制位設為1(一開始全部為0),也就是說,1代表放了皇后,0代表沒有放,

比如8皇后,在第一行的第二列擺了皇后,
那么就是 01000000

當然,在Java里面,int是只占4個位元組的整型,所以最多也只有32個二進制位,所以,用這種方式的話,不能超過32個皇后,因為擺不下,

注意:以下文字描述都是以8皇后舉例子!!!

那么,當前行如何知道在哪該放皇后呢?主要看兩點,第一,當前行是不是跟之前行的皇后共列,第二,之前行的皇后的左右斜線貫穿的位置,當前行不能放,

所以,接下來準備三個變數,列限制columnLimit,左斜線限制leftLimit,右斜線限制rightLimit,

columnLimit:00000000
leftLimit:00000000
rightLimit:00000000

在第一行的時候,是沒有任何限制的,那就可以隨便放,

假如放在第4列(下標從0開始算),那么上述三個變數就會變成:

columnLimit:00001000
leftLimit:00010000(columnLimit往左移一位)
rightLimit:00000100(columnLimit往右移一位)

ok,第i行上的皇后放好了,那么如何知道第i+1行上哪些列可以放皇后呢?

上述三個變數一起做或運算的結果就是總的限制:假設第i行第4列放了皇后(下標從0開始算),columnLimit | leftLimit |rightLimit 結果就是:00011100,代表第i+1行上第3、4、5列都不可以再放了,

00001000
00010000
00000100
00011100

好的,那么當前情況就是00011100, 0的位置還可以放皇后,所以每個位置都會去嘗試一遍,

假設又在第1列放了個皇后(01000000),那么對于i+1行來說,此時的列限制 columnLimit 就是 01001000(之前是00001000),左斜線限制就是 10100000,右斜線限制就是 00100010,不僅受上一行列限制的影響,而且受之前所有行延申的左右斜線的影響,

給大家畫個圖加深理解:
在這里插入圖片描述
那接下來對于i+1行的下一行的限制就是 上面三個變數一起做或運算后的答案——11101010,只能在剩下的三個零上放皇后,

01001000
10100000
00100010
11101010

處理完三個變數后,繼續往下這么玩,,,

補充知識:如何提取二進制數中最右側的1, => int Ans=N&((~N)+1),請參考這篇文章——利用異或運算的性質進行騷操作,

兩種方法的完整代碼:

package com.harrison.class12;

public class Code08_NQueens {
	// 0~i-1行的皇后位置都擺放好了,不用再考慮,并且符合要求:不共行、不共列、不共斜線
	// i	表示當前來到第i行擺皇后
	// record[0~i-1]	存放擺好的記錄
	// record[0]=3  ->	第0行皇后擺在第3列
	// n	表示一共有多少行(0~n-1行),如果來到n行就越界了
	// 在[0~i-1]行皇后都擺好的情況下,
	// 回傳i及其后面行數擺放有效的方式有多少種(整個棋盤都擺好)
	public static int process1(int i,int[] record,int n) {
		// 如果i來到終止行,說明之前行數的擺放都有效,
		// 回傳一種合理的擺放方式
		if(i==n) {
			return 1;
		}
		// 如果i沒有到終止行,那么當前行可以擺
		int ans=0;
		// 嘗試i行上所有的列(0~n-1列)
		// 如果當前i行的皇后,放在第j列,
		// 不會和之前行(0~i-1行)的皇后沖突(不共行&&不共列&&不公斜線)
		// 那放第j列可以,認為有效,接著去i+1行遞回
		// 否則,無效,放下一列
		for(int j=0; j<n; j++) {
			if(isValid(record, i, j)) {// record記錄的是0~i-1行皇后的位置
				record[i]=j;// 第i行的皇后在第j列
				ans+=process1(i+1, record, n);
				// 因為在每一行都是直接改要放的列數,所以無需恢復現場
			}
		}
		return ans;
	}
	
	// record[0~i-1]的皇后需要看,第i行的皇后不需要
	// 回傳第i行皇后放在了第j列是否有效
	public static boolean isValid(int[] record,int i,int j) {
		for(int k=0; k<i; k++) {// 0~i-1行的某一行的皇后,假設是第k行的皇后
			if(record[k]==j || (Math.abs(record[k]-j)==Math.abs(i-k))) {
				return false;
			}
		}
		return true;
	}
	
	public static int nums1(int n) {
		if(n<1) {
			return 0;
		}
		int[] record=new int[n];// record[i] i行的皇后 放在了第幾列
		return process1(0, record, n);
	}
	
	public static int nums2(int n) {
		if(n<1 || n>32) {
			return 0;
		}
		// n==8 limit最右邊8個1,其余全是0
		// n==9	limit最右邊9個1,其余全是0
		// n==32 最右邊32位全是1 -> 十進制-1
		// n!=32 1左移n位再減一
		// 比如n==8 limit=100000000-00000001 -> 11111111
		int limit=n==32?-1:((1<<n)-1);
		// 一開始第0行的時候,沒有任何限制
		return process2(limit, 0, 0, 0);
	}
	
	// limit 劃定了問題的規模,是固定不變的引數
	public static int process2(int limit,int columnLimit,int leftLimit,int rightLimit) {
		if(columnLimit==limit) {// base case
			return 1;
		}
		// pos 當前行可以放皇后的位置 1:不能放	0:可以放
		// (columnLimit | leftLimit | rightLimit ) 總限制
		// 為什么要 & limit
		// 1)~(columnLimit | leftLimit | rightLimit ) 左側的一坨0取反后變成1會干擾
		// 2)左斜線限制會越界,右斜線不會
		int pos=limit&(~(columnLimit | leftLimit | rightLimit ));
		int ans=0;
		int mostRightOne=0;
		// 嘗試pos上的每一個1
		while(pos!=0) {
			mostRightOne=pos & ((~pos)+1);
			pos=pos-mostRightOne;
			ans+=process2(limit, 
						  columnLimit | mostRightOne,
						  (leftLimit | mostRightOne)<<1, 
						  (rightLimit | mostRightOne)>>>1);
		}
		return ans;
	}
	
	public static void main(String[] args) {
		int n=13;
		long start=System.currentTimeMillis();
		System.out.println(nums1(n));
		long end=System.currentTimeMillis();
		System.out.println("cost time:"+(end-start)+"ms");
		
		start=System.currentTimeMillis();
		System.out.println(nums2(n));
		end=System.currentTimeMillis();
		System.out.println("cost time:"+(end-start)+"ms");
	}
}

兩種方法的時間復雜度都是O(N^N),
但是用位運算優化后,還是肉眼可見的快,

以下是13皇后的測驗結果,

在這里插入圖片描述
N皇后問題比較難,尤其是用位運算優化比較難理解,博主費心寫下這篇文章做個記錄,因為有的面試官可能會問到這些經典的問題,

感謝您的三連或點贊評論支持🙇?🙇?🙇?

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

標籤:其他

上一篇:nginx+tomcat+redis*+mysql(redis重點)

下一篇:R語言str_sub函式從字串中提取或替換子字串(substring):str_sub函式指定起始位置和終止位置抽取子字符、str_sub函式指定起始位置和終止位置替換子字串

標籤雲
其他(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)

熱門瀏覽
  • 面試突擊第一季,第二季,第三季

    第一季必考 https://www.bilibili.com/video/BV1FE411y79Y?from=search&seid=15921726601957489746 第二季分布式 https://www.bilibili.com/video/BV13f4y127ee/?spm_id_fro ......

    uj5u.com 2020-09-10 05:35:24 more
  • 第三單元作業總結

    1.前言 這應該是本學期最后一次寫作業總結了吧。總體來說,對作業的節奏也差不多掌握了,作業做起來的效率也更高了。雖然和之前的作業一樣,作業中都要用到新的知識,但是相比之前,更加懂得了如何利用工具以及資料。雖然之間卡過殼,但總體而言,這幾次作業還算完成的比較好。 2.作業程序總結 相比前兩個單元,此單 ......

    uj5u.com 2020-09-10 05:35:41 more
  • 北航OO(2020)第四單元博客作業暨課程總結博客

    北航OO(2020)第四單元博客作業暨課程總結博客 本單元作業的架構設計 在本單元中,由于UML圖具有比較清晰的樹形結構,因此我對其中需要進行查詢操作的元素進行了包裝,在樹的父節點中存盤所有孩子的參考。考慮到性能問題,我采用了快取機制,一次查詢后盡可能快取已經遍歷過的資訊,以減少遍歷次數。 本單元我 ......

    uj5u.com 2020-09-10 05:35:48 more
  • BUAA_OO_第四單元

    一、UML決議器設計 ? 先看下題目:第四單元實作一個基于JDK 8帶有效性檢查的UML(Unified Modeling Language)類圖,順序圖,狀態圖分析器 MyUmlInteraction,實際上我們要建立一個有向圖模型,UML中的物件(元素)可能與同級元素連接,也可與低級元素相連形成 ......

    uj5u.com 2020-09-10 05:35:54 more
  • 6.1邏輯運算子

    邏輯運算子 1. && 短路與 運算式1 && 運算式2 01.運算式1為true并且運算式2也為true 整體回傳為true 02.運算式1為false,將不會執行運算式2 整體回傳為false 03.只要有一個運算式為false 整體回傳為false 2. || 短路或 運算式1 || 運算式2 ......

    uj5u.com 2020-09-10 05:35:56 more
  • BUAAOO 第四單元 & 課程總結

    1. 第四單元:StarUml檔案決議 本單元采用了圖模型決議UML。 UML檔案可以抽象為圖、子圖、邊的邏輯結構。 在實作中,圖的節點包括類、介面、屬性,子圖包括狀態圖、順序圖等。 采用了三次遍歷UML元素的方法建圖,第一遍遍歷建點,第二、三次遍歷設定屬性、連邊,實作圖物件的初始化。這里借鑒了一些 ......

    uj5u.com 2020-09-10 05:36:06 more
  • 談談我對C# 多型的理解

    面向物件三要素:封裝、繼承、多型。 封裝和繼承,這兩個比較好理解,但要理解多型的話,可就稍微有點難度了。今天,我們就來講講多型的理解。 我們應該經常會看到面試題目:請談談對多型的理解。 其實呢,多型非常簡單,就一句話:呼叫同一種方法產生了不同的結果。 具體實作方式有三種。 一、多載 多載很簡單。 p ......

    uj5u.com 2020-09-10 05:36:09 more
  • Python 資料驅動工具:DDT

    背景 python 的unittest 沒有自帶資料驅動功能。 所以如果使用unittest,同時又想使用資料驅動,那么就可以使用DDT來完成。 DDT是 “Data-Driven Tests”的縮寫。 資料:http://ddt.readthedocs.io/en/latest/ 使用方法 dd. ......

    uj5u.com 2020-09-10 05:36:13 more
  • Python里面的xlrd模塊詳解

    那我就一下面積個問題對xlrd模塊進行學習一下: 1.什么是xlrd模塊? 2.為什么使用xlrd模塊? 3.怎樣使用xlrd模塊? 1.什么是xlrd模塊? ?python操作excel主要用到xlrd和xlwt這兩個庫,即xlrd是讀excel,xlwt是寫excel的庫。 今天就先來說一下xl ......

    uj5u.com 2020-09-10 05:36:28 more
  • 當我們創建HashMap時,底層到底做了什么?

    jdk1.7中的底層實作程序(底層基于陣列+鏈表) 在我們new HashMap()時,底層創建了默認長度為16的一維陣列Entry[ ] table。當我們呼叫map.put(key1,value1)方法向HashMap里添加資料的時候: 首先,呼叫key1所在類的hashCode()計算key1 ......

    uj5u.com 2020-09-10 05:36:38 more
最新发布
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:20:47 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:20:25 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:20:17 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:20:10 more
  • 【中介者設計模式詳解】C/Java/JS/Go/Python/TS不同語言實作

    * 中介者模式是一種行為型設計模式,它可以用來減少類之間的直接依賴關系,
    * 將物件之間的通信封裝到一個中介者物件中,從而使得各個物件之間的關系更加松散。
    * 在中介者模式中,物件之間不再直接相互互動,而是通過中介者來中轉訊息。 ......

    uj5u.com 2023-04-20 08:19:44 more
  • 露天煤礦現場調研和交流案例分享

    他們集團的資訊化公司及研究院在一個礦區正在做智能礦山的統一平臺的 試點,專案投資大概1億,包括了礦山的各方面的內容,顯示得我們這次交流有點多余。他們2年前開始做智能礦山的規劃,有很多煤礦行業專家的加持,他們的描述是非常完美,但是去年底應該上線的平臺,現在還沒有看到影子。他們確實有很多場景需求,但是被... ......

    uj5u.com 2023-04-20 08:19:07 more
  • 《社區人員管理》實戰案例設計&個人案例分享

    設計是一個讓人夢想成真程序,開始編碼、測驗、除錯之前進行需求分析和架構設計,才能保證關鍵方面都做正確 ......

    uj5u.com 2023-04-20 08:18:57 more
  • 軟體架構生態化-多角色交付的探索實踐

    作為一個技術架構師,不僅僅要緊跟行業技術趨勢,還要結合研發團隊現狀及痛點,探索新的交付方案。在日常中,你是否遇到如下問題 “ 業務需求排期長研發是瓶頸;非研發角色感受不到研發技改提效的變化;引入ISV 團隊又擔心質量和安全,培訓周期長“等等,基于此我們探索了一種新的技術體系及交付方案來解決如上問題。 ......

    uj5u.com 2023-04-20 08:18:49 more
  • 05單件模式

    #經典的單件模式 public class Singleton { private static Singleton uniqueInstance; //一個靜態變數持有Singleton類的唯一實體。 // 其他有用的實體變數寫在這里 //構造器宣告為私有,只有Singleton可以實體化這個類! ......

    uj5u.com 2023-04-19 08:42:51 more
  • 【架構與設計】常見微服務分層架構的區別和落地實踐

    軟體工程的方方面面都遵循一個最基本的道理:沒有銀彈,架構分層模型更是如此,每一種都有各自優缺點,所以請根據不同的業務場景,并遵循簡單、可演進這兩個重要的架構原則選擇合適的架構分層模型即可。 ......

    uj5u.com 2023-04-19 08:42:41 more