[논문 리뷰] Greedy can also beat pure dynamic programming

Stasys Jukna, Hannes Seiwert|arXiv (Cornell University)|2018. 01. 01.

Advanced Graph Theory Research참고 문헌 15인용 수 1

한 줄 요약

이 논문은 최소 신장 트리 문제에 대해 순수 동적 계획법(DP) 알고리즘은 최소 $2^{\Omega(n)}$ 번의 연산을 필요로 한다고 증명한다. 반면 크루스컬의 근사 알고리즘은 $O(n^2\log n)$ 시간에 이를 해결한다. 이 결과는 근사 알고리즘과 순수 DP 알고리즘이 상호 보완적인 계산 능력을 지닌다는 것을 보여주며, 각각이 다른 알고리즘이 효율적으로 처리할 수 없는 문제를 해결할 수 있음을 시사한다.

ABSTRACT

Many dynamic programming algorithms are in that they only use min or max and addition operations in their recursion equations. The well known greedy algorithm of Kruskal solves the minimum weight spanning tree problem on $n$-vertex graphs using only $O(n^2\log n)$ operations. We prove that any pure DP algorithm for this problem must perform $2^{\Omega(n)}$ operations. Since the greedy algorithm can also badly fail on some optimization problems, easily solvable by pure DP algorithms, our result shows that the computational powers of these two types of algorithms are incomparable.

연구 동기 및 목표

• 순수 동적 계획법 알고리즘의 최소 무게 신장 트리(MST) 문제에 대한 계산 복잡도를 분석하기.
• 크루스컬의 근사 알고리즘과 같은 근사 알고리즘과 순수 DP 접근 방식 간의 효율성을 동일한 문제에 대해 비교하기.
• 근사 알고리즘과 순수 DP 알고리즘의 계산 능력 간 이론적 분리 성립을 확립하기.
• 순수 DP 알고리즘이 본질적으로 MST 문제를 다룰 때 지수 시간이 필요하다는 것을 증명하기는 하지만, 효율적인 근사 알고리즘이 존재한다는 점을 고려할 것.

제안 방법

• 논문은 순수 DP 알고리즘의 재귀식의 구조를 분석하며, 이를 최소/최대값과 덧셈 연산에만 국한시킨다.
• 순수 DP 재귀식의 표현 능력에 대한 제약 조건을 바탕으로 하한선을 도출한다.
• 조합론적 및 정보 이론적 추론을 사용하여, 어떤 순수 DP 알고리즘도 지수 수준의 상태를 탐색해야 한다고 증명한다.
• 이 분석은 크루스컬의 근사 알고리즘과 대비되며, 이는 단순한 국소 선택 규칙을 사용해 효율적으로 MST를 구성한다.
• 논문은 '순수 DP'의 개념을 재귀식에 최소값, 최대값, 덧셈 연산만을 사용하는 알고리즘으로 정의한다.

실험 결과

연구 질문

• RQ1 순수 동적 계획법 알고리즘이 최소 무게 신장 트리 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 순수 DP 알고리즘이 최소값, 최대값, 덧셈 연산에만 국한될 경우의 본질적 계산 복잡도는 무엇인가?
• RQ3 MST 문제에 대해 근사 알고리즘(크루스컬의 알고리즘 포함)과 순수 DP 간의 시간 복잡도 효율성은 어떻게 비교되는가?
• RQ4 근사 알고리즘이 실패하고 순수 DP가 성공하는 최적화 문제들과 그 반대의 경우가 존재하는가?

주요 결과

• 최소 무게 신장 트리 문제에 대한 순수 동적 계획법 알고리즘은 최소 $2^{\Omega(n)}$ 번의 연산을 필요로 한다.
• 크루스컬의 근사 알고리즘은 $O(n^2\log n)$ 시간에 MST 문제를 해결하며, 이는 순수 DP의 지수하한선에 비해 훨씬 효율적이다.
• 근사 알고리즘과 순수 DP 알고리즘의 계산 능력은 상호 보완적이다: 각각은 다른 것이 효율적으로 처리할 수 없는 문제를 해결할 수 있다.
• 순수 DP 알고리즘이 재귀식에 최소값, 최대값, 덧셈 연산만을 사용하는 제약 조건 하에서 이 결과는 유지된다.