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
boost::shared_ptr<std::vector<size_t>>dsf;// a block memory pre-allocated for DSFVector
PartitionTablepartitionTable;// a mapping from a key to the submap index, 0 means the separator, i means the ith submap