Given a metric space $(X,d_X)$, a $(\beta,s,\Delta)$-sparse cover is a collection of clusters $\mathcal{C}\subseteq P(X)$ with diameter at most $\Delta$, such that for every point $x\in X$, the ball $B_X(x,\frac\Delta\beta)$ is fully contained in some cluster $C\in \mathcal{C}$, and $x$ belongs to at most $s$ clusters in $\mathcal{C}$. Our main contribution is to show that the shortest path metric of every $K_r$-minor free graphs admits $(O(r),O(r^2),\Delta)$-sparse cover, and for every $\epsilon>0$, $(4+\epsilon,O(\frac1\epsilon)^r,\Delta)$-sparse cover (for arbitrary $\Delta>0$). We then use this sparse cover to show that every $K_r$-minor free graph embeds into $\ell_\infty^{\tilde{O}(\frac1\epsilon)^{r+1}\cdot\log n}$ with distortion $3+\eps$ (resp. into $\ell_\infty^{\tilde{O}(r^2)\cdot\log n}$ with distortion $O(r)$). Further, we provide applications of these sparse covers into padded decompositions, sparse partitions, universal TSP / Steiner tree, oblivious buy at bulk, name independent routing, and path reporting distance oracles.
翻译:给定度量空间$(X,d_X)$,一个$(\beta,s,\Delta)$-稀疏覆盖是一簇直径至多为$\Delta$的聚类$\mathcal{C}\subseteq P(X)$,使得对每个点$x\in X$,球$B_X(x,\frac\Delta\beta)$完全包含于某个聚类$C\in \mathcal{C}$中,且$x$最多属于$\mathcal{C}$中的$s$个聚类。我们的主要贡献在于证明:每个$K_r$无子式图的最短路径度量均允许$(O(r),O(r^2),\Delta)$-稀疏覆盖,且对任意$\epsilon>0$,允许$(4+\epsilon,O(\frac1\epsilon)^r,\Delta)$-稀疏覆盖(对任意$\Delta>0$)。随后,我们利用该稀疏覆盖证明:每个$K_r$无子式图能以形变$3+\eps$嵌入$\ell_\infty^{\tilde{O}(\frac1\epsilon)^{r+1}\cdot\log n}$空间(或分别以形变$O(r)$嵌入$\ell_\infty^{\tilde{O}(r^2)\cdot\log n}$空间)。此外,我们给出这些稀疏覆盖在加性分解、稀疏划分、通用旅行商问题/斯坦纳树、忽略性批量购买、名称无关路由及路径报告距离预计算等方面的应用。