표시 정리 알고리즘