Explicit Hopcroft's Trick in Categorical Partition Refinement

Takahiro Sanada, Ryota Kojima, Yuichi Komorida +2

Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those…