[논문 리뷰] Testing Coverage Functions

Deeparnab Chakrabarty, Zhiyi Huang|arXiv (Cornell University)|2012. 05. 08.

Complexity and Algorithms in Graphs참고 문헌 13인용 수 4

한 줄 요약

이 논문은 O(m|U|)의 쿼리로 값 오ракูล로부터 커버리지 함수를 재구성하는 다항식 시간 알고리즘을 제안하며, 이는 오라클이 커버리지 함수를 대표하는지 여부를 효율적으로 테스트할 수 있도록 한다. 또한 일반적으로 커버리지 함수를 테스트하는 것은 불가능하며, 거리 측정 기준에 따라 커버리지에서 멀리 떨어진 함수에 대해서는 지수적으로 많은 쿼리가 필요하다는 것을 보여준다.

ABSTRACT

A coverage function f over a ground set [m] is associated with a universe U of weighted elements and m subsets A_1,..., A_m of U, and for any subset T of [m], f(T) is defined as the total weight of the elements in the union $\cup_{j\in T} A_j$. Coverage functions are an important special case of submodular functions, and arise in many applications, for instance as a class of utility functions of agents in combinatorial auctions. Set functions such as coverage functions often lack succinct representations, and in algorithmic applications, an access to a value oracle is assumed. In this paper, we ask whether one can test if a given oracle is that of a coverage function or not. We demonstrate an algorithm which makes O(m|U|) queries to an oracle of a coverage function and completely reconstructs it. This gives a polytime tester for succinct coverage functions for which |U$ is polynomially bounded in m. In contrast, we demonstrate a set function which is "far" from coverage, but requires 2^{ ildeΘ(m)} queries to distinguish it from the class of coverage functions.

연구 동기 및 목표

• 주어진 값 오라클이 커버리지 함수에 해당하는지 아니면 그것으로부터 멀리 떨어져 있는지 판단하는 것.
• 속성 테스팅 프레임워크 내에서 커버리지 함수의 쿼리 복잡도를 조사하는 것.
• 기본 유니버스 크기 |U|가 다항식적으로 유계가 아닐 경우, 커버리지 함수 테스팅의 한계를 탐색하는 것.
• 비커버리지의 증거 밀도를 캡처하는 새로운 거리 개념인 W-거리(W-distance)를 도입하는 것.

제안 방법

• 커버리지 함수의 전체 집합 체계와 가중치를 복원하기 위해 오라클을 O(m|U|)번 쿼리하는 재구성 알고리즘을 제안한다.
• 비음수 W계수를 통해 커버리지 함수를 특성화하는 집합 함수의 W변환을 사용한다.
• 비커버리지에서 큰 W거리를 가지지만 비커버리지임을 확인하기 위해 지수적으로 많은 쿼리가 필요한 함수의 집합을 구성한다.
• W계수를 조작하고 원하는 성질을 가진 함수를 설계하기 위해 마할러 기저 표현을 활용한다.
• 밀도 있는 범위에서 음수 W계수를 가진 임의의 함수는 오라클 쿼리를 통해 커버리지 함수와 쉽게 구분될 수 없다는 것을 보여준다.
• 다항식 다항식과 근 수 세기 추측을 사용하여, 이러한 함수들이 표준 거리 측정 기준에서도 커버리지에서 멀리 떨어져 있음을 주장한다.

실험 결과

연구 질문

• RQ1 |U|가 m에 대해 다항식일 경우, 특히 오라클 쿼리만을 사용하여 커버리지 함수를 효율적으로 테스트할 수 있는가?
• RQ2 커버리지에서 ε-만큼 떨어진 함수를 진짜 커버리지 함수와 구별하기 위한 쿼리 복잡도는 얼마인가?
• RQ3 비커버리지에 대한 자연스러운 증거가 존재하는가? 그러한 증거를 찾기 위해 얼마나 많은 쿼리가 필요한가?
• RQ4 쿼리 복잡도 측면에서 W거리 측정 기준은 표준 거리 측정 기준과 어떻게 관련이 있는가?
• RQ5 표준 기준에서 커버리지에서 멀리 떨어져 있지만, 이를 감지하기 위해 지수적으로 많은 쿼리가 필요한 함수가 존재하는가?

주요 결과

• 논문은 O(m|U|)의 쿼리를 사용하여 커버리지 함수를 완전히 복원하는 재구성 알고리즘을 제시하며, 이는 압축 가능한 커버리지 함수에 대해 다항식 시간 테스팅을 가능하게 한다.
• 압축 가능한 커버리지 함수(즉, |U|가 m에 대해 다항식일 경우)에 대해 제안된 알고리즘이 완전하고 효율적인 테스터를 제공한다.
• 논문은 W거리 기준에서 1−e−Θ(m)-만큼 커버리지에서 멀리 떨어져 있지만, 진짜 커버리지 함수와 구별하기 위해 2Θ(m)의 쿼리가 필요한 함수를 구성한다.
• W거리 기준에서 커버리지 함수를 테스트하는 것은 불가능하며, 비커버리지임을 감지하기 위해 지수적으로 많은 쿼리가 필요한 함수가 존재한다는 것을 증명한다.
• 다항식의 근에 관한 추측을 바탕으로 한 증거를 제시하여, 이러한 함수들이 표준 거리 측정 기준에서도 커버리지에서 멀리 떨어져 있음을 보여준다.
• 서브모듈라 함수는 O(ε−Õ(√m))의 쿼리로 테스트 가능하나, 커버리지 함수는 그 구조적 복잡성으로 인해 근본적으로 다른 접근이 필요하다는 것을 논문이 보여준다.