1277.30 상태 최소화 알고리즘 (Hopcroft 알고리즘)