[논문 리뷰] Ordering without forbidden patterns

Pavol Hell, Bojan Mohar외 1명|arXiv (Cornell University)|2014. 08. 07.

Advanced Graph Theory Research참고 문헌 19인용 수 5

한 줄 요약

이 논문은 최대 세 개의 정점으로 구성된 패턴 집합 𝒮에서 금지된 순서형 패턴이 없는 순서를 갖는 그래프인지 여부를 다항시간 내에 확인하는 인증 가능한 알고리즘을 제시한다. 주요 기여는 이러한 패턴 회피로 정의되는 모든 그래프 클래스에 대해 통합된 금지된 부분구조 특성화를 제공하는 것으로, 이는 이분 그래프, 간격 그래프, 순환 그래프, 비교 가능성 그래프 등과 같은 잘 알려진 그래프 클래스를 포함하며, 이러한 문제들의 복잡도가 모두 다항시간 내에 해결 가능하다는 것을 해결한다.

ABSTRACT

Let F be a set of ordered patterns, i.e., graphs whose vertices are linearly ordered. An F-free ordering of the vertices of a graph H is a linear ordering of V(H) such that none of patterns in F occurs as an induced ordered subgraph. We denote by ORD(F) the decision problem asking whether an input graph admits an F-free ordering; we also use ORD(F) to denote the class of graphs that do admit an F-free ordering. It was observed by Damaschke (and others) that many natural graph classes can be described as ORD(F) for sets F of small patterns (with three or four vertices). Damaschke also noted that for many sets F consisting of patterns with three vertices, ORD(F) is polynomial-time solvable by known algorithms or their simple modifications. We complete the picture by proving that all these problems can be solved in polynomial time. In fact, we provide a single master algorithm, i.e., we solve in polynomial time the problem $ORD_3$ in which the input is a set F of patterns with at most three vertices and a graph H, and the problem is to decide whether or not H admits an F-free ordering of the vertices. Our algorithm certifies non-membership by a forbidden substructure, and thus provides a single forbidden structure characterization for all the graph classes described by some ORD(F) with F consisting of patterns with at most three vertices. Many of the problems ORD(F) with F consisting of larger patterns have been shown to be NP-complete by Duffus, Ginn, and Rodl, and we add two simple examples. We also discuss a bipartite version of the problem, BORD(F), in which the input is a bipartite graph H with a fixed bipartition of the vertices, and we are given a set F of bipartite patterns. We also describe some examples of digraph ordering problems and algorithms. We conjecture that for every set F of forbidden patterns, ORD(F) is either polynomial or NP-complete.

연구 동기 및 목표

• 최대 세 개의 정점으로 구성된 순서형 패턴이 금지된 그래프 순서 문제의 복잡도를 규명하기 위해.
• 모든 이러한 문제를 다루는 단일 통합 인증 가능한 알고리즘을 제공하기 위해.
• 이분 그래프, 간격 그래프, 순환 그래프 등 잘 알려진 그래프 클래스를 포괄하는 금지된 부분구조 특성화를 제공하기 위해.
• 이론을 최대 네 개의 정점으로 구성된 이분 그래프 패턴으로 확장하여 유사한 다항시간 해결책을 도출하기 위해.
• 모든 이러한 패턴 회피 문제들이 다항시간 내에 해결 가능하거나 NP-완전임을 추측하기 위해.

제안 방법

• 알고리즘은 입력 그래프에 금지된 부분구조가 존재하는지 확인하는 인증 가능한 알고리즘으로 작동한다.
• 이 문제를 순서 제약 조건을 포함하는 2-SAT 유사 제약 만족 문제로 환원한다.
• 금지된 집합 𝒮의 패턴을 포함하지 않도록 방지하는 근사적 정점 순서 전략을 사용한다.
• 유효한 순서가 존재하지 않을 경우, 최소한의 금지된 부분구조를 식별하여 비속성의 증거를 구성한다.
• 이분 그래프의 경우, 최대 네 개의 정점으로 구성된 순서형 이분 패턴으로 확장되며, 다항 시간 실행 시간을 유지한다.
• 이 접근 방식은 방향 그래프 패턴으로 일반화되며, 가역 쌍을 통한 장애물 특성화의 프레임워크를 제공한다.

실험 결과

연구 질문

• RQ1 최대 세 개의 정점으로 구성된 순서형 패턴으로 정의되는 모든 그래프 클래스는 다항시간 내에 식별 가능한가?
• RQ2 모든 이러한 그래프 클래스를 통합된 금지된 부분구조 특성화로 포괄하는 단일 인증 가능한 알고리즘이 존재하는가?
• RQ3 금지된 패턴의 크기가 네 이상일 경우 순서 문제의 복잡도는 어떻게 되는가?
• RQ4 이 프레임워크는 최대 네 개의 정점으로 구성된 순서형 패턴을 가진 이분 그래프로 확장 가능한가?
• RQ5 모든 금지된 패턴 집합에 대해 순서 문제의 복잡도가 다항시간 또는 NP-완전임이 보장되는가?

주요 결과

• 최대 세 개의 정점으로 구성된 순서형 패턴 집합 𝒮에 대해 형식 Ord(𝒮)로 표현되는 모든 문제들은 다항시간 내에 해결 가능하다.
• 논문은 모든 𝒮 ⊆ 𝒮₃에 대해 그래프가 𝒮-자유 순서를 갖는지 결정하는 문제 Ord₃에 대해 단일 인증 가능한 알고리즘을 제공한다.
• 이 알고리즘은 이분, 스플릿, 간격, 적절한 간격, 순환, 비교 가능성 그래프의 인식을 통합적으로 기술하는 금지된 부분구조 특성화를 도출한다.
• 이분 그래프의 경우, 유사한 인증 가능한 알고리즘을 사용하여 문제 BiOrd₄ 역시 다항시간 내에 해결된다.
• 논문은 더 큰 패턴에 대해 NP-완전인 경우의 두 가지 단순한 예를 제시하여, 복잡도의 경계가 세 또는 네를 초과함에 따라 존재함을 확인한다.
• 저자들은 이러한 패턴 회피 문제들이 모두 P에 속하거나 NP-완전임을 추측하며, 이는 복잡도 측면에서 이분법이 존재함을 시사한다.