[논문 리뷰] Computational complexity lower bounds of certain discrete Radon transform approximations

Timur Khanipov|arXiv (Cornell University)|2018. 01. 03.

Image and Object Detection Techniques참고 문헌 6인용 수 3

한 줄 요약

이 논문은 덧셈 회로 모델과 부울 회로 복잡도 이론을 사용하여 빠른 허프 변환과 일반적인 이산 라돈 변환 근사치에 대해 Ω(n² log n)의 계산 복잡도 하한을 설정한다. 이 결과는 오직 덧셈 연산만 허용될 경우 이러한 알고리즘이 점근적으로 최적임을 증명하며, 빠른 허프 변환의 O(n² log n) 시간 복잡도가 최적임을 확인한다.

ABSTRACT

For the computational model where only additions are allowed, the $Ω(n^2\log n)$ lower bound on operations count with respect to image size $n imes n$ is obtained for two types of the discrete Radon transform implementations: the fast Hough transform and a generic strip pattern class which includes the classical Hough transform, implying the fast Hough transform algorithm asymptotic optimality. The proofs are based on a specific result from the boolean circuits complexity theory and are generalized for the case of boolean $\vee$ binary operation.

연구 동기 및 목표

• 제한된 계산 모델 하에서 이산 라돈 변환 근사치에 대한 날것있는 계산 복잡도 하한을 설정하는 것.
• 오직 덧셈 연산만 허용될 경우 빠른 허프 변환이 o(n² log n) 연산으로 계산될 수 있는지 여부에 대한 열린 문제를 해결하는 것.
• 폭 넓은 스트립 패턴 기반 라돈 변환 구현 방식에 하한을 일반화하는 것.
• 부울 OR 연산의 경우로 복잡도 분석을 확장하여 이진 이미지 처리에 대해 더 강력한 하한을 증명하는 것.

제안 방법

• 오직 이진 덧셈만 허용되며, 크기는 간선 수로 측정되는 계산 모델로 덧셈 회로를 사용한다.
• 부울 회로 복잡도 이론에서의 핵심 정리를 적용하여 다수의 패턴 합을 계산하는 데 필요한 최소 연산 수를 제한한다.
• 제한된 폭과 밀도를 가진 스트립 패턴을 분석하고, 정수 매개변수를 가진 직선 집합으로 모델링하며, 교차점을 통제한다.
• 삼각함수 및 대수적 추정을 사용하여 기하학적 및 조합론적 추론을 통해 패턴 간 공유되는 픽셀 부분집합의 수를 제한한다.
• 다른 기울기를 가진 스트립 간의 겹치는 픽셀 수에 대한 근사를 유도하고, 함수 r(T)를 통해 회로 크기의 하한을 도출한다.
• 회로 복잡도 정리와 패턴 상호작용 분석을 결합하여 SUM 및 OR 연산 모두에 대해 Ω(n² log n)의 하한을 증명한다.

실험 결과

연구 질문

• RQ1 오직 덧셈만 허용될 경우 빠른 허프 변환은 o(n² log n) 연산으로 계산될 수 있는가?
• RQ2 Θ(n²)개의 패턴과 Ω(n³)의 총 픽셀 수를 가진 스트립 패턴 클래스에 대해 이산 라돈 변환을 계산하기 위해 필요한 최소 덧셈 수는 얼마인가?
• RQ3 덧셈 회로 모델 하에서 빠른 허프 변환은 점근적으로 최적인가?
• RQ4 픽셀 값이 이진이며 연산이 부울 OR로 대체될 경우 하한이 유지되는가?
• RQ5 유사한 조건 하에서 일반화된 스트립 패턴 기반 라돈 변환의 복잡도는 Ω(n² log n)으로 아래에서 유계일 수 있는가?

주요 결과

• 빠른 허프 변환을 계산하기 위해 필요한 덧셈 수에 대해 Ω(n² log n)의 하한이 확립되었으며, 이는 그 점근적 최적성의 증명이다.
• 유사한 하한은 폭과 밀도가 제한된 스트립 패턴으로 정의된 광범위한 이산 라돈 변환 근사치 클래스에도 적용된다.
• 이 결과는 산술 합산 뿐만 아니라 부울 OR 연산의 경우에도 성립하며, 이진 경우 더 강력한 하한을 증명한다.
• 하한은 날것있게 날카롭다. 왜냐하면 빠른 허프 변환은 O(n² log n) 복잡도를 달성하기 때문이며, 이는 주어진 모델 하에서 점근적으로 최적임을 의미한다.
• 분석 결과, Θ(n²)개의 패턴과 Ω(n³)의 총 픽셀 수를 가진 모든 패턴 집합은 덧셈 회로 모델 하에서 적어도 Ω(n² log n)의 연산을 요구해야 한다는 것이 드러났다.
• 증명은 기하학적 및 조합론적 추론을 통해 패턴 간 공유되는 픽셀 부분집합의 수를 제한하고, 이를 통해 r(T) 분석을 통한 회로 크기 하한을 이끌어낸다.