[논문 리뷰] Is submodularity testable?

C. Seshadhri, Jan Vondrák|arXiv (Cornell University)|2010. 08. 04.

Complexity and Algorithms in Graphs인용 수 9

한 줄 요약

이 논문은 부울 하이퍼큐브에서 하위모듈라리티(submodularity)를 성능 테스트(property testing)를 통해 효율적으로 검출할 수 있는지 조사한다. 지역적 하위모듈라리티 위반(submodularity violations)을 탐지하는 자연스러운 테스터를 제안하고, 이 테스터가 하위지수 시간(subexponential time) 내에 작동함을 증명하며, 첫 번째 비트리비얼(submodularity) 테스터를 확립한다. 동시에, 먼-서브모듈라 함수들 사이의 복잡한 전역적 종속성 때문에 특정 조건 하에서는 효율적인 테스터가 존재하지 않음을 보여준다.

ABSTRACT

We initiate the study of property testing of submodularity on the boolean hypercube. Submodular functions come up in a variety of applications in combinatorial optimization. For a vast range of algorithms, the existence of an oracle to a submodular function is assumed. But how does one check if this oracle indeed represents a submodular function? Consider a function f:{0,1}^n ightarrow R. The distance to submodularity is the minimum fraction of values of $f$ that need to be modified to make f submodular. If this distance is more than epsilon > 0, then we say that f is epsilon-far from being submodular. The aim is to have an efficient procedure that, given input f that is epsilon-far from being submodular, certifies that f is not submodular. We analyze a very natural tester for this problem, and prove that it runs in subexponential time. This gives the first non-trivial tester for submodularity. On the other hand, we prove an interesting lower bound (that is, unfortunately, quite far from the upper bound) suggesting that this tester cannot be very efficient in terms of epsilon. This involves non-trivial examples of functions which are far from submodular and yet do not exhibit too many local violations. We also provide some constructions indicating the difficulty in designing a tester for submodularity. We construct a partial function defined on exponentially many points that cannot be extended to a submodular function, but any strict subset of these values can be extended to a submodular function.

연구 동기 및 목표

• 부울 하이퍼큐브에서 정의된 함수에 대해 하위모듈라리티가 성능 테스트 프레임워크를 통해 검출 가능한지 여부를 규명하는 것.
• 지역 하위모듈라리티 위반을 검사하는 자연스러운 테스터의 효율성과 정확성을 분석하는 것.
• 서브모듈라와 멀리 떨어져 있지만 지역적 위반이 적은 함수의 구조적 복잡성을 이해하는 것.
• 부분 함수가 하위모듈라 함수로 확장될 수 없는 경우, 이를 작은 증거로 확인할 수 있는지 조사하는 것.
• 지역적 위반(예: 위반된 사각형)과 하위모듈라리티로부터의 전역적 거리 간의 관계를 탐구하는 것.

제안 방법

• 논문은 무작위 쌍의 집합을 샘플링하고, 유도된 2x2 사각형에서 하위모듈라리티 조건 위반이 있는지 확인하는 성능 테스터를 도입한다(즉, 마진 값이 감소하지 않는지 확인한다).
• 함수가 ε-서브모듈라와 멀리 떨어져 있다면, 테스터가 하위지수 시간 내에 상수 확률로 위반을 탐지할 수 있음을 증명한다.
• 분석은 단조성 테스팅(monotonicity testing)으로의 감소에 기반한다: f에서 g라는 함수를 구성하여 g가 하위모듈라일 조건과 f가 단조일 조건이 일치하도록 하며, 기존의 단조성 테스팅 하한을 활용해 하위모듈라리티 테스팅에 대한 하한을 유도한다.
• 지수적으로 많은 점들에서 정의된 부분 함수를 구성하여, 이 함수는 하위모듈라 함수로 확장될 수 없지만, 모든 진부분집합은 확장 가능함을 보여주며, 비확장 가능성(non-extendability)이 작은 증거를 갖지 않음을 나타낸다.
• 마진 값이 단조적이고 하위모듈라인 함수 h를 재귀적으로 구성하고, 이를 함수 f와 조합하여, 하위모듈라와 멀리 떨어져 있지만 지역적 위반이 적은 반례를 만든다.
• 모든 1-측면 비적응형 하위모듈라리티 테스터는 Ω(√n) 쿼리가 필요하고, 모든 적응형 테스터는 Ω(log n) 쿼리가 필요함을 증명하며, 이는 단조성 테스팅 하한으로부터의 감소에 기반한다.

실험 결과

연구 질문

• RQ1 부울 하이퍼큐브에서 성능 테스트 프레임워크를 사용해 하위모듈라리티를 효율적으로 테스트할 수 있는가?
• RQ2 하위모듈라와 ε-떨어져 있는 함수에서 위반된 사각형의 최소 밀도는 얼마인가?
• RQ3 하이퍼큐브의 큰 부분집합에서 정의된 부분 함수는 하위모듈라 함수로 확장될 수 있는가? 만약 불가능하면, 이를 작은 증거로 확인할 수 있는가?
• RQ4 지역 하위모듈라리티 위반은 하위모듈라리티로부터의 전역적 거리와 어떻게 관련이 있는가?
• RQ5 위반된 사각형을 탐지하는 것 외에, 더 효율적인 적응형 또는 비-정사각형 기반 테스터는 하위모듈라리티 테스트에 존재하는가?

주요 결과

• 제안된 하위모듈라리티 테스터는 하위지수 시간 내에 작동하며, 부울 하이퍼큐브에서 정의된 함수에 대한 첫 번째 비트리비얼 하위모듈라리티 테스터를 제공한다.
• 논문은 모든 1-측면 비적응형 하위모듈라리티 테스터가 Ω(√n) 쿼리가 필요하고, 모든 적응형 테스터가 Ω(log n) 쿼리가 필요함을 증명하며, 이는 단조성 테스팅 하한으로부터의 감소에 기반한다.
• 하위모듈라와 멀리 떨어져 있지만 지역적 위반이 매우 적은 함수가 존재함을 보여주며, 이는 지역적 테스팅만으로는 효율적인 전역 탐지가 불가능할 수 있음을 시사한다.
• 지수적으로 많은 점들에서 정의된 부분 함수는 하위모듈라 함수로 확장될 수 없지만, 모든 진부분집합은 확장 가능하므로, 비확장 가능성(non-extendability)은 작은 증거를 갖지 않음을 보여준다.
• 하위모듈라와 ε-떨어져 있지만, 하위모듈라인 h와 조합했을 때 g가 ε/2-떨어져 있는 함수 f를 구성함으로써, 단조성과 하위모듈라리티 테스팅 간의 강력한 연관성을 보여준다.
• 결과적으로, 지역적 장애물의 부재와 전역 종속성의 복잡성으로 인해 하위모듈라리티 테스팅은 단조성 테스팅보다 본질적으로 더 어렵다는 것이 드러난다.