pb_ds 库介绍

Posted on Edited on In Word count in article: 3.5k Reading time ≈ 12 mins.
pb_ds 库介绍

什么是 pb_ds？

pb_ds 库全称 Policy-Based Data Structures，翻译后就是 “基于策略的数据结构”。

在这个库中包含了哈希（Hash）表，平衡树，字典树（Trie 树），堆（优先队列）等数据结构，可以（或许）在竞赛中使用（请参考以下的使用条件）。

使用的条件

官方已经在以下编译器进行测试：

  • g++ version: 3.3.1, 3.4.4, 4.0, 4.1, 4.2
  • Intel icpc 8.1 与 9
  • Visual C++ .Net 2005

博主已在以下编译器进行编译测试：

  • g++ version: 6, 7, 8, 9, 10, 11
  • clang version: 3, 4, 5, 6, 7, 8, 9, 10, 11

命名空间

1
namespace __gnu_pbds

后文默认为已使用命名空间__gnu_pbds 但未使用 std

tree

pb_ds 库中的 tree 均为平衡树，且支持多种底层数据结构。

头文件

1
2
#include <ext/pb_ds/assoc_container.hpp>  // tree的定义
#include <ext/pb_ds/tree_policy.hpp>      // 节点更新函数的定义

模板

1
2
3
4
5
6
7
template <typename Key, typename Mapped, typename Cmp_Fn = std::less<Key>,
          typename Tag = rb_tree_tag,
          template <typename Const_Node_Iterator, typename Node_Iterator,
                    typename Cmp_Fn_, typename Allocator_>
          class Node_Update = null_tree_node_update,
          typename Allocator = std::allocator<char> >
class tree;

模板参数

  • Key 指存储的数据类型（由于不支持存储一样的数，所以经常使用 double）
  • Mapped 指的是映射的对象的类型，如果不需要映射就使用 null_type，而版本号低（待补充）的 g++ 需要使用 null_mapped_type
  • Cmp_Fn 为存储类型的比较函数，可以自行编写或使用 std::less<Key> 或 std::greater<Key>
  • Tag 选择底层数据结构的类型，分别为：
    • rb_tree_tag 红黑树
    • splay_tree_tag
    • ov_tree_tag 有序向量树
  • Node_Update 节点更新策略，如果要查询某个数的排名或查询某个排名的数可使用 tree_order_statistics_node_update

构造例子

1
2
3
tree<double, null_type, std::less<double>, rb_tree_tag,
     tree_order_statistics_node_update>
    balancedTree;

成员函数

  • insert(x) 插入数 xx，返回值类型为 St4pairIN10__gnu_pbds6detail25bin_search_tree_const_it_IPNS1_13rb_tree_node_IdmSaIcEEEdPdPKdRdRS8_Lb1ES4_EEbE
  • erase(x) 从树中删除数 xx 或迭代器 xx，返回值类型为 bool
  • order_of_key(x) 查询 xx 的排名（可近似认为以 Cmp_Fn 来排序后的排名）
  • find_by_order(x) 查询排名为 xx 的元素（同样以 Cmp_Fn 来排名），从 00 开始
  • lower_bound(x) 返回不小于 xx 的元素的迭代器
  • upper_bound(x) 返回大于 xx 的元素的迭代器
  • join(x) 如果两树类型相同则将 xx 树并入当前的树，并入后 xx 树被删除
  • split(x, t) 以 Cmp_Fn 进行比较后，小于等于 xx 的元素保留至当前的树，其他则属于树 tt
  • empty() 判断树是否为空
  • size() 返回树的大小

例子：洛谷 P6136 【模板】普通平衡树（数据加强版）

 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#include <iostream>

using namespace std;
using namespace __gnu_pbds;

constexpr double EPS = 1e-7;

int n, m;
int last = 0, ans = 0;
tree<double, null_type, less<double>, rb_tree_tag,
     tree_order_statistics_node_update>
    num;

int main() {
  ios::sync_with_stdio(false);
  cin >> n >> m;

  for (int i = 1, tmp; i <= n; ++i) {
    cin >> tmp;
    num.insert(tmp + i * EPS);
  }

  int x;
  for (int i = 1, op; i <= m; ++i) {
    cin >> op >> x;
    x ^= last;
    switch (op) {
      case 1:
        num.insert(x + (i + n) * EPS);
        break;
      case 2:
        num.erase(num.lower_bound(x));
        break;
      case 3:
        last = num.order_of_key(x) + 1;
        ans ^= last;
        break;
      case 4:
        last = *num.find_by_order(x - 1);
        ans ^= last;
        break;
      case 5:
        last = *(--num.lower_bound(x));
        ans ^= last;
        break;
      case 6:
        last = *(num.lower_bound(x + 1));
        ans ^= last;
        break;
    }
  }

  cout << ans << endl;

  return 0;
}

trie

trie 为字典树。

头文件

1
2
#include <ext/pb_ds/assoc_container.hpp>  // trie的定义
#include <ext/pb_ds/trie_policy.hpp>      // 节点更新函数的定义

模板

1
2
3
4
5
6
7
template <typename Key, typename Mapped, typename Cmp_Fn = std::less<Key>,
          typename Tag = pat_trie_tag,
          template <typename Const_Node_Iterator, typename Node_Iterator,
                    typename E_Access_Traits_, typename Allocator_>
          class Node_Update = null_trie_node_update,
          typename Allocator = std::allocator<char> >
class trie;

模板参数

  • Key 指存储的数据类型（建议使用 std::string）
  • Mapped 指的是映射的对象的类型，如果不需要映射就使用 null_type，而版本号低（待补充）的 g++ 需要使用 null_mapped_type
  • Cmp_Fn 为存储类型的比较函数，可以自行编写或使用 std::less<Key> 或 std::greater<Key>
  • Tag 选择底层数据结构的类型，建议使用 pat_trie_tag
  • Node_Update 节点更新策略

构造例子

1
2
3
trie<string, null_type, trie_string_access_traits<>, pat_trie_tag,
     trie_prefix_search_node_update>
    tree;

成员函数

  • insert(x) 插入字符串 xx
  • erase(x) 删除字符串 xx
  • x.join(y) 将 yy 并入 xx 并清空 yy