[논문 리뷰] Hardness of discrepancy computation and epsilon-net verification in high dimension

Panos Giannopoulos, Christian Knauer외 2명|arXiv (Cornell University)|2011. 03. 23.

Mathematical Approximation and Integration참고 문헌 19인용 수 4

한 줄 요약

이 논문은 고차원 기하 범위 공간에서의 불일치도 계산과 에프실론-넷 검증 문제가 차원 d에 대해 W[1]-하드임을 증명한다. 이는 표준 복잡도 가정 하에 고정 매개변수 다항식 시간 알고리즘이 존재하지 않음을 의미한다. 결과적으로 이러한 문제들은 3-SAT가 2^{o(n)} 시간 이내에 해결 가능하지 않다면 n^{Ω(d)} 시간이 필요하며, 이는 고차원에서의 효율적 계산에 대한 근본적인 한계를 설정한다.

ABSTRACT

Discrepancy measures how uniformly distributed a point set is with respect to a given set of ranges. There are two notions of discrepancy, namely continuous discrepancy and combinatorial discrepancy. Depending on the ranges, several possible variants arise, for example star discrepancy, box discrepancy, and discrepancy of half-spaces. In this paper, we investigate the hardness of these problems with respect to the dimension d of the underlying space. All these problems are solvable in time {n^O(d)}, but such a time dependency quickly becomes intractable for high-dimensional data. Thus it is interesting to ask whether the dependency on d can be moderated. We answer this question negatively by proving that the canonical decision problems are W[1]-hard with respect to the dimension. This is done via a parameterized reduction from the Clique problem. As the parameter stays linear in the input parameter, the results moreover imply that these problems require {n^Ω(d)} time, unless 3-Sat can be solved in {2^o(n)} time. Further, we derive that testing whether a given set is an ε-net with respect to half-spaces takes {n^Ω(d)} time under the same assumption. As intermediate results, we discover the W[1]-hardness of other well known problems, such as determining the largest empty star inside the unit cube. For this, we show that it is even hard to approximate within a factor of {2^n}.

연구 동기 및 목표

• 고차원 기하 범위 공간에서의 불일치도 계산과 에프실론-넷 검증 문제가 차원 d에 대해 효율적으로 해결될 수 있는지 여부를 규명하는 것.
• 이 문제들이 차원 d에 따라 매개변수화된 고정 매개변수 다항식 시간(FPT) 알고리즘을 갖는지 조사하는 것.
• 표준 복잡도 이론적 가정 하에 이러한 문제들에 대한 계산 하한을 설정하는 것.
• 가장 큰 빈 별과 같은 관련 기하 문제들의 근사 불가능성 탐색.
• 차원 d에 대한 의존성이 단지 현재 알고리즘의 한계가 아니라 본질적으로 필요하다는 것을 보여주는 것.

제안 방법

• 클리크 문제로부터의 고정 매개변수 환원을 사용하여 고차원에서의 불일치도 계산과 에프실론-넷 검증의 W[1]-하드성을 증명한다.
• 클리크 문제의 인스턴스를 범위 공간의 성질을 통해 d차원 단위 입방체 내 기하 점 집합을 구성함으로써 인코딩한다.
• 반반공간, 상자, 볼록 집합의 구조와 코크스마–플라우카 부등식을 활용하여 클리크 존재성을 기하적 용어로 시뮬레이션한다.
• 점 집합을 변환하여 큰 빈 상자 또는 범위가 원래 그래프의 클리크에 대응하도록 보장한다.
• 구체, 볼록 집합, 반반공간 등 다양한 범위 공간으로 일반화하기 위해 구조를 적응한다.
• 집합 S가 ε-넷이 아니라는 것은 어떤 범위가 ε|P|개의 점을 포함하지만 S로부터의 점이 없을 때 존재한다는 사실을 이용하여, 큰 빈 범위의 존재와 연결한다.

실험 결과

연구 질문

• RQ1 고차원 기하 범위 공간에서의 불일치도 계산은 차원 d에 대해 FPT 시간 내에 해결될 수 있는가?
• RQ2 반반공간에 대해 주어진 집합이 고차원에서 ε-넷인지 검증하는 데 고정 매개변수 다항식 시간 알고리즘이 존재하는가?
• RQ3 d차원 단위 입방체에서 가장 큰 빈 별을 찾는 문제의 계산 복잡도는 무엇인가?
• RQ4 차원에 대해 매개변수화된 상황에서 점 집합의 스타 불일치도가 상수 요소 내에서 FPT 시간에 근사 가능한가?
• RQ5 W[1]-하드성은 고차원 수치 적분 및 기하 최적화에서 효율적 알고리즘 존재성에 어떤 영향을 미치는가?

주요 결과

• 스타 불일치도, 상자 불일치도, 반반공간 불일치도의 결정 문제들은 차원 d에 대해 W[1]-하드이다.
• 표준 복잡도 가정 하에 이러한 문제들은 3-SAT가 2^{o(n)} 시간 이내에 해결 가능하지 않다면 n^{Ω(d)} 시간이 필요하다.
• d차원 단위 입방체에서 가장 큰 빈 별을 찾는 문제는 W[1]-하드이며, 2^n 요소 이내의 근사 가능성은 없다.
• 반반공간에 대해 주어진 집합이 ε-넷인지 검증하는 문제 역시 차원 d에 대해 W[1]-하드이다.
• 이러한 하드성 결과는 구체, 볼록 집합, 제약 없는 상자와 같은 다른 기하 범위 공간으로도 확장된다.
• 이 결과들은 FPT ≠ W[1]이라는 가정 하에 이러한 문제들에 대해 고정 매개변수 다항식 시간 알고리즘이 존재하지 않음을 의미하며, 고차원에서의 효율적 계산에 대한 근본적인 한계를 설정한다.