비가환 유리 공식의 결정론적 준다항식 시간 내 블랙박스 동일성 검사

비가환 유리 공식의 동일성 검사 문제에 대해 결정론적 준다항식 시간 내 블랙박스 알고리즘을 제시한다.