[논문 리뷰] Hybrid (V)CSPs and algebraic reductions.

Rustem Takhanov|arXiv (Cornell University)|2015. 06. 22.

Advanced Graph Theory Research참고 문헌 26인용 수 3

한 줄 요약

이 논문은 유한 대수 $\mathfrak{B}$ 에 따라 인덱싱된 일반화된 업그레이드된 언어 구조 $\bGamma^{\mathfrak{B}}$ 를 도입하여 고정 템플릿 CSP 를 더 단순한 사례로 감소시킨다. 자연스러운 조건 하에서 $\textsc{CSP}(\bGamma)$ 가 $\textsc{CSP}(\bGamma^{\mathfrak{B}})$ 로 다항시간 튜링 감소 가능하다는 것을 증명하며, 다형성과 연결하여 Feder-Vardi 분할 추측을 해결하는 데 새로운 도구를 제공한다.

ABSTRACT

Constraint Satisfaction Problem (CSP) can be stated as computing a homomorphism $\mbox{$\bR ightarrow \bGamma$}$ between two relational structures, e.g. between two directed graphs. Recently, the {\em hybrid} setting, where both sides are restricted simultaneously, attracted some attention. It assumes that the right side structure $\bGamma$ is fixed and $\bR$ belongs to a class of relational structures $\mathcal{H}$ (called a {\em structural restriction}) that is, additionally, {\em closed under inverse homomorphisms}. The key tool that connects hybrid CSPs with fixed-template CSPs is a construction called a lifted language, namely a multi-sorted language $\bGamma_{\bR}$ that can be constructed from an input $\bR$. The tractability of a language $\bGamma_{\bR}$ for any input $\bR\in\mathcal{H}$ is a necessary condition for tractability of the hybrid problem. First we investigate the case when the last property is not only necessary, but also is sufficient. It turns out that in the latter case, if Bulatov-Jeavons-Krokhin characterization of tractable constraint languages is correct, a structural restriction $\mathcal{H}$ is tractable if and only if it consists of structures that can be homomorphically mapped to some fixed finite relational structure $\bGamma'$ (that depends only on $\bGamma$). In the second part we generalize the construction of $\bGamma'$ and introduce a finite structure $\bGamma^{\mathfrak{B}}$, indexed by some set of finite algebras $\mathfrak{B}$. We prove that under some natural conditions on $\mathfrak{B}$, $ extsc{CSP}(\bGamma)$ is polynomial-time Turing reducible to $ extsc{CSP}(\bGamma^{\mathfrak{B}})$ and some polymorphisms of $\bGamma$ have analogs in $\pol(\bGamma^{\mathfrak{B}})$. This construction introduce a new set of algorithms for fixed-template CSPs and we suggest it as a tool to approach Feder-Vardi dichotomy conjecture.

연구 동기 및 목표

• 구조적 제약 조건 하에서 하이브리드 CSP 의 가용성에 대해 업그레이드된 언어 $\bGamma_{\bR}$ 의 가용성이 必요하고 충분한 조건를 조사하는 것.
• 유한 구조 $\bGamma'$ 의 구성 방식을 더 넓은 범주인 유한 대수 $\mathfrak{B}$ 에 따라 인덱싱된 구조 $\bGamma^{\mathfrak{B}}$ 로 일반화하는 것.
• 유한 대수 $\mathfrak{B}$ 에 자연스러운 조건이 만족될 경우 $\textsc{CSP}(\bGamma)$ 에서 $\textsc{CSP}(\bGamma^{\mathfrak{B}})$ 로 다항시간 튜링 감소를 확립하는 것.
• 다형성의 성질이 $\pol(\bGamma^{\mathfrak{B}})$ 에서도 유지됨을 보이며, 구조적 및 대수적 성질을 보존하는 것.
• CSP 이론에서 Feder-Vardi 분할 추측을 해결하는 데 기여할 수 있는 새로운 알고리즘 도구로 $\bGamma^{\mathfrak{B}}$ 를 제안하는 것.

제안 방법

• 구조적 제약 조건 $\mathcal{H}$ 가 역 호모모르피즘에 대해 닫혀 있을 경우, 입력 구조 $\bR$ 에서 다중 정렬 업그레이드된 언어 $\bGamma_{\bR}$ 를 구성하는 것.
• 유한 대수 $\mathfrak{B}$ 의 집합에 따라 인덱싱된 유한 관계 구조 $\bGamma^{\mathfrak{B}}$ 를 도입하여 이전의 $\bGamma'$ 구성 방식을 일반화하는 것.
• 유한 대수 $\mathfrak{B}$ 에 자연스러운 조건(예: 특정 항목 연산에 대해 닫혀 있을 경우)이 만족될 경우 $\textsc{CSP}(\bGamma)$ 에서 $\textsc{CSP}(\bGamma^{\mathfrak{B}})$ 로 다항시간 튜링 감소를 확립하는 것.
• 다형성의 성질이 $\pol(\bGamma^{\mathfrak{B}})$ 에서도 유지됨을 보이며, 대수적 불변성을 보존하는 것.
• 업그레이드된 구조 $\bGamma^{\mathfrak{B}}$ 를 사용하여 복잡한 CSP 사례를 단순한 사례로 시뮬레이션하고 감소시키며 알고리즘 탐색을 가능하게 하는 것.
• Bulatov-Jeavons-Krokhin 특성화를 활용하여, 특성화가 올바르다고 가정할 경우 구조적 제약 조건 $\mathcal{H}$ 를 고정된 $\bGamma'$ 로의 호모모르피즘 사상과 연결하는 것.

실험 결과

연구 질문

• RQ1 하이브리드 CSP 의 가용성에 대해 업그레이드된 언어 $\bGamma_{\bR}$ 의 가용성이 必요하고 충분한 조건는 무엇인가?
• RQ2 유한 관계 구조를 초월하여 유한 대수 $\mathfrak{B}$ 를 통한 인덱싱을 포함하는 방식으로 $\bGamma'$ 의 구성 방식을 일반화할 수 있는가?
• RQ3 $\textsc{CSP}(\bGamma)$ 가 적절히 선택된 $\mathfrak{B}$ 에 대해 $\textsc{CSP}(\bGamma^{\mathfrak{B}})$ 로 다항시간 튜링 감소 가능한가?
• RQ4 다형성의 성질이 $\bGamma$ 에서 $\pol(\bGamma^{\mathfrak{B}})$ 로 이식 가능하며, 이로 인해 대수적 구조가 어떻게 보존되는가?
• RQ5 $\bGamma^{\mathfrak{B}}$ 의 구성이 Feder-Vardi 분할 추측을 해결하는 데 실현 가능한 길로 기능할 수 있는가?

주요 결과

• Bulatov-Jeavons-Krokhin 특성화가 올바르다고 가정할 경우, 하이브리드 CSP 환경에서 구조적 제약 조건 $\mathcal{H}$ 의 가용성은 $\mathcal{H}$ 의 모든 구조가 고정된 유한 관계 구조 $\bGamma'$ 로 호모모르피즘 사상 가능할 때와 동치이다.
• 구조 $\bGamma^{\mathfrak{B}}$ 는 $\bGamma'$ 를 더 넓은 범위의 유한 대수 $\mathfrak{B}$ 에 따라 인덱싱함으로써 일반화된 구성이다.
• 유한 대수 $\mathfrak{B}$ 에 자연스러운 조건이 만족될 경우 $\textsc{CSP}(\bGamma)$ 는 $\textsc{CSP}(\bGamma^{\mathfrak{B}})$ 로 다항시간 튜링 감소 가능하며, 이는 복잡한 CSP 를 감소시키는 알고리즘적 접근을 가능하게 한다.
• 다형성의 성질이 $\pol(\bGamma^{\mathfrak{B}})$ 에서도 유지되며, 감소 과정에서 핵심적인 대수적 성질이 보존된다.
• $\bGamma^{\mathfrak{B}}$ 의 구성은 고정 템플릿 CSP 를 탐색하는 데 새로운 프레임워크를 제공하며, Feder-Vardi 분할 추측에 접근하는 데 도구로 활용될 수 있다.
• 업그레이드된 언어 $\bGamma_{\bR}$ 는 하이브리드 CSP 의 가용성에 필수적인 조건이며, 본 논문은 이 조건이 동시에 충분한 경우를 규명한다.