[논문 리뷰] Total Vertex Irregularity Strength of Forests

Marcin Anholcer, Micha L Karo외 1명|arXiv (Cornell University)|2011. 03. 10.

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

한 줄 요약

이 논문은 도중에 차수 2인 정점이나 고립 정점이 없는 산림에 대해 정확한 총 정점 비정규성 강도(tvs)를 설정하며, tvs(F) = ⌈(n₁ + 1)/2⌉임을 증명한다. 여기서 n₁은 낙엽 정점의 수이다. 저자들은 간선과 정점에 대한 구조적 레이블 전략을 활용하여 1에서 s까지의 레이블을 사용하여 모든 정점의 가중 차수를 서로 다르게 보장하는 레이블링을 구성한다.

ABSTRACT

We investigate a graph parameter called the total vertex irregularity strength ($tvs(G)$), i.e. the minimal $s$ such that there is a labeling $w: E(G)\cup V(G) ightarrow \{1,2,..,s\}$ of the edges and vertices of $G$ giving distinct weighted degrees $wt_G(v):=w(v)+\sum_{v\in e \in E(G)}w(e)$ for every pair of vertices of $G$. We prove that $tvs(F)=\lceil (n_1+1)/2 ceil$ for every forest $F$ with no vertices of degree 2 and no isolated vertices, where $n_1$ is the number of pendant vertices in $F$. Stronger results for trees were recently proved by Nurdin et al.

연구 동기 및 목표

• 차수 2인 정점과 고립 정점이 없는 산림에 대한 총 정점 비정규성 강도(tvs)의 정확한 값을 결정하는 것.
• 나무에 대한 기존의 경계를 더 일반적인 산림, 즉 나무가 아닌 산림까지 확장하는 것.
• 최소한의 tvs를 달성하기 위해 {1, 2, ..., s}에서만 레이블을 사용하는 구성적 레이블링 방법을 제공하는 것, 여기서 s = ⌈(n₁ + 1)/2⌉이다.
• 이러한 산림에 대해 tvs의 자명한 하한이 날카로운지 증명하여 이전 연구에서의 격차를 메우는 것.

제안 방법

• 모든 낙엽이 아닌 간선에 레이블 s를 할당하여 고차수 기여를 표준화한다.
• 낙엽 간선에 대칭 수열 S = (1, s−1, 2, s−2, ...)을 사용하여 가중 차수의 다양성을 제어한다.
• j개의 낙엽 이웃을 가진 정점( j ≥ 1)의 경우, 짝수/홀수에 따라 j/2 또는 (j±1)/2개의 낙엽 간선에 s를 할당하여 s-레이블 사용을 최대화하면서 총합이 s를 초과하지 않도록 한다.
• 모든 정점의 총 가중 차수 wt(v) = w(v) + 인접한 간선의 가중치 합이 서로 다를 수 있도록 근사적 정점 레이블링을 사용한다.
• 가중 차수 범위 [2, 2s], [2s+2, 3s], [3s+1, 4s], 및 ≥4s+1에 따라 다른 차수 클래스(C_{kj})에 속한 정점을 별도로 처리한다.
• 차수 제약 조건(예: n₁ = 2 + Σ(j−2)n_j for j ≥ 3)을 활용하여 정점 수를 제한하고, 서로 다른 가중 차수를 확보하기 위한 충분한 레이블 공간을 확보한다.

실험 결과

연구 질문

• RQ1 차수 2인 정점과 고립 정점이 없는 산림에 대해 총 정점 비정규성 강도(tvs)의 정확한 값은 무엇인가?
• RQ2 tvs(F) ≥ ⌈(n₁ + 1)/2⌉인 하한이 이러한 산림에서 정확한 값으로 달성될 수 있는가?
• RQ3 나무에 사용된 레이블링 전략이 일반 산림으로 확장 가능한가? 만약 가능하면 어떻게 수정되어야 하는가?
• RQ4 가중 차수 범위에 걸쳐 근사적 정점 레이블링을 통해 모든 정점의 총 가중치가 서로 다를 수 있도록 하는 방법은 무엇인가?
• RQ5 정점 차수의 구조적 제약(예: n₃₀, n₄₃, n₄₄)은 서로 다른 가중 차수를 위한 충분한 레이블 공간을 보장하는 데 어떻게 기여하는가?

주요 결과

• 차수 2인 정점과 고립 정점이 없는 모든 산림 F에 대해 총 정점 비정규성 강도는 정확히 tvs(F) = ⌈(n₁ + 1)/2⌉이다.
• tvs(F) ≥ ⌈(n₁ + 1)/2⌉인 하한은 구성적 레이블링 방법을 통해 날카로운 것으로 밝혀졌으며 달성 가능하다.
• 레이블링 전략은 s = ⌈(n₁ + 1)/2⌉일 때 {1, 2, ..., s}에서만 레이블을 사용하며, 모든 정점의 가중 차수가 서로 다름을 보장한다.
• C_{1}에 속한 정점(낙엽 정점)은 [2, 2s] 범위의 가중 차수를 가지며, 나머지 모든 정점은 가중 차수 ≥ 2s + 2를 가진다.
• 차수 제약 조건을 활용하여 각 가중 차수 범위(예: [3s+1, 4s])에 충분한 레이블 공간이 확보됨을 보장한다.
• 일부 산림에 대해 최대 한 개의 차수 2 정점이 존재할 경우에도 결과가 확장되며, 일반화된 정리 1에 의해 tvs(F)는 여전히 ⌈(n₁ + 1)/2⌉로 유지된다.