[논문 리뷰] Tight Hardness Results for Maximum Weight Rectangles

Artūrs Bačkurs, Nishanth Dikkala외 1명|arXiv (Cornell University)|2016. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 19인용 수 12

한 줄 요약

이 논문은 d차원에서의 최대 무게 직사각형 문제와 그 특수 케이스인 최대 부분배열 문제에 대해 날카운 조건부 하한을 확립하며, 이는 더 빠른 알고리즘이 존재할 경우 전형적인 문제들, 예를 들어 모든 쌍의 최단 경로와 최대 무게 k-클리크 문제에 대한 돌풍般的인 돌파를 의미함을 보여준다. 저자들은 2차원에서 최대 무게 직사각형 문제에 대해 O(N^{2−ε}) 알고리즘 또는 최대 부분배열 문제에 대해 O(n^{3−ε}) 알고리즘이 존재할 경우 광범위하게 수용된 난이도 가정을 반박하게 되며, 이는 기존 알고리즘의 최적성(하나의 다항식 인자 이하의 요소를 제외한)을 입증한다.

ABSTRACT

Given $n$ weighted points (positive or negative) in $d$ dimensions, what is the axis-aligned box which maximizes the total weight of the points it contains? The best known algorithm for this problem is based on a reduction to a related problem, the Weighted Depth problem [T. M. Chan, FOCS'13], and runs in time $O(n^d)$. It was conjectured [Barbay et al., CCCG'13] that this runtime is tight up to subpolynomial factors. We answer this conjecture affirmatively by providing a matching conditional lower bound. We also provide conditional lower bounds for the special case when points are arranged in a grid (a well studied problem known as Maximum Subarray problem) as well as for other related problems. All our lower bounds are based on assumptions that the best known algorithms for the All-Pairs Shortest Paths problem (APSP) and for the Max-Weight k-Clique problem in edge-weighted graphs are essentially optimal.

연구 동기 및 목표

• 2차원에서 최대 무게 직사각형 문제에 대한 O(N²) 알고리즘이 하위다항식 요소 이하로 최적임을 오랫동안 지속된 추측을 해결하기 위해.
• 2차원 이상의 최대 부분배열 문제에 대해 조건부 하한을 확립하여, O(n³⁻ε) 알고리즘이 존재할 경우 모든 쌍의 최단 경로 문제에 대해 더 빠른 알고리즘이 존재하게 됨을 보여주기 위해.
• 이러한 난이도 결과를 최대 무게 k-클리크가 있는 간선에 가중치가 부여된 그래프에서의 가중치 깊이 문제와 같은 관련 문제들로 확장하기 위해.
• 기하 최적화 문제와 기초적인 그래프 문제 사이의 관계를 표준 복잡도 가정 하에 날카운 감소를 통해 형식화하기 위해.

제안 방법

• 클리크의 정점을 밑수 n의 숫자로 표현하여 d차원 공간에 매핑함으로써 최대 무게 k-클리크 문제를 d차원에서의 최대 무게 직사각형 문제로 감소시킨다.
• 모든 축에 평행한 상자(박스)의 총 무게가 그가 나타내는 클리크의 무게와 정확히 일치하도록 가중치를 부여한 점들의 집합을 신중히 구성한다.
• 감소 사슬을 적용: 최대 조합 → 최대 정사각형 부분행렬 → 중심 최대 조합 → 중심 최대 합, 경계 조건을 다루기 위해 부호 반전과 오프셋을 사용한다.
• 가중치 깊이 문제에 대해 새로운 구성 기법을 사용하여, 그래프의 간선과 직사각형을 연결함으로써 가장 무거운 점이 가장 무거운 d-클리크에 해당하도록 한다.
• 모든 쌍의 최단 경로(APSP) 문제와 최대 무게 k-클리크 문제의 강한 하위세제곱 시간 또는 강한 하위제곱 시간 내에 해결될 수 없다는 가정을 사용한다.
• 기하 문제에 대해 더 빠른 알고리즘이 존재할 경우 이러한 핵심 그래프 문제에 대해 더 빠른 알고리즘이 존재하게 되므로, 일치하는 하한을 증명한다.

실험 결과

연구 질문

• RQ1 2차원에서 최대 무게 직사각형 문제에 대한 O(N²) 알고리즘이 하위다항식 요소 이하로 최적인가?
• RQ2 최대 부분배열 문제에 대한 O(n³) 알고리즘은 O(n³⁻ε)로 개선될 수 있는가, 이는 기본적인 복잡도 가정을 깨뜨리지 않는 한?
• RQ3 높은 차원에서 최대 무게 직사각형 문제의 본질적 난이도는 무엇이며, 알려진 상한과 일치하는가?
• RQ4 최대 부분배열 문제를 모든 쌍의 최단 경로 문제로 감소시킬 수 있는가, 이때 런타임 복잡도가 유지되는가?
• RQ5 가중치 깊이 문제와 최대 무게 직사각형 문제의 조건부 난이도는 동일한가, 그리고 이는 날카운 감소를 통해 증명될 수 있는가?

주요 결과

• 2차원에서 최대 무게 직사각형 문제에 대해 O(N²⁻ε) 알고리즘이 존재할 경우, 최대 무게 ⌈4/ε⌉-클리크 문제에 대해 O(n^{⌈4/ε⌉−ε}) 알고리즘이 존재하게 되며, 이는 현재 알려진 런타임 가정을 반박하게 된다.
• d차원에서 최대 무게 직사각형 문제에 대해 O(N^{d−ε}) 알고리즘이 존재할 경우, k = ⌈d²/ε⌉일 때 최대 무게 k-클리크 문제에 대해 O(n^{k−ε}) 알고리즘이 존재하게 되며, 이는 알려진 상한과 하위다항식 요소 이하로 일치한다.
• n×n 행렬에서 최대 부분배열 문제에 대해 O(n³⁻ε) 알고리즘이 존재할 경우, 모든 쌍의 최단 경로 문제에 대해 O(n^{3−ε/10}) 알고리즘이 존재하게 되며, 이는 현재 O(n³) 상한이 조건부로 최적임을 보여준다.
• 가중치 깊이 문제에 대해 일치하는 조건부 하한이 존재한다: O(N^{d/2−ε}) 알고리즘은 최대 무게 d-클리크 문제에 대해 O(n^{d−2ε}) 알고리즘을 유도한다.
• 감소는 날카롭고, 런타임 복잡도를 유지하며, 기하 문제에서의 개선이 핵심 그래프 문제에서의 돌풍적인 돌파를 이끌어낼 수 있음을 보여준다.
• 결과적으로 최대 무게 직사각형, 최대 부분배열, 가중치 깊이 문제에 대해 알려진 최선의 알고리즘이 표준 복잡도 가정 하에 본질적으로 최적임을 입증한다.