함수의 위치 불변 속성과 분포의 속성: 테스트에서는 일치하나 검증에서는 분리됨

함수의 위치 불변(Location-invariant) 속성이란 각 값이 나타나는 위치와 상관없이, 값이 나타나는 빈도만으로 특징을 규정할 수 있는 성질을 의미한다.

기존 연구에 따르면, 함수의 위치 불변 속성을 테스트하는 Query Complexity는 대응하는 분포의 속성을 테스트하는 Sample Complexity와 밀접한 관련이 있는 것으로 알려져 있다.

하지만 본 연구는 이러한 긴밀한 관계가 Verification(검증) 단계에서는 유지되지 않는다는 점을 밝혀냈다. 즉, 테스트 단계에서의 상관관계가 검증 단계까지 이어지지는 않는다.