当前位置: 首页 > news >正文

【算法笔记】位运算详解

0. 前言

突然想到位运算是个好东西,就来水一波文章了……

注意:我把能想到的有关位运算的所有内容都放进来了,所以篇幅较长,请谅解!若有写的不清楚或者不够详细的地方欢迎在评论区补充,谢谢支持!

本文中参考代码均使用C++编写。

废话不多说,下面步入正题。


1. 基本运算

有一定基础的可以跳过该部分。

位运算的简要法则:
位运算法则-简要

详细解释:

1.1 取反

取反(~x)是最简单的位运算操作,只有一个参数 x x x。将参数上的每一位对应取反即可。例如:
~0011 = 1100
~1011 = 0100
性质:~(~x) = x

1.2 按位与

按位与(x & y)有两个参数 x x x y y y。对于 x x x y y y中的每个对应位,参照下表输出到结果的对应位:

x x x y y yx & y
0 0 0 0 0 0 0 0 0
0 0 0 1 1 1 0 0 0
1 1 1 0 0 0 0 0 0
1 1 1 1 1 1 1 1 1

例子:
0011 & 1100 = 0000
1010 & 1011 = 1010

性质:

  • 交换律:a & b = b & a
  • 结合律:a & b & c = a & (b & c)
  • 自与:a & a = a
  • 0 0 00 & a1 & a2 & a3 & ... = 0
  • ∞ \infty (全 1 1 1):a & inf = a

1.3 按位或

按位与(x | y)有两个参数 x x x y y y。对于 x x x y y y中的每个对应位,参照下表输出到结果的对应位:

x x x y y yx | y
0 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 1 1
1 1 1 0 0 0 1 1 1
1 1 1 1 1 1 1 1 1

例子:
1100 | 0011 = 1111
1010 | 0001 = 1011

性质:

  • 交换律:a | b = b | a
  • 结合律:a | b | c = a | (b | c)
  • 自或:a | a = a
  • 0 0 0a | 0 = a
  • ∞ \infty (全 1 1 1):a | inf = inf

1.4 异或

异或( x ⊕ y x\oplus y xyx ^ y)有两个参数 x x x y y y。对于 x x x y y y中的每个对应位,参照下表输出到结果的对应位:

x x x y y y x ⊕ y x\oplus y xy
0 0 0 0 0 0 0 0 0
0 0 0 1 1 1 1 1 1
1 1 1 0 0 0 1 1 1
1 1 1 1 1 1 0 0 0

举例:
1000 ^ 1011 = 0011
0101 ^ 1010 = 1111

性质:

  • 交换律: a ⊕ b = b ⊕ a a\oplus b=b\oplus a ab=ba
  • 结合律: a ⊕ b ⊕ c = a ⊕ ( b ⊕ c ) a\oplus b\oplus c=a\oplus(b\oplus c) abc=a(bc)
  • 自异或: a ⊕ a = 0 a\oplus a=0 aa=0
  • 异或 0 0 0 a ⊕ 0 = a a\oplus 0=a a0=a
  • 多重异或: a ⊕ b ⊕ b = a ⊕ ( b ⊕ b ) = a ⊕ 0 = a a\oplus b\oplus b=a\oplus (b\oplus b)=a\oplus 0=a abb=a(bb)=a0=a
  • 异或 ∞ \infty (全 1 1 1): a ⊕ ∞ =   a\oplus \infty=~ a= ~a
  • a ⊕ b = c a\oplus b=c ab=c,则 a ⊕ c = b a\oplus c=b ac=b

1.5 位移

位移分为左移(<<)和右移(>>)。

  • a << b:将 a a a末尾添上 b b b 0 0 0的结果。
  • a >> b:从 a a a末尾删掉 b b b位的结果。

性质:

  • (a << b) >> b = a
  • a << b   = a × 2 b ~=a\times 2^b  =a×2b
  • a >> b   = ⌊ a 2 b ⌋ ~=\lfloor\frac a {2^b}\rfloor  =2ba

1.6 练习题

1.6.1 判断 2 2 2的整数次幂

题意:给定整数 N N N,判断其是否为 2 2 2的整数次幂。

1.6.2 洛谷 P1100 高低位交换

题意:给定一个 32 32 32位整数 x x x,在二进制下交换其前 16 16 16位与后 16 16 16位,输出最终的数。

答案为ans = (x >> 16) | (x << 16),这样解释:

数值 16 16 16 16 16 16
x x x A A A B B B
x >> 16 16 16 16 0 0 0 A A A
x << 16 B B B 16 16 16 0 0 0
ans B B B A A A

注意此处使用 32 32 32位无符号整数进行计算,这样x << 16会自然溢出,导致前 16 16 16位被丢弃,恰好满足要求。

参考程序:

#include <cstdio>
using namespace std;

int main()
{
	unsigned int x;
	scanf("%u", &x);
	printf("%u\n", (x >> 16) | (x << 16));
	return 0;
}

1.6.3 找出不同的数

给定一个序列 A = ( A 1 , A 2 , … , A 2 N + 1 ) A=(A_1,A_2,\dots,A_{2N+1}) A=(A1,A2,,A2N+1),其中有 N N N个数各出现 2 2 2次,还有一个数正好出现 1 1 1次。找到这个数。请尽可能优化程序的时间和空间复杂度。

- 时间 O ( N ) \mathcal O(N) O(N) O ( N log ⁡ N ) \mathcal O(N\log N) O(NlogN),空间 O ( N ) \mathcal O(N) O(N)解法
简单统计每个数的出现次数,最后找到正好出现 1 1 1次的数。

- 时间 O ( N ) \mathcal O(N) O(N),空间 O ( 1 ) \mathcal O(1) O(1)解法
考虑所有数的异或和 S = A 1 ⊕ A 2 ⊕ ⋯ ⊕ A 2 N + 1 S=A_1\oplus A_2\oplus\dots\oplus A_{2N+1} S=A1A2A2N+1,则 A A A中所有出现两次的数抵消为 0 0 0,剩下的即为唯一出现一次的数,所以直接输出 S S S即可。

参考程序:

#include <cstdio>
using namespace std;

int main()
{
	int n;
	scanf("%d", &n);
	n = (n << 1) + 1;
	int ans = 0;
	while(n--)
	{
		int x;
		scanf("%d", &x);
		ans ^= x;
	}
	printf("%d\n", ans);
	return 0;
}

1.6.4 AtCoder Beginner Contest 261 E - Many Operations

解法:对于 i = 1 , 2 , … , N i=1,2,\dots,N i=1,2,,N,记录操作 1 , 2 , … , i 1,2,\dots,i 1,2,,i后每一位上的 0 0 0 1 1 1分别变成什么,可以在 O ( N ) \mathcal O(N) O(N)的时间内用类似于前缀和的方法完成;最后用位运算快速模拟 N N N次连续操作即可,总时间复杂度为 O ( N ) \mathcal O(N) O(N)

// https://atcoder.jp/contests/abc261/submissions/33495431
#include <cstdio>
using namespace std;

int main()
{
	unsigned n, c, zero = 0, one = 0xffffffff;
	scanf("%d%d", &n, &c);
	while(n--)
	{
		int t, a;
		scanf("%d%d", &t, &a);
		if(t == 1) one &= a, zero &= a;
		else if(t == 2) one |= a, zero |= a;
		else one ^= a, zero ^= a;
		printf("%d\n", c = (c & one) | (~c & zero));
	}
	return 0;
}

2. 扩展概念&运算

2.1 lowbit

lowbit(x)即为二进制下 x x x的最低位,如lowbit(10010) = 10lowbit(1) = 1。严格来说 0 0 0没有lowbit,部分情况下可视为lowbit(0) = 1。利用lowbit函数可实现树状数组等数据结构。

lowbit 计算方式

  1. 暴力计算
    简单粗暴的按位直接计算,如下:
    int lowbit(int x)
    {
    	int res = 1;
    	while(x && !(x & 1))
    		x >>= 1, res <<= 1;
    	return res;
    }
    
    时间复杂度 O ( log ⁡ X ) \mathcal O(\log X) O(logX)。缺点:速度慢,代码长,没有体现位运算的优势
  2. x & -x
    巧妙利用lowbit(x) = x & -x。感兴趣的读者可自行尝试证明。
    时间复杂度 O ( 1 ) \mathcal O(1) O(1)。相比(1)来说,代码更短,速度更快。
  3. x & (x - 1)
    注意:x & (x - 1)不是lowbit(x),而是x - lowbit(x)
    这种方法常用于树状数组中,可提升x - lowbit(x)的计算速度。

2.2 popcount

popcount(x)定义为 x x x在二进制下 1 1 1的个数,如popcount(10101) = 3popcount(0) = 0

popcount 计算方式

  1. 暴力计算检查
    还是最粗暴的算法,通过枚举每一位并检查是否为 1 1 1达到目的,时间复杂度为 O ( log ⁡ X ) \mathcal O(\log X) O(logX)
    int popcount(int x)
    {
    	int res = 0;
    	while(x)
    	{
    		res += x & 1;
    		x >>= 1;
    	}
    	return res;
    }
    
  2. lowbit 优化
    时间复杂度还是 O ( log ⁡ X ) \mathcal O(\log X) O(logX),不过平均用时会比(1)快2~3倍左右。
    int popcount(int x)
    {
    	int res = 0;
    	for(; x; x&=x-1) res ++;
    	return res;
    }
    
  3. builtin 函数(最快)
    详见3.1 __builtin_popcount/__builtin_popcountll

3. builtin 位运算函数

注意:后面带ll的传入long long类型,不带ll接受int类型。本部分内容按常用程度递减排序。
参考:https://blog.csdn.net/zeekliu/article/details/124848210

3.1 __builtin_popcount/__builtin_popcountll

返回参数在二进制下 1 1 1的个数。

3.2 __builtin_ctz / __buitlin_ctzll

返回参数在二进制下末尾 0 0 0的个数。

3.3 __buitlin_clz / __buitlin_clzll

返回参数在二进制下前导 0 0 0的个数。

3.4 __builtin_ffs / __buitlin_ffsll

返回参数在二进制下最后一个1在第几位(从后往前)。
注意:一般来说,builtin_ffs(x) = __builtin_ctz(x) + 1。当 x = 0 x=0 x=0时,builtin_ffs(x) = 0

3.5 __builtin_parity / __builtin_parityll

返回参数在二进制下 1 1 1的个数的奇偶性(偶:0,奇:1),即__builtin_parity(x) = __builtin_popcount(x) % 2
P.S. 这函数,不知是哪位神仙想出来的……


4. 位运算的应用

4.1 子集表示法

对于集合 { 0 , 1 , … , N − 1 } \{0,1,\dots,N-1\} {0,1,,N1},我们使用一个 N N N位的二进制整数 S S S来表示它的一个子集。从右往左第 i i i位表示子集是否包含了 i i i。容易发现,对于任意子集 S S S S ∈ [ 0 , 2 N − 1 ] S\in [0,2^N-1] S[0,2N1],且对于任意 S ∈ [ 0 , 2 N − 1 ] S\in [0,2^N-1] S[0,2N1] S S S都是 { 0 , 1 , … , N − 1 } \{0,1,\dots,N-1\} {0,1,,N1}的一个有效子集。下面我们来讲这种子集表示的具体操作。

4.1.1 子集操作

子集的操作如下(规定 N N N为集合元素个数):

  • 空集: 0 0 0
  • 满集: 2 N − 1 2^N-1 2N1 N N N 1 1 1
  • 集合 S S S的元素个数:__builtin_popcount(S)__builtin_popcountll(S)
  • 集合 S S S是否包含 i i iS >> i & 1
  • i i i加入 S S S(操作前 S S S是否包含 i i i不影响操作结果):S |= 1 << i
  • i i i S S S中删除(操作前 S S S必须包含 i i i):S ^= 1 << i
  • i i i S S S中删除(操作前 S S S是否包含 i i i不影响操作结果):S &= ~(1 << i)
  • S S S T T T的交集( S S S T T T都包含的集合):S & T
  • S S S T T T的并集( S S S T T T中有任意一个包含的集合):S | T
  • S S S T T T的差集( S S S T T T中恰好有一个包含的集合):S ^ T

4.1.2 子集枚举

讲了这么多,也该到子集的实际应用了吧。下面我们来看子集最初步的应用——子集枚举。

- 必会:枚举 N N N个元素的所有子集
这个很简单,直接枚举 S ∈ [ 0 , 2 N − 1 ] S\in [0,2^N-1] S[0,2N1]即可。代码如下:

#include <cstdio>
using namespace std;

const int N = 3;

int main()
{
	printf("N = %d\n", N);
	for(int s=0, full=(1<<N)-1; s<=full; s++)
	{
		printf("Subset %d:", s + 1);
		for(int i=0; i<N; i++)
			if(s >> i & 1)
				printf(" %d", i);
		putchar('\n');
	}
	return 0;
}

- 必会:枚举子集的子集
如果我们想枚举 { 0 , 1 , … , N − 1 } \{0,1,\dots,N-1\} {0,1,,N1}的子集的子集,怎么办?这是一个经典套路,常用于状压DP,写法如下:

for(int S=0; S<(1<<N); S++) // 枚举子集S
	for(int T=S; T; T=(T-1)&S) // 枚举子集的子集T
	{
		// Do something...
		printf("%d\n", t);
	}

请注意:这个算法的时间复杂度为 O ( 3 N ) \mathcal O(3^N) O(3N),不是 O ( 4 N ) \mathcal O(4^N) O(4N),使用此算法时请准确估算时间复杂度。

- 扩展:枚举 N N N个元素中大小为 K K K的子集
首先很容易想到先枚举所有 { 0 , 1 , … , N − 1 } \{0,1,\dots,N-1\} {0,1,,N1}的所有子集,再依次检查大小是否为 K K K。代码如下:

for(int s=0; s<(1<<n); s++)
{
	int cnt = __builtin_popcount(s);
	if(cnt != K) continue;
	// Do something...
}

这种做法虽然正确,也很易懂,但可惜效率太低, 2 N 2^N 2Npopcount操作浪费了很多时间。我们考虑优化。《挑战程序设计竞赛》上给出了一种算法,如下:

int S = (1 << k) - 1;
while(S < 1 << n)
{
	// Do something...
	printf("%d\n", S);
	// 移到下一个合法子集
	int x = S & -S, y = S + x;
	S = ((S & ~y) / x >> 1) | y;
}

这样可保证每次枚举到的都是大小为 K K K的子集,可以大大提高算法效率。

4.1.3 扩展:std::bitset

bitset,顾名思义,即为用位运算操作的集合。
对于元素个数 N ∈ [ 1 , 64 ] N\in [1,64] N[1,64],集合 { 0 , 1 , … , N − 1 } \{0,1,\dots,N-1\} {0,1,,N1}的任意子集都可以用一个 32 32 32 64 64 64位整数表示出来,操作时间复杂度为 O ( 1 ) \mathcal O(1) O(1)。那么对于 N > 64 N>64 N>64,怎么办?我们可以用多个 32 32 32 64 64 64位无符号整数拼凑为一个 N N N位的bitset,容易发现其操作的时间复杂度为 O ( N w ) \mathcal O(\frac Nw) O(wN) N N N位的二进制数可用 ⌈ N w ⌉ \lceil\frac Nw\rceil wN w w w位无符号整数拼凑而成),其中 w w w一般为 32 32 32 64 64 64

C++的Standard Template LibrarySTL)为我们提供了<bitset>头文件,用于bitset的定义。

用法如下:
bitset
用法示例:

#include <cstdio>
#include <bitset> // 头文件
using namespace std;

int main()
{
	const int N = 500;
	bitset<N> S; // 定义大小为N的bitset S,初始为全0
	S.set(1);    // 将S的第1位设为1
	S[0] = 1;    // 将S的第0位设为1,注意bitset可使用下标访问和赋值
	S.reset(1);  // 将S的第1位设为0
	printf("S[1]: %d\n", (int)S[1]); // 输出S第2位上的值
	printf("Count: %d\n", (int)S.count()); // S的popcount(二进制下1的个数)
	printf("Size: %d\n", (int)S.size()); // S的二进制位数(N)
	printf("None? %d\n", (int)S.none()); // S是否为空?
	printf("Any?  %d\n", (int)S.any());  // S是否有1?
	bitset<N> T; // 定义一个新的bitset -- T
	T.set(); // T置为全1
	S.set(2), T.reset(2);
	printf("Intersection: %d\n", (int)(S & T).count()); // 交集
	printf("Union: %d\n", (int)(S | T).count()); // 并集
	printf("Difference: %d\n", (int)(S ^ T).count()); // 差集
	return 0;
}
习题:AtCoder Beginner Contest 258 G - Triangle

题意和解法见https://blog.csdn.net/write_1m_lines/article/details/125582361#t15。

4.2 深度优先搜索(DFS)的位运算优化

本算法其实还是二进制表示子集的一种优化,不过内容较多,所以单独放了出来。

考虑经典的八皇后问题

有一个 8 × 8 8\times 8 8×8的国际象棋棋盘,要在其中摆 8 8 8个皇后,求有多少种不同的摆法,使得任意两个皇后之间都没有互相攻击。
注:皇后的攻击范围是一个“米”字,如下图所示:
皇后攻击范围

八皇后问题很容易求解,用一个简单的回溯就可以了。
考虑 N N N皇后问题,即:

有一个 N × N N\times N N×N的国际象棋棋盘,要在其中摆 N N N个皇后,求有多少种不同的摆法,使得任意两个皇后之间都没有互相攻击。

此时,还是先用标准的「回溯」算法解决问题:

#include <cstdio>
#define maxn 20
using namespace std;

bool row[maxn], diag_left[maxn << 1], diag_right[maxn << 1];
int ans, n;

void dfs(int i)
{
	if(i == n)
	{
		ans ++;
		return;
	}
	for(int j=0; j<n; j++)
		if(!row[j] && !diag_left[i + j] && !diag_right[i - j + n])
		{
			row[j] = diag_left[i + j] = diag_right[i - j + n] = true;
			dfs(i + 1);
			row[j] = diag_left[i + j] = diag_right[i - j + n] = false;
		}
}

int main()
{
	scanf("%d", &n);
	ans = 0;
	dfs(0);
	printf("%d\n", ans);
	return 0;
}

代码很移动,也不是重点,这里就不详细解释了。对于 N = 13 N=13 N=13,搜索时间约为 243 m s 243\mathrm{ms} 243ms N = 14 N=14 N=14 1.31 s 1.31\mathrm s 1.31s N = 15 N=15 N=15 8.14 s 8.14\mathrm s 8.14s N = 16 N=16 N=16…… 53.4 s 53.4\mathrm s 53.4s

明显,这样的算法效率太低,我们来考虑使用位运算优化。
首先,我们把上面程序里的rowdiag_leftdiag_right换成一个int整数,赋值、取值全部改用位运算。但这样对整体的时间优化还是不大,我们要充分发挥位运算的优势——“百发百中”,即利用lowbit算法,确保每次枚举到的都是目前一步可放置的位置,减少不必要的判断。此时,我们改变diag_leftdiag_right的含义,使diag_left表示左下-右上的 45 ° 45\degree 45°对角线上当前一步可放置的皇后位置集合,diag_right同理。见代码:

#include <cstdio>
using namespace std;

int ans, mx;

void dfs(int row, int diag_left, int diag_right)
{
	if(row == mx)
	{
		ans ++;
		return;
	}
	int a = mx & ~(row | diag_left | diag_right);
	while(a)
	{
		int p = a & -a; a ^= p;
		dfs(row | p, (diag_left | p) >> 1, (diag_right | p) << 1);
	}
}

int main()
{
	int n;
	scanf("%d", &n);
	ans = 0;
	mx = (1 << n) - 1;
	dfs(0, 0, 0);
	printf("%d\n", ans);
	return 0;
}

此时,计算 16 16 16皇后只需 6.23 s 6.23\mathrm s 6.23s
习题:洛谷 P1092 [NOIP2004 提高组] 虫食算

附:N皇后问题的两种解法耗时对比

本测试中,两种算法耗时均为在Intel i7-12700H CPU上 5 5 5次程序运行的最快速度。

N N N无优化位运算优化速度提升
13 13 13 253 m s 253\mathrm{ms} 253ms 66 m s 66\mathrm{ms} 66ms 2.83 x 2.83\text x 2.83x
14 14 14 1.31 s 1.31\mathrm s 1.31s 179 m s 179\mathrm{ms} 179ms 6.32 x 6.32\text x 6.32x
15 15 15 8.14 s 8.14\mathrm s 8.14s 955 m s 955\mathrm{ms} 955ms 7.52 x 7.52\text x 7.52x
16 16 16 53.4 s 53.4\mathrm s 53.4s 6.23 s 6.23\mathrm s 6.23s 7.57 x 7.57\text x 7.57x

4.3 其他应用

4.3.1 两数交换

void swap(int& a, int& b)
{
	a ^= b ^= a ^= b;
}

位运算交换法扩展:超快GCD

inline int gcd(int a, int b)
{
	if(b) while(b ^= a ^= b ^= a %= b);
	return a;
}

4.3.2 两数平均数(防溢出)

inline int average1(int x, int y)
{
	return (x >> 1) + (y >> 1) + (x & y & 1);
}

inline int average2(int x, int y)
{
	return (x & y) + ((x ^ y) >> 1);
}

4.3.3 判断一个数是否为 2 2 2的整数次幂

inline bool ispowof2(int x)
{
	return x > 0 && !(x & x - 1);
}

5. 总结

本文详细讲解了位运算的使用和扩展。


创作不易,各位如果觉得好的话就请给个三连,感谢大家的支持!

相关文章:

  • 开源贡献代码之​探索一下CPython
  • 【CodeGeeX】国产的免费AI编程助手
  • GlobalRouting - FastRoute代码框架和功能(三)
  • LabVIEW专栏六、LabVIEW项目
  • Led驱动程序
  • python处理IP对应城市省份
  • xss.haozi.me靶场练习
  • 使用HTML5画布(Canvas)模拟图层(Layers)效果
  • win32com打开带密码excel
  • 考研复试中的面试技巧
  • 可观测性在威胁检测和取证日志分析中的作用
  • CUDA C:核函数、主机函数、设备函数
  • 《设计模式》装饰者模式
  • SpringBoot--在Entity(DAO)中使用枚举类型
  • Session(服务端会话跟踪技术)
  • CVPR2022 BatchFormer
  • EXCEL中ADDRESS函数的使用
  • libtorch c++ 搭建分类网络进行训练和预测
  • 初学前端-JavaScript(语法)
  • Hold the door!protobuf从PC到STM32的互相通信
  • 【allegro 17.2软件操作保姆级教程一】软件操作环境设置
  • Python基础内容训练11(面向对象进阶)
  • 不要小看get post的区别
  • 32.(前端)主页布局
  • 【Python】9*9乘法口诀表(while、for两种循环)
  • React中组件通信有哪些方式
  • Redux简单使用
  • 【PyTorch深度学习项目实战100例】—— 基于Conv3D实现三维立体MNIST数据集分类 | 第54例
  • 当心!你的App 可能是山寨的
  • 前端面试问题(5)
  • 十年网安行业代表性案例出炉,中睿天下Web攻击溯源案例实力入选
  • ARMv8/ARMv8的TLB深度学习