Near Optimal Bounds for Steiner Trees in the Hypercube

  • Authors:
  • Tao Jiang;Zevi Miller;Dan Pritikin

  • Affiliations:
  • jiangt@muohio.edu and millerz@muohio.edu and pritikd@muohio.edu;-;-

  • Venue:
  • SIAM Journal on Computing
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

Given a set $S$ of vertices in a connected graph $G$, the classic Steiner tree problem asks for the minimum number of edges of a connected subgraph of $G$ that contains $S$. We study this problem in the hypercube. Given a set $S$ of vertices in the $n$-dimensional hypercube $Q_n$, the Steiner cost of $S$, denoted by $cost(S)$, is the minimum number of edges among all connected subgraphs of $Q_n$ that contain $S$. We obtain the following results on $cost(S)$. Let $\epsilon$ be any given small, positive constant, and set $k=|S|$. (1) [upper bound] For every set $S$ we have $cost(S) c_1$, then $cost(S) (\frac{1}{3} - \epsilon)kn$. Thus for $k$ in this range with $k\to \infty$, the upper bound (1) is asymptotically tight. We also show that for fixed $k$, as $n\to \infty$, almost always a random family of $k$ vertices in $Q_n$ satisfies $[\frac{k}{3}+\frac{2}{9}(-1+(-\frac{1}{2})^k)] n - \sqrt{n\ln n}\leq cost (S)\leq [\frac{k}{3}+\frac{2}{9}(-1+(-\frac{1}{2})^k)] n + \sqrt{n\ln n}.$