【文件属性】：
文件名称：CSBitVectors:C#中的位向量实现
文件大小：34KB
文件格式：ZIP
更新时间：2021-07-03 09:28:36
C#
CSBitVectors
这是：
称为简洁位向量的数据结构的 C# 实现。
一个简洁的位向量是：
一个用“索引”增强的位向量，使得
与向量本身的大小相比，索引的大小“无关紧要”，
该索引用于在亚线性时间内回答以下查询：
rank : 返回向量给定范围内 0 或 1 的数量
rank : BitVector -> Nat -> {0, 1} -> Nat
rank vec k b = |{i | i <- [0, ..., k) vec[i] = b }|
（注意，上面声称指定的范围是排他性的： i<- [0, ..., k) ，一些形式主义改为使用包含性定义范围： i <- [0, ..., k] ） 2.选择：返回第k次出现 0 或 1 的位置：
select : BitVector -> Nat -> {0, 1} -> Nat
select vec k b
【文件预览】：
CSBitVectors-develop
----.gitignore(243B)
----BitVector-Perf()
--------Program.cs(5KB)
--------App.config(182B)
--------BitVector-Perf.csproj(3KB)
--------BitVector.csproj(3KB)
--------Properties()
----LICENSE.txt(1KB)
----README.md(3KB)
----BitVector()
--------BitVector.cs(12KB)
--------EliasFanoSequence.cs(8KB)
--------App.config(178B)
--------Bits.cs(14KB)
--------RRRBitvector.cs(23KB)
--------BitVector.csproj(3KB)
--------IBitVector.cs(671B)
--------Properties()
----.tfignore(5B)
----CSBitVectors.sln(4KB)
----BitVector-Test()
--------BitVector-Test.csproj(5KB)
--------RRRBitVector_Test.cs(8KB)
--------BitVector_Test.cs(8KB)
--------Bits_Test.cs(5KB)
--------Properties()
--------EliasFanoSequence_Test.cs(2KB)