[논문 리뷰] Compatibility of Partitions, Hierarchies, and Split Systems.

Marc Hellmuth, David Schaller외 1명|arXiv (Cornell University)|2021. 04. 29.

Rough Sets and Fuzzy Logic참고 문헌 14인용 수 4

한 줄 요약

이 논문은 분할과 계층 구조 또는 나누기 유사 분할 체계 간의 호환성 여부를 판단하기 위한 특성 기반 기법과 선형 시간 알고리즘을 제시한다. 특히, 분할과 호환되는 개선된 트리가 존재하는지 여부에 초점을 맞춘다. 단일 분할에 대한 호환성은 선형 시간 내에 해결 가능하지만, 다수의 분할이 포함될 경우 문제는 NP-완전이 된다. 그러나 분할의 수를 매개변수로 삼을 경우, 고정 매개변수 복잡도(fixed-parameter tractable)가 성립한다.

ABSTRACT

The question whether a partition $\mathcal{P}$ and a hierarchy $\mathcal{H}$ or a tree-like split system $\mathfrak{S}$ are compatible naturally arises in a wide range of classification problems. In the setting of phylogenetic trees, one asks whether the sets of $\mathcal{P}$ coincide with leaf sets of connected components obtained by deleting some edges from the tree $T$ that represents $\mathcal{H}$ or $\mathfrak{S}$, respectively. More generally, we ask whether a refinement $T^*$ of $T$ exists such that $T^*$ and $\mathcal{P}$ are compatible. We report several characterizations for (refinements of) hierarchies and split systems that are compatible with (sets of) partitions. In addition, we provide a linear-time algorithm to check whether refinements of trees and a given partition are compatible. The latter problem becomes NP-complete but fixed-parameter tractable if a set of partitions is considered instead of a single partition. We finally explore the close relationship of the concept of compatibility and so-called Fitch maps.

연구 동기 및 목표

• 계통 발생 분류에서 주어진 계층 구조 또는 분할 체계와 분할 간의 호환성 여부를 판단하기 위해.
• 연결된 성분의 잎 집합과 일치하는 분할이 되도록 개선된 트리의 존재 조건을 규명하기 위해.
• 여러 분할을 고려할 경우 호환성 검사의 계산 복잡도를 탐색하기 위해.
• 호환성과 알려진 계통 발생 재구성 개념인 Fitch 지도 간의 연결 고리를 설정하기 위해.

제안 방법

• 나무의 구조적 성질과 간선 제거를 활용하여 분할과 계층 구조 또는 분할 체계 간의 호환성 특성을 제안한다.
• 계층 구조 또는 분할 체계의 개선된 트리 표현과 단일 분할 간의 호환성을 검사하는 선형 시간 알고리즘을 도입한다.
• 나무 분해와 간선 제거 분석을 활용하여 분할 원소와 일치하는 잎 집합을 가진 연결 성분을 식별한다.
• 여러 분할을 고려할 경우 발생하는 NP-완전 문제를 다루기 위해 고정 매개변수 복잡도 기법을 적용한다.
• 호환성과 지ap 기반 제약 조건 간의 구조적 및 알고리즘적 연결 고리를 확립하기 위해 Fitch 지도 이론을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 분할이 주어진 계층 구조 또는 분할 체계와 호환되는가?
• RQ2 간선 제거 후 연결 성분의 잎 집합과 일치하는 분할 집합을 가지는 트리의 개선이 가능한가?
• RQ3 여러 분할이 포함될 경우 호환성 검사를 확인하는 데 계산 복잡도는 어떻게 되는가?
• RQ4 계통 발생 트리의 맥락에서 호환성 관계는 Fitch 지도와 어떻게 관련되어 있는가?

주요 결과

• 단일 분할과 계층 구조 또는 분할 체계 간의 호환성 검사를 위한 선형 시간 알고리즘이 존재한다.
• 단일 분할에 대한 호환성은 선형 시간 내에 해결 가능하여 실용적 응용에 있어 효율적인 처리 가능성을 보여준다.
• 여러 분할을 고려할 경우 문제는 NP-완전이 되어 계산 복잡도가 증가함을 시사한다.
• NP-완전성에도 불구하고 분할의 수를 매개변수로 삼을 경우 문제는 여전히 고정 매개변수 복잡도가 성립한다.
• 호환성과 Fitch 지도 사이에 밀접한 구조적 관계가 확립되어 있으며, 이는 새로운 알고리즘적 통찰을 가능하게 한다.