[논문 리뷰] Bi-Arc Digraphs and Conservative Polymorphisms

Pavol Hell, Arash Rafiey외 1명|arXiv (Cornell University)|2016. 08. 11.

Advanced Graph Theory Research참고 문헌 46인용 수 7

한 줄 요약

이 논문은 간격 그래프의 광범위한 일반화인 이-호프(digraph)를 도입하고, 이를 위한 다항식 시간 인식 알고리즘을 제공한다. 이는 이-호프(digraph)가 정합성 있는 반순서 다항형식을 갖는 정확히 그들임을 입증하며, 장기간 열려 있던 이 클래스에 대한 인식 문제를 해결하는 금기성 특성(Forbidden obstruction characterization)을 제시한다. 주요 기여는 정합성 있는 반순서 다항형식을 갖는 관계 구조의 인식 복잡도에 대한 완전한 이분법 분류를 제공하는 것으로, 이 문제는 모든 관계가 이원관계를 제외하고 일원관계일 경우에만 다항식 시간 내에 해결 가능하다는 것을 보여준다.

ABSTRACT

In this paper we study the class of bi-arc digraphs, important from two seemingly unrelated perspectives. On the one hand, they are precisely the digraphs that admit certain polymorphisms of interest in the study of constraint satisfaction problems; on the other hand, they are a very broad generalization of interval graphs. Bi-arc digraphs is the class of digraphs that admit conservative semilattice polymorphisms. There is much interest in understanding structures that admit particular types of polymorphisms, and especially in their recognition algorithms. (Such problems are referred to as metaproblems.) Surprisingly, the class of bi-arc digraphs also describes the class of digraphs that admit certain other kinds of conservative polymorphisms. Thus solving the recognition problem for bi-arc digraphs solves the metaproblem for digraphs for several types of conservative polymorphisms. The complexity of the recognition problem for digraphs with conservative semilattice polymorphisms was an open problem, while it was known to be NP-complete for certain more complex relational structures. We complement our result by providing a complete dichotomy classification of which general relational structures have polynomial or NP-complete recognition problems for the existence of conservative semilattice polymorphisms. Bi-arc digraphs also generalizes the class of interval graphs; in fact it reduces to the class of interval graphs for symmetric and reflexive digraphs. It is much broader than interval graphs and includes other generalizations of interval graphs such as co-threshold tolerance graphs and adjusted interval digraphs. Yet, it is still a reasonable extension of interval graphs, in the sense that it keeps much of the appeal of interval graphs. Our main result is a forbidden obstruction characterization of, and a polynomial recognition for, the class of bi-arc digraphs.

연구 동기 및 목표

• 정합성 있는 반순서 다항형식을 갖는 다이그래프의 클래스를 특성화하는 것.
• 이-호프(digraph)에 대한 금기성 특성(Forbidden obstruction characterization)과 다항식 시간 인식 알고리즘을 제공하는 것.
• 관계 구조에서 정합성 있는 반순서 다항형식의 존재를 인식하는 문제의 복잡도를 해결하는 것.
• 기존의 알려진 클래스들인 간격 그래프, 코-임계경계 그래프, 조정된 간격 다이그래프 등을 하나의 프레임워크로 통합하고 일반화하는 것.
• 정합성 있는 반순서 다항형식을 갖는 구조의 인식 복잡도에 대한 이분법 분류를 수립하는 것.

제안 방법

• 정점의 순서쌍과 그들의 구조적 제약 조건을 분석하기 위해 쌍 다이그래프 구조를 사용한다.
• 보조 구조인 H+의 개념을 도입하고, 이 구조에서의 산책과 순환을 연구하여 금기성 요소를 탐지한다.
• 두 단계 알고리즘을 적용한다: 먼저 간선 제약 조건을 통해 잠재적 최소 순서를 식별하고, 이후 일致성 검사를 통해 이를 정밀화한다.
• 다항형식에 변환을 적용하여 최소 순서 행동을 강제함으로써 결합법칙과 정합성을 확보한다.
• 삼항관계에서 고차원 관계로의 감소를 적용하여, 고차원 관계에 대해 NP-완전성을 증명한다.
• 네-동치 및 네-제한 산책을 기반으로 한 금기성 구조 특성화를 사용하여 금기성 요소를 정의한다.

실험 결과

연구 질문

• RQ1 정합성 있는 반순서 다항형식을 갖지 못하는 다이그래프를 방지하는 완전한 금기성 요소 집합은 무엇인가?
• RQ2 정합성 있는 반순서 다항형식을 갖는 다이그래프의 인식 문제는 다항식 시간 내에 해결 가능한가?
• RQ3 이-호프(digraph)는 간격 그래프 및 코-임계경계 그래프와 같은 다른 알려진 그래프 클래스와 어떻게 관련이 있는가?
• RQ4 어떤 관계 구조에서 정합성 있는 반순서 다항형식의 존재가 다항식 시간 내에 결정 가능한가?
• RQ5 정합성 있는 반순서 다항형식을 갖는 고차원 관계 구조의 인식 문제의 복잡도는 무엇인가?

주요 결과

• 이-호프(digraph)의 클래스는 정확히 정합성 있는 반순서 다항형식을 갖는 다이그래프의 집합이다.
• H+에서의 산책과 순환 분석에 기반한 두 단계 접근법을 사용하여, 이-호프(digraph)에 대한 다항식 시간 인식 알고리즘을 제공한다.
• 모든 관계가 이원관계를 제외하고 일원관계일 경우에만, 정합성 있는 반순서 다항형식의 인식 문제가 다항식 시간 내에 해결 가능하다.
• 고차원 관계 구조의 경우, 인식 문제가 NP-완전하다.
• 모든 고차원에서 정합성 있는 순환 또는 완전 대칭 다항형식을 갖는 다이그래프의 클래스는 이-호프(digraph)의 클래스와 일치한다.
• 본 논문은 완전한 이분법 분류를 제공한다: 정합성 있는 반순서 다항형식의 인식 문제는 모든 관계가 이원관계를 제외하고 일원관계일 경우에만 다항식 시간 내에 해결 가능하며, 그 외의 경우 NP-완전하다.