[논문 리뷰] A Dichotomy for Succinct Representations of Homomorphisms

Christoph Berkholz, Harry Vinall-Smeeth|arXiv (Cornell University)|2022. 09. 29.

Complexity and Algorithms in Graphs인용 수 2

한 줄 요약

이 논문은 유한관계구조 간의 호모모르피즘에 대한 압축된 d-표현의 이분법을 설정하며, 유한관계구조의 유계-어리티 클래스에 대해 다항크기의 d-표현이 존재하는 것은 구조 A의 트리너비가 유계일 때에만 가능하다는 것을 증명한다. 주요 기여는 트리너비가 무한할 경우 초다항 크기의 표현이 필요함을 보여주는 날카운 하한값을 제시한 것으로, 새로운 감소 프레임워크와 k-클리크 호모모르피즘에 대한 거의 최적의 하한값을 사용한다.

ABSTRACT

The task of computing homomorphisms between two finite relational structures $\mathcal{A}$ and $\mathcal{B}$ is a well-studied question with numerous applications. Since the set $\operatorname{Hom}(\mathcal{A},\mathcal{B})$ of all homomorphisms may be very large having a method of representing it in a succinct way, especially one which enables us to perform efficient enumeration and counting, could be extremely useful. One simple yet powerful way of doing so is to decompose $\operatorname{Hom}(\mathcal{A},\mathcal{B})$ using union and Cartesian product. Such data structures, called d-representations, have been introduced by Olteanu and Zavodny in the context of database theory. Their results also imply that if the treewidth of the left-hand side structure $\mathcal{A}$ is bounded, then a d-representation of polynomial size can be found in polynomial time. We show that for structures of bounded arity this is optimal: if the treewidth is unbounded then there are instances where the size of any d-representation is superpolynomial. Along the way we develop tools for proving lower bounds on the size of d-representations, in particular we define a notion of reduction suitable for this context and prove an almost tight lower bound on the size of d-representations of all $k$-cliques in a graph.

연구 동기 및 목표

• 구조 A에서 B로의 호모모르피즘 집합이 압축된 다항크기의 d-표현을 갖는 조건을 규명하는 것.
• Hom(A, B)를 효율적인 열거 및 세기 작업을 지원하는 방식으로 표현하는 데 있어 복잡도를 해결하는 것.
• 트리너비와 어리티에 기반한 d-표현의 다항시간 해법과 비다항시간 해법 간의 엄밀한 이분법을 설정하는 것.
• 특히 감소와 k-클리크 구성 기법을 사용하여 d-표현에 대한 새로운 하한 기법을 개발하는 것.

제안 방법

• d-표현을 유니언(∪)과 카티esian 곱(×)을 사용하는 회로로 정의하여 Hom(A, B)를 압축적으로 표현한다.
• ∪-게이트가 서로소 집합을 조합하는 결정론적 d-표현을 정의함으로써 효율적인 세기 및 열거가 가능하다.
• 미니처 및 거의미니처 관계를 기반으로 한 d-표현 크기에 특화된 새로운 감소 개념을 개발한다.
• k-클리크 호모모르피즘의 d-표현에 대해 거의 최적의 하한값 Ω(m^{(k+2)/4r} / log^{3k+2}/2r(m))을 증명한다.
• 배제된 격자 정리와 미니처 이론적 추론을 사용하여 트리너비와 표현 복잡도 간의 관계를 규명한다.
• 하나의 구조 계층(Gid, Gk, K_{(k+2)/2})을 사용하여 클리크에서의 하한값을 일반 구조로 전이한다.

실험 결과

연구 질문

• RQ1 A에서 B로의 호모모르피즘 집합이 다항크기의 d-표현을 갖는 조건은 무엇인가?
• RQ2 구조 A의 왼쪽 구조에서 트리너비가 유계임이 다항크기의 d-표현을 갖는 데 필수적이고 충분한 조건인가?
• RQ3 트리너비가 무한할 경우 d-표현 크기에 대한 정확한 하한값은 무엇인가?
• RQ4 k-클리크 호모모르피즘 문제는 이 설정에서 하한값을 증명하는 데 완전 문제로 작용할 수 있는가?
• RQ5 미니처 및 거의미니처 관계는 d-표현 크기와 어떻게 관련이 있는가?

주요 결과

• 유계-어리티 클래스의 구조에 대해, Hom(A, B)의 다항크기 d-표현이 존재하는 것은 A의 트리너비가 유계일 때에만 가능하다.
• 트리너비가 무한할 경우, Hom(A, B)의 어떤 d-표현이라도 초다항 크기여야 하며, 비결정론적 표현일지라도 마찬가지다.
• 논문은 k-클리크 호모모르피즘의 d-표현에 대해 Ω(m^{(k+2)/4r} / log^{3k+2}/2r(m))의 하한값을 확립하였으며, 이는 알려진 상한값과 거의 일치한다.
• 증명 과정에서 거의미니처 관계를 기반으로 한 새로운 감소 프레임워크를 도입하여, G가 H의 거의미니처이면 H에 대한 하한값이 G로부터 전이됨을 보였다.
• k-클리크 표현의 하한값은 거의 최적이며, 오직 로그 인자에서의 갭만 존재한다.
• 결과적으로, 다항크기의 압축된 d-표현을 위해 트리너비가 유계일 필요가 있으며, 이는 유계-어리티 영역에서 최적임을 의미하며, 핵심적인 복잡도 갭을 해결한다.