Bit-Vector

定义 Definition

位向量（bit-vector）：一种用一串比特（0/1）表示的数据结构，常用于高效表示集合成员关系、布尔状态、掩码（mask）、权限位、特征开关等；也常见于计算机体系结构、编译器、密码学与形式化验证/约束求解（如 SMT）中。（也有人把它称为 bitset，但语境不完全等同。）

发音 Pronunciation (IPA)

/ˈbɪt ˌvɛktər/

例句 Examples

A bit-vector can store many flags in a single integer.
位向量可以把许多标志位存进一个整数里。

In the solver, constraints are expressed over fixed-width bit-vectors to model machine arithmetic precisely.
在求解器中，约束用固定宽度的位向量来表达，以精确建模机器算术运算。

词源 Etymology

bit 来自 binary digit（二进制数字）的缩写；vector 源自拉丁语 vector，意为“搬运者/携带者”，在数学与计算机科学中引申为“有序序列”。合起来 bit-vector 就是“由比特构成的有序序列”。

相关词 Related Words

• Bitset
• Bitmap
• Mask
• Flag
• Boolean
• Register
• Parity
• Xor
• Hamming
• SmT

文献与作品 Literary / Notable Works

• The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1（Donald E. Knuth）——讨论位操作与位表示相关思想（常与位向量/位集用法相连）。
• Hacker’s Delight（Henry S. Warren, Jr.）——大量位技巧与位表示方法，常用到位向量式的思路。
• Computer Architecture: A Quantitative Approach（Hennessy & Patterson）——在体系结构语境中涉及用位来表示状态/控制信息（与位向量概念高度相关）。
• SMT-LIB 标准与 Z3 等求解器文档（如 SMT-LIB 资料）——将 BitVec 作为固定宽度位向量理论的核心对象。