[논문 리뷰] A Composition Theorem via Conflict Complexity

Swagato Sanyal|arXiv (Cornell University)|2018. 01. 10.

Complexity and Algorithms in Graphs참고 문헌 2인용 수 5

한 줄 요약

이 논문은 부분 부울 함수에 대한 새로운 복잡도 측정법인 충돌 복잡도(conflict complexity)를 도입하고, 조합된 관계 $f \circ g^n$의 랜덤화 질의 복잡도가 $\Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ 이하로 bound됨을 증명하는 조합 정리를 제시한다. 이 결과는 충돌 복잡도를 사용한 새로운 하한 기법을 통해 확립되며, 이 기법은 $\Omega(\sqrt{\R_{1/3}(g)})$ 라는 하한을 보이며, 이는 이전 연구에서 제시된 예시를 통해 상수 상수 범위 내에서 최적임이 입증된다.

ABSTRACT

Let $\R(\cdot)$ stand for the bounded-error randomized query complexity. We show that for any relation $f \subseteq \{0,1\}^n imes \mathcal{S}$ and partial Boolean function $g \subseteq \{0,1\}^n imes \{0,1\}$, $\R_{1/3}(f \circ g^n) = Ω(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$. Independently of us, Gavinsky, Lee and Santha \cite{newcomp} proved this result. By an example demonstrated in their work, this bound is optimal. We prove our result by introducing a novel complexity measure called the \emph{conflict complexity} of a partial Boolean function $g$, denoted by $χ(g)$, which may be of independent interest. We show that $χ(g) = Ω(\sqrt{\R(g)})$ and $\R(f \circ g^n) = Ω(\R(f) \cdot χ(g))$.

연구 동기 및 목표

• 조합된 관계 $f \circ g^n$의 랜덤화 질의 복잡도에 대해 구성 요소 함수의 복잡도에 기반한 하한을 확립하기 위해.
• 부분 부울 함수 $g$에 대한 새로운 복잡도 측정법인 충돌 복잡도 $\chi(g)$를 도입하고 분석하기 위해.
• $\chi(g) = \Omega(\sqrt{\R_{1/3}(g)})$ 를 보여주어 날것의 조합 정리를 가능하게 하기 위해.
• 기존에 알려진 조합 하한을 상수 상수 범위 내에서 최적화하는 방식으로 더 단순하고 짧은 증명을 제공하기 위해.

제안 방법

• 부분 부울 함수 $g$에서 서로 다른 출력을 가진 입력을 랜덤화된 과정을 통해 제한된 질의 접근을 통해 구분하는 데의 어려움을 측정하는 충돌 복잡도 $\chi(g)$를 정의한다.
• $\mu_0$, $\mu_1$ 분포와 질의를 시뮬레이션하면서 입력 레이블과의 일관성을 추적하는 랜덤화된 과정 $\mathcal{P}$ 를 포함한 하이브리드 추론 기법을 사용한다.
• 조합 알고리즘 $f \circ g^n$의 동작을 모방하는 $f$ 전용 질의 알고리즘 $T$ 를 구성하며, 이때 충돌 복잡도를 사용해 질의 비용을 제한한다.
• 마르코프 부등식을 적용하여 시뮬레이션된 알고리즘에서의 평균 질의 수를 제한하며, 원래 복잡도 $t$ 와 $d = \chi(g)$ 에 대해 상수 비율의 입력들이 $O(t/d)$ 개의 질의로 계산될 수 있음을 보인다.
• 최소-최대 원리를 활용하여 랜덤화 질의 복잡도를 분포 기반 복잡도와 연결함으로써 최종 조합 하한을 도출한다.
• 충돌 복잡도 $\chi(g) = d$ 의 정의 위반을 보여주기 위해 모순 기반 추론을 사용한다.

실험 결과

연구 질문

• RQ1 조합 정리에 대해 날것의 결과를 도출할 수 있도록 하는, 부분 부울 함수의 질의 어려움을 잘 반영하는 새로운 복잡도 측정법을 정의할 수 있는가?
• RQ2 모든 부분 부울 함수 $g$에 대해 충돌 복잡도 $\chi(g)$ 가 $\Omega(\sqrt{\R_{1/3}(g)})$ 로 하한이 존재하는가?
• RQ3 기존 접근 방식보다 더 단순하고 직접적인 방법으로 조합 정리 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ 를 증명할 수 있는가?
• RQ4 하한 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ 는 최적이며, 명시적인 예시를 통해 이를 입증할 수 있는가?

주요 결과

• 부분 부울 함수 $g$의 충돌 복잡도 $\chi(g)$ 는 $\chi(g) = \Omega(\sqrt{\R_{1/3}(g)})$ 를 만족하며, 이는 이 새로운 측정법에 대해 강력한 하한을 제공한다.
• 조합 정리 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \chi(g))$ 는 충돌 복잡도를 기반으로 일반적인 하한을 제공한다.
• 주요 결과 $\R_{1/3}(f \circ g^n) = \Omega(\R_{4/9}(f) \cdot \sqrt{\R_{1/3}(g)})$ 는 두 하한을 조합함으로써 유도되며, 이는 이전 연구에서 제시된 알려진 예시를 통해 최적임이 입증된다.
• 이전의 Gavinsky, Lee, and Santha의 독립적 증명보다 훨씬 단순하고 짧은 증명 기법을 제공한다.
• 조합된 관계의 랜덤화 질의 복잡도는 $f$ 의 오차 $4/9$ 에서의 복잡도와 $g$ 의 오차 $1/3$ 에서의 복잡도의 제곱근의 곱으로 하한이 둔다.
• 분포 $\mu_0$, $\mu_1$ 과 일관성 추적을 위한 질의 과정을 포함하는 하이브리드 시뮬레이션을 사용하며, 이는 질의 수에 대한 마르코프 기반 추론을 이끈다.