[논문 리뷰] Long multiplication by instruction sequences with backward jump instructions

J.A. Bergstra, C.A. Middelburg|arXiv (Cornell University)|2013. 12. 06.

Algorithms and Data Compression참고 문헌 24인용 수 3

한 줄 요약

이 논문은 n비트 이진수의 장배수를 후행 점프 지시문을 사용하는 선형 길이의 지시어 시퀀스로 구현할 수 있음을 보여주며, 이러한 점프가 없을 경우의 이차 길이 시퀀스에 비해 크기를 크게 줄인다. 후행 점프가 고전적 알고리즘의 압축되고 효율적인 구현을 가능하게 하며, 정지 문제에 대한 구체적 증거를 제공하고 알고리즘 동치성 정의의 모호성을 드러낸다.

ABSTRACT

For each function on bit strings, its restriction to bit strings of any given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump instructions, and a termination instruction. Backward jump instructions are not necessary for this, but instruction sequences can be significantly shorter with them. We take the function on bit strings that models the multiplication of natural numbers on their representation in the binary number system to demonstrate this by means of a concrete example. The example is reason to discuss points concerning the halting problem and the concept of an algorithm.

연구 동기 및 목표

• n비트 이진수의 장배수를 후행 점프 지시문을 포함하는 지시어 시퀀스로 구현할 수 있음을 보여주는 것.
• 후행 점프가 포함된 지시어 시퀀스가 후행 점프가 없는 경우에 비해 훨씬 짧을 수 있음을 보여주며, 이는 이차 길이에서 선형 길이로의 전환을 달성하는 것.
• 이러한 효율성 향상이 계산의 기초 문제, 즉 정지 문제와 알고리즘 개념에 미치는 영향을 조사하는 것.
• 간접 주소 방식이 이러한 구현에서 지시어 시퀀스 길이를 추가로 줄일 수 있는지 탐색하는 것.

제안 방법

• 논문은 표준 장배수 알고리즘의 약간의 변형을 사용하여, 단지 부울 레지스터 연산, 전방 및 후행 점프, 종료만을 사용하는 지시어 시퀀스를 설계한다.
• n비트 워드는 부울 레지스터로 모델링하고, 지시어 시퀀스 프레임워크 내에서 기본 연산(예: 비트 시프트, 덧셈)을 정의한다.
• 지시어 시퀀스의 길이는 점근적 표기법을 사용하여 분석되며, 후행 점프를 사용할 경우 길이가 n에 대해 선형임을 보여준다.
• 인덱스 주소 방식을 도입하여 시퀀스 길이를 추가로 줄이며, 보조 레지스터를 통한 부울 레지스터의 간접 참조를 허용한다.
• 간접 주소 방식 유무에 따라 최적화된 지시어 시퀀스의 길이를 비교하여, 인덱스 주소 방식에서는 로그 성장이 발생함을 보여준다.
• 분석은 프로그램 대수학과 기본 스레드 대수학에 기반하여 지시어 시퀀스의 형식적 의미를 제공한다.

실험 결과

연구 질문

• RQ1 n비트 이진수의 장배수는 후행 점프 지시문을 포함하는 지시어 시퀀스로 선형 시간 및 공간 복잡도로 구현될 수 있는가?
• RQ2 후행 점프의 포함 여부에 따라 지시어 시퀀스 길이에 어떤 영향을 미치는가?
• RQ3 간접 주소 방식은 장배수를 위한 지시어 시퀀스 길이를 얼마나 더 줄일 수 있는가?
• RQ4 이러한 압축된 지시어 시퀀스는 명령형 프로그래밍에서 정지 문제에 어떤 영향을 미치는가?
• RQ5 이러한 구성은 형식적 계산 모델에서 알고리즘 동치성 개념을 어떻게 도전하거나 명확히 하는가?

주요 결과

• 후행 점프 지시문을 사용할 경우, n비트 이진수의 장배수를 계산하는 함수는 O(n) 길이의 지시어 시퀀스로 계산 가능하며, 후행 점프가 없는 경우는 O(n²)이다.
• 인덱스 주소 방식을 사용할 경우, 지시어 시퀀스 길이는 c·⌊log₂(n)⌋ + c′·⌊log₂(2n−1)⌋ + c′′로 줄어들며, 여기서 c < 100, c′ < 10, c′′ < 250이 되어 로그 성장이 달성된다.
• 후행 점프와 인덱스 주소 방식을 모두 적용한 지시어 시퀀스는 모든 n > 5에 대해 인덱스 주소 없이 구현한 버전보다 짧다.
• 이 구성은 명령형 프로그래밍에서 정지 문제의 결정 불가능성에 대한 구체적 증거를 제공한다. 후행 점프를 포함한 지시어 시퀀스의 동작은 완전히 예측할 수 없다.
• 논문은 알고리즘 동치성에 대한 통일된 정의가 없음을 강조하며, 서로 다른 형식적 체계가 동일한 알고리즘을 계산하는 두 지시어 시퀀스에 대해 서로 다른 견해를 가짐을 보여준다.
• 결과는 후행 점프와 간접 주소 방식이 저수준 지시어 시퀀스 모델에서 고전적 알고리즘의 압축되고 효율적인 구현을 달성하는 데 필수적임을 시사한다.