본 논문에서는 주어진 거리 행렬이 메트릭 공간을 형성하는지 여부를 효율적으로 판별하는 알고리즘을 제시하고, 특히 일반 메트릭, 트리 메트릭, 울트라메트릭의 세 가지 유형에 대한 검증 알고리즘의 질의 복잡도에 대한 상한 및 하한을 증명합니다.
