20 std::vector<int> dictionary; // a mapping from the integer key in the original graph to 0-based index in the subgraph, useful when handling a subset of keys and graphs
21 std::shared_ptr<std::vector<size_t> > dsf; // a block memory pre-allocated for DSFVector