[논문 리뷰] On the independent subsets of powers of paths and cycles

Pietro Codara, Ottavio M. D’Antona|arXiv (Cornell University)|2012. 10. 19.

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

한 줄 요약

이 논문은 경로($\mathbf{H}_n^{(h)}$)와 사이클($\mathbf{M}_n^{(h)}$)의 $h$제곱의 독립 부분집합들의 하세 다이어그램에 대한 정확한 간선 수 공식을 유도한다. 이는 피보나치 및 루카스 큐브를 일반화한다. 경로의 경우 간선 수는 피보나치 유사 수열의 자체 콘볼루션으로 주어지며, 사이클의 경우 간선 수는 $nF_{n-h}^{(h)}$이다. 여기서 $F_{n-h}^{(h)}$는 일반화된 피보나치 수이다.

ABSTRACT

In the first part of this work we provide a formula for the number of edges of the Hasse diagram of the independent subsets of the h-th power of a path ordered by inclusion. For h=1 such a value is the number of edges of a Fibonacci cube. We show that, in general, the number of edges of the diagram is obtained by convolution of a Fibonacci-like sequence with itself. In the second part we consider the case of cycles. We evaluate the number of edges of the Hasse diagram of the independent subsets of the h-th power of a cycle ordered by inclusion. For h=1, and n>1, such a value is the number of edges of a Lucas cube.

연구 동기 및 목표

• 경로의 경우 피보나치 큐브, 사이클의 경우 루카스 큐브를 $h$제곱 경로 및 사이클으로 확장하여 일반화한다.
• $\mathbf{P}_n^{(h)}$ 및 $\mathbf{Q}_n^{(h)}$의 독립 부분집합 하세 다이어그램에 대한 간선 수에 대한 닫힌 형식 공식을 유도한다.
• $\mathbf{H}_n^{(h)}$의 간선 수가 피보나치 유사 수열의 자체 콘볼루션으로 유도됨을 밝힌다.
• $\mathbf{M}_n^{(h)}$의 간선 수가 $nF_{n-h}^{(h)}$임을 보이며, 여기서 $F_{n-h}^{(h)}$는 일반화된 피보나치 수이다.
• 경로 및 사이클의 거듭제곱에 대한 전체 독립 부분집합 수에 대한 재귀 관계를 제시하며, $h=1$일 때 알려진 결과를 확장한다.

제안 방법

• 거리 $h$ 이내에 있는 정점 간에 간선이 있는 그래프로, 경로 $\mathbf{P}_n^{(h)}$와 사이클 $\mathbf{Q}_n^{(h)}$의 $h$제곱을 정의한다.
• 거리 $h$ 이내에 두 개 이상의 1이 없는 이진 문자열(경로의 경우 선형, 사이클의 경우 순환)로 독립 부분집합을 표현한다.
• 재귀 관계를 사용: 경로의 경우 $p_n^{(h)} = p_{n-1}^{(h)} + p_{n-h-1}^{(h)}$, 사이클의 경우 $q_n^{(h)} = q_{n-1}^{(h)} + q_{n-h-1}^{(h)}$이며, 작은 $n$에 대한 기저 사례를 포함한다.
• 하세 다이어그램의 간선 수 $M_n^{(h)}$를 $n \sum_{k=1}^{\lceil n/(h+1)\rceil} \binom{n-hk-1}{k-1}$로 표현하며, 이는 $nF_{n-h}^{(h)}$로 단순화된다.
• 경로 거듭제곱 $H_n^{(h)}$의 간선 수가 수열 $p_n^{(h)}$의 자체 콘볼루션임을 증명한다.
• 조합적 항등식과 간격 제약 조건을 가진 이진 문자열과 독립 부분집합 사이의 전단사 관계를 활용한다.

실험 결과

연구 질문

• RQ1 경로의 $h$제곱에 대한 독립 부분집합 하세 다이어그램의 간선 수는 얼마인가요?
• RQ2 사이클의 $h$제곱에 대한 독립 부분집합 하세 다이어그램의 간선 수는 일반화된 피보나치 수와 어떻게 관련이 있나요?
• RQ3 $\mathbf{H}_n^{(h)}$의 간선 수를 피보나치 유사 수열의 자체 콘볼루션으로 표현할 수 있나요?
• RQ4 $\mathbf{P}_n^{(h)}$ 및 $\mathbf{Q}_n^{(h)}$의 전체 독립 부분집합 수를 지배하는 재귀 관계는 무엇인가요?
• RQ5 $\mathbf{H}_n^{(h)}$ 및 $\mathbf{M}_n^{(h)}$의 공식은 $h=1$일 때 알려진 피보나치 큐브 및 루카스 큐브 결과를 어떻게 일반화합니까?

주요 결과

• 경로 $\mathbf{P}_n^{(h)}$의 독립 부분집합 하세 다이어그램의 간선 수는 수열 $p_n^{(h)}$의 자체 콘볼루션으로 주어지며, 여기서 $p_n^{(h)}$는 $\mathbf{P}_n^{(h)}$의 독립 부분집합 수를 세는 것이다.
• 사이클 $\mathbf{Q}_n^{(h)}$의 경우, 하세 다이어그램의 간선 수는 $M_n^{(h)} = nF_{n-h}^{(h)}$이며, 여기서 $F_{n-h}^{(h)}$는 재귀식 $F_k^{(h)} = F_{k-1}^{(h)} + F_{k-h-1}^{(h)}$로 정의되는 일반화된 피보나치 수이다.
• 경로 $\mathbf{P}_n^{(h)}$의 전체 독립 부분집합 수는 $n > 2h$일 때 $p_n^{(h)} = p_{n-1}^{(h)} + p_{n-h-1}^{(h)}$를 만족하며, $n \leq 2h$에 대한 기저 사례가 있다.
• 사이클 $\mathbf{Q}_n^{(h)}$의 전체 독립 부분집합 수는 $n > 2h+1$일 때 $q_n^{(h)} = q_{n-1}^{(h)} + q_{n-h-1}^{(h)}$를 만족하며, $n \leq 2h+1$일 땐 $q_n^{(h)} = n+1$이다.
• $h=1$일 경우, $\mathbf{M}_n^{(1)}$의 간선 수는 $nF_{n-1}$로 줄어들며, 이는 루카스 큐브의 알려진 간선 수와 일치한다.
• $M_n^{(h)} = n \sum_{k=1}^{\lceil n/(h+1)\rceil} \binom{n-hk-1}{k-1}$ 공식은 $\mathbf{M}_n^{(h)}$의 간선 수에 대한 직접적인 조합적 표현을 제공한다.