automata, including DFA minimization, the Coffman–Graham algorithm for parallel scheduling, and lexicographic breadth-first search of graphs. Partition refinement是一种可以组织一种数据结构的技术,这种数据结构可以将一个大的集合划分成