[논문 리뷰] When are two algorithms the same?

Andreas Blass, Nachum Dershowitz외 1명|arXiv (Cornell University)|2008. 11. 05.

Computability, Logic, AI Algorithms참고 문헌 9인용 수 4

한 줄 요약

이 논문은 결정성, 소단계, 상호작용이 없는 알고리즘의 제한된 맥락조차도, 두 알고리즘이 같은 것인지 정의할 수 있는 만족스러운 동치관계가 존재하지 않는다고 주장한다. 직관적인 알고리즘의 동일성에 저항하는 사례들을 분석함으로써, 저자들은 '같은 알고리즘'이라는 개념이 본질적으로 주관적이며, 프로그램에 대한 어떤 엄밀한 동치관계로도 포착될 수 없다고 결론을 내린다.

ABSTRACT

People usually regard algorithms as more abstract than the programs that implement them. The natural way to formalize this idea is that algorithms are equivalence classes of programs with respect to a suitable equivalence relation. We argue that no such equivalence relation exists.

연구 동기 및 목표

• 두 프로그램이 같은 알고리즘을 구현한다는 직관적 개념을 포괄할 수 있는 정확한 동치관계를 정의할 수 있는지 조사하기.
• 기존 접근법—예를 들어 Curry-Howard 대응 및 증명 동치성—이 알고리즘 동일성 정의에 실패하는 이유를 검토하기.
• 결정성, 소단계, 상호작용이 없는 알고리즘의 제한된 클래스조차도, 알고리즘 동일성의 직관적 개념이 형식화하기에 너무 모호하다는 것을 보여주기.
• 프로그램의 문법과 의미가 잘 정의되어 있음에도 불구하고, 알고리즘 정체성에 대한 주관적 판단이 여전히 지속된다는 것을 보여주기.
• 알고리즘 동일성 문제의 근본 원인은 숙련된 기술적 과제가 아니라, 알고리즘 정체성에 대한 인간의 직관이 본질적으로 모호하기 때문에, 문제 자체가 잘못 설정되어 있다고 주장하기.

제안 방법

• 두 프로그램이 동일한 함수를 계산하지만 직관적으로 다른 알고리즘으로 간주되는 사례를 분석함—예를 들어 삽입 정렬 vs. 선택 정렬.
• 프로그래밍 언어와 의미론이 프로그램 정의에 미치는 역할을 검토하며, 목표를 방해하지 않는 안정적이고 잘 정의된 언어를 채택할 것을 주장함.
• Curry-Howard 대응을 활용해 증명 동치성이 알고리즘 동치성의 잠재적 길이 될 수 있음을 탐색하지만, 너무 미세한 수준이라 이를 기각함.
• 프로그램에 대한 소규모 점진적 수정이 알고리즘 정체성과 차이의 경계를 흐리게 하여 그레이 영역을 만들어내는 방식을 조사함.
• 증명, 정리, 번역 등의 다른 영역과의 유사성을 제시함으로써, 동일성 문제의 광범위성과 유사한 해결 불가능성을 입증함.
• 역수학을 정리에 대한 거친 동치관계 개념으로 적용하여, 직관적 동치관계와 대비시켜 형식화의 격차를 부각함.

실험 결과

연구 질문

• RQ1 두 프로그램이 같은 알고리즘을 구현하는 경우에만 동치로 간주하는 정확한 프로그램 간 동치관계를 정의할 수 있는가?
• RQ2 표준적 접근법—예를 들어 Curry-Howard 대응 또는 증명 동치성—이 직관적인 알고리즘 동일성을 포착하지 못하는 이유는 무엇인가?
• RQ3 직관적인 '같은 알고리즘' 개념이 어느 정도 주관적인가? 그리고 이러한 주관성은 형식화할 수 있는가?
• RQ4 프로그램의 소규모 문법적 또는 구조적 변화가 알고리즘 정체성 인식에 어떤 영향을 미치며, 경계는 어디에 있는가?
• RQ5 증명, 정리, 번역 등의 다른 영역에서도 알고리즘의 동일성 정의 문제와 유사한 어려움이 존재하는가?

주요 결과

• 결정성, 소단계, 상호작용이 없는 알고리즘의 제한된 클래스조차도, 프로그램 간 동치관계로는 두 알고리즘이 같은 것이라는 직관적 개념을 완전히 포착할 수 없다.
• 두 프로그램이 동일한 함수를 계산하고 문법적으로 유사함에도 불구하고, 사람들이 그들이 같은 알고리즘을 구현한다고 보는지 여부에 대해 합리적인 의견 차이가 존재할 수 있으며, 이는 본질적인 주관성의 증거이다.
• Curry-Howard 대응 및 증명 동치성 접근법은 너무 미세한 수준의 동치관계를 제공하여, 직관적으로 동치로 간주되는 알고리즘을 식별하지 못한다.
• 프로그램에 대한 소규모 점진적 수정을 거쳐도 각 단계는 간단하지만, 최초와 최종 프로그램은 서로 다른 알고리즘으로 인식되는 경우가 발생하여 명확한 경계가 없음을 보여준다.
• 알고리즘 동일성 문제의 근본 원인은 숙련된 기술적 과제가 아니라 개념적 문제이며, 직관적 개념이 너무 모호하고 맥락 의존적이어서 정확한 동치관계로 형식화될 수 없다.
• 증명, 정리, 번역 등의 다른 영역에서도 동일한 해결 불가능성을 보이는 유사한 문제들이 존재하여, 더 깊은 기초적 문제를 암시한다.