[논문 리뷰] Representing graphs as the intersection of axis-parallel cubes

Sunil L Chandran, Mathew C. Francis외 1명|ArXiv.org|2006. 07. 19.

Advanced Graph Theory Research참고 문헌 30인용 수 3

한 줄 요약

이 논문은 축에 평행한 입방체의 교차로 그래프를 표현하기 위한 효율적인 알고리즘을 제시하며, 최대 차수 $\Delta$와 대역폭 $b$에 따라 $O(\Delta \ln n)$ 및 $O(\Delta \ln b)$의 큐빅리티를 달성한다. 접근 방식은 대역폭 순서와 결정적화된 간격 표현을 사용하며, $O(\log \log n)$ 요소를 제외하고는 경계가 날카롭다.

ABSTRACT

A unit cube in $k$ dimensional space (or \emph{$k$-cube} in short) is defined as the Cartesian product $R_1 imes R_2 imes... imes R_k$ where $R_i$(for $1\leq i\leq k$) is a closed interval of the form $[a_i,a_i+1]$ on the real line. A $k$-cube representation of a graph $G$ is a mapping of the vertices of $G$ to $k$-cubes such that two vertices in $G$ are adjacent if and only if their corresponding $k$-cubes have a non-empty intersection. The \emph{cubicity} of $G$, denoted as $\cubi(G)$, is the minimum $k$ such that $G$ has a $k$-cube representation. Roberts \cite{Roberts} showed that for any graph $G$ on $n$ vertices, $\cubi(G)\leq 2n/3$. Many NP-complete graph problems have polynomial time deterministic algorithms or have good approximation ratios in graphs of low cubicity. In most of these algorithms, computing a low dimensional cube representation of the given graph is usually the first step. We present an efficient algorithm to compute the $k$-cube representation of $G$ with maximum degree $Δ$ in $O(Δ\ln b)$ dimensions where $b$ is the bandwidth of $G$. Bandwidth of $G$ is at most $n$ and can be much lower. The algorithm takes as input a bandwidth ordering of the vertices in $G$. Though computing the bandwidth ordering of vertices for a graph is NP-hard, there are heuristics that perform very well in practice. Even theoretically, there is an $O(\log^4 n)$ approximation algorithm for computing the bandwidth ordering of a graph using which our algorithm can produce a $k$-cube representation of any given graph in $k=O(Δ(\ln b + \ln\ln n))$ dimensions. Both the bounds on cubicity are shown to be tight upto a factor of $O(\log\log n)$.

연구 동기 및 목표

• 임의의 그래프를 저차원 공간 내 축에 평행한 입방체의 교차로 표현하기 위한 효율적 알고리즘을 개발하기.
• 최대 차수와 대역폭과 같은 구조적 그래프 파라미터를 기반으로 그래프의 큐빅리티—즉, 그러한 표현을 위해 필요한 최소 차원 수—를 줄이기.
• 인접성과 정확히 일치하는 $L_\infty$-거리가 1 이하가 되도록 그래프를 $\mathbb{R}^k$에 기하학적 임bedding하기.
• 기존의 큐빅리티에 대한 상한 $2n/3$을 초월하여 대역폭과 차수와 같은 그래프 파라미터를 활용해 개선하기.
• 대역폭 계산이 NP-난이도임에도 불구하고, 대역폭 순서를 활용해 다항시간 알고리즘을 설계하여 저차원 입방체 표현을 생성하기.

제안 방법

• 유사도 그래프의 블록에서 유도된 인디퍼런스 그래프의 단위 간격 표현을 생성하기 위해 결정적화된 알고리즘(DET)을 사용한다.
• 정점들을 대역폭 순서에 따라 블록으로 분할하고, 각 블록을 별도로 처리하는 블록 분해 전략을 적용한다.
• 모듈로 인덱싱($i = m \mod 3$)을 사용하여 다중 레이어의 간격 표현을 조합함으로써 $k$-입방체 표현을 구성하며, 이는 간선 커버리지와 비인접성 배제를 보장한다.
• 전체 그래프를 인디퍼런스 그래프의 교차로 표현하기 위해 $0 \leq i \leq 2$, $1 \leq j \leq t$인 초과 그래프 구조 $I_{i,j}$를 구성하며, $t = \lceil \ln(2b) \rceil$이다.
• 비결정적 구성 방식을 결정적 절차로 변환하여, 비인접한 정점 쌍이 적어도 한 차원에서 $n$ 단위 이상 떨어지도록 정점에 간격을 할당한다.
• 다양한 차원 간의 간격 표현을 조합하여 $k = O(\Delta \ln b)$인 $k$-입방체 표현을 형성하며, 대역폭 $b$를 차원 감소에 핵심 파라미터로 활용한다.

실험 결과

연구 질문

• RQ1 최대 차수 $\Delta$와 대역폭 $b$를 사용하여 그래프의 큐빅리티를 더 날카롭게 경계 짓는 것이 가능한가?
• RQ2 대역폭 순서를 활용하여 다항시간 내에 저차원 $k$-입방체 표현을 구성하는 것이 가능한가?
• RQ3 그래프의 큐빅리티는 대역폭과 최대 차수와 어떻게 관련되어 있으며, 더 날카운 경계를 증명할 수 있는가?
• RQ4 대역폭 정보를 통합함으로써 $O(\Delta \ln n)$의 큐빅리티 상한을 얼마나 향상시킬 수 있는가?
• RQ5 제안된 큐빅리티 경계가 $O(\log \log n)$ 요소를 제외하고 날카로운가, 특히 $O(\log \log n)$ 요소에 대해 어떻게 평가되는가?

주요 결과

• 논문은 최대 차수 $\Delta$를 가진 임의의 그래프에 대해 $O(\Delta \ln n)$ 차원에서 $k$-입방체 표현을 계산하는 알고리즘을 제시한다.
• 개선된 알고리즘은 그래프의 대역폭 $b$를 기반으로 $O(\Delta \ln b)$ 차원에서 $k$-입방체 표현을 달성하며, $b \ll n$일 경우 $O(\Delta \ln n)$ 상한보다 향상된다.
• 대역폭에 대한 $O(\log^4 n)$-근사 알고리즘을 활용하면, $k = O(\Delta(\ln b + \ln \ln n))$ 차원에서 $k$-입방체 표현을 생성할 수 있다.
• 큐빅리티에 대한 경계가 $O(\log \log n)$ 요소를 제외하고 날카롭다는 것이 입증되었으며, 완전 이진 트리를 사용한 날카운 예시로 확인되었다.
• 높이 $\log n$인 완전 이진 트리의 큐빅리티는 $\Omega(\log n / \log \log n)$이며, 상한은 $O(\Delta \ln n) = O(\log n)$로, $O(\log \log n)$ 요소를 제외하고 날카로움을 확인한다.
• 알고리즘이 다항시간 내에 실행되며, 비인접 정점 쌍이 적어도 한 차원에서 분리되도록 보장하는 결정적화된 간격 표현 구성에 의존한다.