1
지시 된 노동 조합 찾기
동적으로 에지를 추가하고 특정 쿼리를 수행 할 수 있는 유 방향 그래프 GGG 를 고려하십시오 . 예 : 분리 된 포리스트 다음 쿼리 세트를 고려하십시오. arrow(u, v) equiv(u, v) find(u) 첫 번째는 화살표 추가 u→vu→vu→v 경우 그래프, 두번째는 결정 u↔∗vu↔∗vu↔^*v , 마지막 하나의 등가 클래스의 정규 대표 발견 ↔∗↔∗↔^* , …