[논문 리뷰] On the Hamming Distance between base-n representations of whole numbers

Anunay Kulshrestha|arXiv (Cornell University)|2012. 03. 20.

Analytic Number Theory Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 1에서 m까지의 연속 정수의 밑수-n 표현에서의 해밍 거리 합에 대한 닫힌 형식의 공식을 유도한다. m과 m−1 사이의 해밍 거리가 m을 나누는 n의 최고 거듭제곱의 지수 l에 대해 l+1와 같음을 증명하고, 이를 바탕으로 S(m) = Σ⌈m/n^j⌉를 유도하여 모든 연속 쌍에 대한 총 해밍 거리 계산을 효율적으로 가능하게 한다.

ABSTRACT

We first introduce the Hamming distance between two strings. Then, we apply this concept to the representations of whole numbers in base n for all positive integers n > 2. We claim that a simple formula exists for the sum of all Hamming distances between pairs of consec- utive integers from 1 to m, which we will derive. We also state and prove other interesting results concerning the aforementioned topic.

연구 동기 및 목표

• 연속 정수의 밑수-n 표현 간의 해밍 거리 합에 대한 수학적 공식을 수립하는 것.
• 특히 m을 나누는 n의 최고 거듭제곱과의 관계를 분석하여, m과 m−1 간의 해밍 거리가 밑수 n에서 어떻게 결정되는지 분석하는 것.
• 주어진 m까지의 총 해밍 거리 합을 계산하기 위한 효율적인 알고리즘적 구현을 제공하는 것.
• 모든 정수에 대해 n ≥ 2인 다양한 밑수 n에 대해 해밍 거리의 행동을 일반화하는 것.
• 실용적 사용을 위해 작동하는 파이썬 구현을 통해 유도된 공식을 검증하는 것.

제안 방법

• 두 동일한 길이의 문자열 S1과 S2 사이의 해밍 거리 H(S1, S2)를 서로 다른 자릿수 위치의 수를 의미로 정의한다.
• 연속 정수의 길이가 다른 밑수-n 표현을 정렬하기 위해 0으로 패딩을 도입한다.
• 사례 분석을 통해 m과 m−1 사이의 해밍 거리가 m을 나누는 n의 최고 거듭제곱의 지수 l에 대해 H(m, m−1) = l + 1임을 증명한다.
• 총 합 S(m)를 i = 1에서 m까지의 (P_i + 1) 합으로 표현하며, 여기서 P_i는 i를 나누는 n의 최고 거듭제곱이다.
• Iverson 괄호를 사용하고 합의 순서를 바꿔 S(m) = Σ⌈m/n^j⌉ (j ≥ 0)로 재구성한다.
• n의 거듭제곱을 log_n(m)까지 반복하여 순회함으로써 파이썬에서 공식을 효율적으로 구현하며, 브루트 포스 문자열 비교를 피한다.

실험 결과

연구 질문

• RQ1 연속 정수 m과 m−1 간의 밑수-n 표현에서의 해밍 거리는 어떻게 되며, 이는 m의 소인수 거듭제곱 구조에 따라 어떻게 달라지나?
• RQ2 1에서 m까지의 모든 연속 정수 쌍에 대한 해밍 거리 합에 대해 닫힌 형식의 표현을 도출할 수 있는가?
• RQ3 n이 m을 나누는지 여부에 따라 해밍 거리는 어떻게 변하는가? 그리고 m을 나누는 n의 최고 거듭제곱은 어떤 역할을 하는가?
• RQ4 모든 연속 수 쌍을 명시적으로 비교하지 않고도 총 해밍 거리 합을 효율적으로 계산할 수 있는 알고리즘이 존재하는가?
• RQ5 유도된 공식을 사용하여 합을 계산할 경우, 브루트 포스 문자열 비교 대비 계산 복잡도는 어떻게 되는가?

주요 결과

• 밑수 n에서 m과 m−1 간의 해밍 거리는 m을 나누는 n의 최고 거듭제곱의 지수 l에 대해 H(m, m−1) = l + 1이다.
• 밑수 n에서 1에서 m까지의 해밍 거리 합은 S(m) = Σ⌈m/n^j⌉ (j = 0에서 ⌈log_n m⌉까지)로 주어진다.
• 공식 S(m) = Σ⌈m/n^j⌉는 약수 조건에 대한 이중 합으로 표현하고 합의 순서를 바꿈으로써 도출된다.
• 유도 과정은 약수 조건을 표현하기 위해 Iverson 괄호를 사용하며, 이를 정확히 n의 거듭제곱에 대한 합으로 변환할 수 있도록 한다.
• 이 공식은 O(log_n m) 시간에 총 해밍 거리 합을 계산할 수 있게 하여, 브루트 포스 비교의 O(m)에 비해 크게 향상된다.
• 파이썬 구현을 통해 공식의 정확성이 확인되었으며, 큰 m과 n 값에 대해서도 효율성을 입증하였다.