고차원 다양체의 불변량 계산의 계산적 도전 과제