[논문 리뷰] Regular networks are determined by their trees

Stephen J. Willson|arXiv (Cornell University)|2009. 02. 17.

Interconnection Networks and Systems참고 문헌 17인용 수 3

한 줄 요약

이 논문은 정규형 계통수 네트워크가 그가 표시하는 루트가 있는 트리의 집합에 의해 유일하게 결정됨을 증명한다. 이는 트리 일致 조건을 사용하여 클러스터와 그 적절한 자식을 반복적으로 식별함으로써 전체 네트워크를 복원하는 구조적 알고리즘인 MaximumProperChild를 제안하며, 정규형 네트워크에 대해 Tr(N) = Tr(M)이면 N = M임을 입증한다.

ABSTRACT

A rooted acyclic digraph N with labelled leaves displays a tree T when there exists a way to select a unique parent of each hybrid vertex resulting in the tree T. Let Tr(N) denote the set of all trees displayed by the network N. In general, there may be many other networks M such that Tr(M) = Tr(N). A network is regular if it is isomorphic with its cover digraph. This paper shows that if N is regular, there is a procedure to reconstruct N given Tr(N). Hence if N and M are regular networks and Tr(N) = Tr(M), it follows that N = M, proving that a regular network is uniquely determined by its displayed trees.

연구 동기 및 목표

• 계통수 네트워크가 표시하는 트리의 집합으로부터 유일하게 재구성될 수 있는 조건을 규명하는 것.
• 비정규형 네트워크가 동일한 표시 트리를 공유할 수 있어 재구성이 유일하지 않을 수 있는 문제를 다루는 것.
• 유일한 클러스터와 경로 기반 클러스터 포함 관계를 갖는 정규형 네트워크가 표시하는 트리들에 의해 유일하게 결정됨을 증명하는 것.
• Tr(N), 즉 표시 트리의 집합으로부터 전체 네트워크 구조를 복원할 수 있는 구조적 알고리즘을 개발하는 것.
• 유전자 트리로부터 네트워크 재구성이 가능하고 유일한 조건이 되는 생물학적 및 수학적 조건을 명확히 하는 것.

제안 방법

• 정규형 네트워크를 각 정점이 고유한 후손 클러스터를 가지며, 클러스터 포함 관계가 정확히 유도 경로 존재와 일치하는 네트워크로 정의한다.
• 클러스터 C에 대해 '적절한 트리'(proper tree)의 개념을 도입한다: C가 나타나고 그 부모가 N의 클러스터인 Tr(N) 내의 트리.
• 각 클러스터 C에 대해, C가 나타나고 그 부모가 N의 클러스터인 트리들의 집합인 ProperTr(C)를 계산한다.
• C의 적절한 트리에서의 자식 집합을 ProperCh(C)로 정의하고, 이를 바탕으로 최대의 자식 집합인 MaxProperCh(C)를 추출한다.
• MaxProperCh(C)에 해당하는 정점과 C에서 각 최대 자식으로 향하는 간선을 추가함으로써 네트워크를 점진적으로 구성한다. 이는 원래 네트워크의 구조와 일致하도록 보장한다.
• 최종적으로 생성된 네트워크 M_k가 원래 정규형 네트워크 N과 동형임을 증명함으로써, Tr(N)으로부터 N을 재구성함을 입증한다.

실험 결과

연구 질문

• RQ1 계통수 네트워크는 표시하는 트리들의 집합으로부터 유일하게 재구성될 수 있는가?
• RQ2 표시 트리 집합 Tr(N)이 원래 네트워크 N을 복원하는 데에 충분한 조건은 무엇인가?
• RQ3 유일한 클러스터와 경로 기반 클러스터 포함 관계를 갖는 정규성 조건이 Tr(N)으로부터의 유일한 재구성 보장을 하는가?
• RQ4 Tr(N)으로만 이루어진 정규형 네트워크를 복원할 수 있는 구조적 알고리즘이 존재하는가?
• RQ5 정규성 조건이 성립하지 않을 경우 어떻게 되는가? 동일한 Tr(N)을 공유하는 비정규형 네트워크가 존재할 수 있는가?

주요 결과

• MaximumProperChild 알고리즘은 정규형 네트워크 N을 그가 표시하는 트리 집합 Tr(N)으로부터 성공적으로 재구성한다.
• 두 정규형 네트워크 M과 N이 동일한 표시 트리 집합을 가진다면(Tr(M) = Tr(N)), M과 N은 동형이다(M = N), 이는 유일성의 증명이다.
• 비정규형 네트워크에 대해서는 이 방법이 실패함을 그림 1을 통해 보여주며, 두 개의 서로 다른 네트워크 M과 N이 동일한 Tr(N) = {b, c}를 공유함을 시사한다.
• 이 방법은 각 클러스터 C에 대해 '적절한 트리'를 식별하는 데 의존하며, C의 부모가 N의 유효한 클러스터인 경우에만 고려한다.
• 알고리즘은 비적절한 트리에서 유래한 잘못된 자식을 피하기 위해, 적절한 트리들에서의 출현을 분석함으로써 각 클러스터의 최대 자식 집합을 정확히 식별한다.
• 최종적으로 재구성된 네트워크 M_k는 원래 네트워크 N과 동형이며, 정점과 간선이 N의 클러스터와 부모-자식 관계와 정확히 일치한다.