Partition refinement とは

アルゴリズムの設計では、パーティションの細分化は、セットをより多くのより小さいセットに分割することによってパーティションを洗練させることを可能にするデータ構造としてセットのパーティションを表現する技術である。その意味では、ユニオン・ファインド・データ構造体には二重であり、これはまた、分割された集合に分割を維持するが、集合の組を併合する。
パーティションの細分化は、DFA最小化、並行スケジューリングのためのCoffman-Grahamアルゴリズム、グラフの辞書式幅優先探索を含む、グラフおよび有限オートマトン上のいくつかの効率的なアルゴリズムの主要コンポーネントを形成する。