[논문 리뷰] Space complexity of list H-colouring: a dichotomy

László Egri, Pavol Hell외 2명|arXiv (Cornell University)|2013. 08. 01.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 방향그래프 템플릿 H에서 리스트 호모모르피즘 문제 LHOM(H)에 대해 로그공간 대 비결정성 로그공간(NL) 난이도의 이분법을 설정한다. LHOM(H)가 로그공간에서 해결 가능할 조건은 H에 '순환 N'이라는 구조가 포함되어 있지 않을 때이며, 그렇지 않으면 NL-하드임을 증명한다. 이 결과는 Larose와 Tesson의 추측을 확인하며, H 내 순환 N을 탐지하는 다항시간 알고리즘을 제공한다.

ABSTRACT

The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A. Bulatov (2003). We augment this result by showing that for digraph templates H, every conservative CSP, denoted LHOM(H), is solvable in logspace or is hard for NL. More precisely, we introduce a digraph structure we call a circular N, and prove the following dichotomy: if H contains no circular N then LHOM(H) admits a logspace algorithm, and otherwise LHOM(H) is hard for NL. Our algorithm operates by reducing the lists in a complex manner based on a novel decomposition of an auxiliary digraph, combined with repeated applications of Reingold's algorithm for undirected reachability (2005). We also prove an algebraic version of this dichotomy: the digraphs without a circular N are precisely those that admit a finite chain of polymorphisms satisfying the Hagemann-Mitschke identities. This confirms a conjecture of Larose and Tesson (2007) for LHOM(H). Moreover, we show that the presence of a circular N can be decided in time polynomial in the size of H.

연구 동기 및 목표

• 보존형 CSP에 대한 Larose와 Tesson의 정밀한 복잡도 추측을 해결하기 위해, 방향그래프 템플릿에서의 LHOM(H)에 대해.
• 어떤 리스트 호모모르피즘 문제가 로그공간에서 해결 가능하고 어떤 것이 NL-하드인지 특성화하기 위해.
• 두 복잡도 클래스를 분리하는 구조적 금지 부분그래프인 '순환 N'을 규명하기 위해.
• 주어진 방향그래프 H에 대해 순환 N의 존재를 다항시간에 탐지할 수 있는 알고리즘을 제공하기 위해.
• 순환 N이 없는 방향그래프가 유한한 Hagemann-Mitschke 다항형식의 사슬을 가진다는 대수적 추측을 확인하기 위해.

제안 방법

• 세 개의 산책로와 피하기 조건 및 간선 방향 제약 조건을 정의한 특정한 방향그래프 구조인 '순환 N'의 개념을 도입한다.
• 보조 방향그래프의 새로운 분해를 사용하여, LHOM(H)가 로그공간에 속해 있는 것은 H에 순환 N이 포함되어 있지 않을 때에만임을 증명한다.
• 제임스 레인골드의 무방향 도달 가능성에 대한 로그공간 알고리즘을 제안된 로그공간 알고리즘의 핵심 서브루틴으로 적용한다.
• 잠재적 순환 N 구조를 인코딩하기 위해 색상(녹색, 파란색, Café 갈색)을 사용하는 색상이 칠해진 삼중 방향그래프 H++를 구성한다.
• 특정 정점 삼중세트 사이의 경로 제약 조건(파란색 간선 이전에 갈색 간선이 없음)을 통해 H++에서의 도달 가능성 분석을 통해 순환 N의 존재를 탐지한다.
• 색상 제약이 있는 경로를 통해 H++에서의 도달 가능성 검사를 통해 순환 N 탐지에 다항시간 알고리즘을 수립한다.

실험 결과

연구 질문

• RQ1 방향그래프 H의 어떤 구조적 조건에서 리스트 호모모르피즘 문제 LHOM(H)가 로그공간에서 해결 가능할 수 있는가?
• RQ2 보존형 CSP에 대해 LHOM(H)의 NL-난이도를 특성화하는 금지 부분구조가 존재하는가?
• RQ3 H에 순환 N이 존재하는지 다항시간에 탐지할 수 있는가?
• RQ4 H에 순환 N이 존재하지 않을 경우, Hagemann-Mitschke 다항형식의 유한한 사슬이 존재하는가?
• RQ5 LHOM(H)의 복잡도 분류는 P/NP-완전성 이외에 로그공간과 NL-난이도를 포함하여 더욱 정교화될 수 있는가?

주요 결과

• LHOM(H)는 H에 순환 N 구조가 포함되어 있지 않을 때에만 로그공간에 속한다.
• H에 순환 N이 포함되어 있으면 LHOM(H)는 NL-하드임이 증명되어 로그공간과 NL-하드성 사이의 완전한 이분법이 확립된다.
• H++에서 색상 제약이 있는 경로의 도달 가능성 검사를 통해 |V(H)|에 대해 다항시간에 H 내 순환 N의 존재를 탐지할 수 있다.
• H에 순환 N이 존재하지 않으면 Hagemann-Mitschke 다항형식의 유한한 사슬이 존재함이 등장하며, 이는 Larose와 Tesson의 대수적 추측을 확인한다.
• H에 순환 N이 없을 경우 LHOM(H)는 일阶논리에서 정의 가능하며, 추가로 독립 간선과 자전거가 없으면 L에 속한다.
• 순환 N을 통한 특성화는 이전의 금지 부분구조(예: DAT와 자전거)에 대한 결과들을 통합하고 정교화한다.