[논문 리뷰] The Graceful Tree Conjecture: a class of graceful diameter-6 trees

Matthew C. Superdock|arXiv (Cornell University)|2014. 03. 06.

Graph Labeling and Dimension Problems참고 문헌 25인용 수 6

한 줄 요약

이 논문은 세 가지 새로운 기법을 도입함으로써 Graceful Tree 추측을 발전시켰다: 내부 정점에서의 보편적 브랜치 재배열, 유형-2 이행을 은폐된 유형-1 이행으로 재분류, 그리고 간선 레이블을 조작하기 위한 역방향 이행 시퀀스. 특정 종류의 지름 6 트리, 즉 일반화된 바나나 트리와 일정한 스파이더 트리가 그레시프할 수 있음을 증명하였고, 어떤 트리에 충분히 많은 잎을 첨부하면 그레시프할 수 있는 트리가 된다는 것을 보였다.

ABSTRACT

We survey the current state of progress on the Graceful Tree Conjecture, and then we present several new results toward the conjecture, driven by three new ideas: (1) It has been proven that generalized banana trees are graceful by rearranging the branches at the root--consider rearranging branches at all internal vertices; (2) The method of transfers has typically involved type-1 transfers and type-2 transfers--all type-2 transfers are type-1 transfers in disguise, and hence can be removed from the discussion; (3) The method of transfers has typically used the sequence of transfers $0 ightarrow n ightarrow 1 ightarrow n - 1 ightarrow\cdots$--transfer backwards to manipulate the resulting labels. Using these ideas, we prove that several classes of diameter-6 trees are graceful, and we generalize some of these classes to larger trees. We also introduce a class of graceful spiders, prove that attaching sufficiently many leaves to any tree gives a graceful tree, and extend known results on trees with perfect matchings.

연구 동기 및 목표

• 새로운 지름 6 트리의 클래스가 그레시프할 수 있음을 증명함으로써 Graceful Tree 추측의 열린 사례를 해결하기 위해.
• 기존의 이행 방법의 한계를 해결하기 위해 유형-2 이행을 유형-1 이행으로 재분류함으로써.
• 간선 레이블 분포를 제어하기 위한 역방향 이행 시퀀스 기법을 개발하기 위해.
• 바나나 트리에 대한 결과를 일반화하고 더 큰 지름을 가진 트리로 확장하기 위해.
• 어느 트리의 어떤 정점에 충분히 많은 수의 잎을 첨부하면 항상 그레시프할 수 있는 트리가 된다는 것을 증명하기 위해.

제안 방법

• 트리에서 정점의 레이블 할당을 모델링하기 위해 블록 단위로 순열 가능한 수열(BPS)의 개념을 도입하고 적용하기 위해.
• 모든 내부 정점에서 브랜치의 재배열을 통해 새로운 레이블 구성(configuration)을 생성하기 위해.
• 유형-2 이행을 유형-1 이행으로 재해석함으로써, 이행 기반의 레이블링 전략을 단순화하기 위해.
• 0 → n → 1 → n−1 → ⋯ 로 시작하는 와이드-리버스 이행 시퀀스를 구현하여 레이블 분포를 제어하기 위해.
• 0-회전 가능한 컨트리(Contree)를 사용하여 거의 완벽 매칭을 가진 트리에 일반화된 Δ+1-구성법을 적용하기 위해.
• 일관된 범위 완화 그레시프 레이블링과 귀납법을 사용하여, 잎 첨부 시 그레시프 레이블링의 존재를 증명하기 위해.

실험 결과

연구 질문

• RQ1 중심과 첫 번째 수준 정점에서 홀수 개의 브랜치를 가지는 지름 6 트리의 클래스가 새로운 이행 기법을 사용하여 그레시프할 수 있는가?
• RQ2 이행 방법에서의 유형-2 이행은 유형-1 이행과 중복되거나 동일한 연산인가?
• RQ3 역방향 이행 시퀀스는 트리 레이블링에서 간선 레이블 생성을 더 잘 제어할 수 있는가?
• RQ4 어느 트리의 어떤 정점에 충분히 많은 수의 잎을 첨부하면 항상 그레시프할 수 있는 트리가 만들어지는가?
• RQ5 컨트리 개념을 거의 완벽 매칭을 가진 트리로 확장할 수 있으며, 이때 그레시프 레이블링이 유지되는가?

주요 결과

• 모든 짝수 캐터필러 바나나 트리는 이전의 일반화된 바나나 트리 결과를 확장하여 그레시프할 수 있다.
• 뿌리와 첫 번째 수준 정점에서 홀수 개의 자식을 가지는 지름 6 트리의 새로운 클래스가 특정 레이블링 제약 조건 하에서 그레시프할 수 있음이 증명되었다.
• 이행 방법은 유형-2 이행을 제거함으로써 단순화될 수 있으며, 이는 실제로 유형-1 이행의 은폐된 형태이기 때문이다.
• 역방향 이행 시퀀스(0 → n → 1 → n−1 → ⋯)는 결과 간선 레이블의 정밀한 조작을 가능하게 한다.
• 어느 트리의 어떤 정점에 충분히 큰 수의 잎 k개를 첨부하면 항상 그레시프할 수 있는 트리가 된다.
• 거의 완벽 매칭을 가진 트리는 그 컨트리가 0-회전 가능할 경우 그레시프할 수 있으며, 이는 완벽 매칭의 경우를 일반화한 것이다.