arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1409.2913cs.DScs.CGmath.PR
收藏

凸集上离散极小化的有效算法

Efficient Algorithms for Discrepancy Minimization in Convex Sets

Ronen Eldan, Mohit Singh

摘要:

Spencer的一个结果表明,在一个大小为$n$的宇宙上,每个$n$集合的集合都有一个与$\{-1,+1\}$有差异的着色$O(\sqrt{n})$。一个几何推广这一结果是由Gluskin(也见Giannopoulos)谁表明,每一个对称凸体$K\subseteq R^n$高斯措施至少$e^{-εn}$,为一个小$ε>0$,包含一个点$y\in K$的一个常数分数的坐标$y$是在$\{-1,1\}$。这通常被称为部分着色结果。虽然这两个结果是固有的非算法,最近Bansal(也见洛维特,麦卡)了一个多项式时间算法斯宾塞的设置和Rothvoss了一个随机多项式时间算法获得相同的保证结果Gluskin和Giannopoulos。本文有几个相关的结果。首先,我们证明了另一个建设性的版本的结果Gluskin和Giannopoulos通过优化的线性函数。这意味着基于线性规划的组合差异算法获得与斯宾塞相同的结果。我们的第二个结果给出了一种新的方法来获得部分着色,并表明,每个凸体$K\subseteq R^n$,可能是非对称的,高斯测度至少$e^{-εn}$,对于一个小的$ε>0$,包含一个点$y\in K$,其中一个常数分数的坐标的$y$是在$\{-1,1\}$。最后,我们给出了一个简单的证明,表明对于任何$δ>0$存在一个常数$c>0$,这样,给定一个身体$K$与$γ_n(K)\geq δ$,一个均匀随机$x$从$\{-1,1\}^n$是在$cK$与恒定的概率。这给出了Banaszczyk结果的特殊情况的算法版本。

英文摘要:

A result of Spencer states that every collection of $n$ sets over a universe of size $n$ has a coloring of the ground set with $\{-1,+1\}$ of discrepancy $O(\sqrt{n})$. A geometric generalization of this result was given by Gluskin (see also Giannopoulos) who showed that every symmetric convex body $K\subseteq R^n$ with Gaussian measure at least $e^{-εn}$, for a small $ε>0$, contains a point $y\in K$ where a constant fraction of coordinates of $y$ are in $\{-1,1\}$. This is often called a partial coloring result. While both these results were inherently non-algorithmic, recently Bansal (see also Lovett-Meka) gave a polynomial time algorithm for Spencer's setting and Rothvoßgave a randomized polynomial time algorithm obtaining the same guarantee as the result of Gluskin and Giannopoulos. This paper has several related results. First we prove another constructive version of the result of Gluskin and Giannopoulos via an optimization of a linear function. This implies a linear programming based algorithm for combinatorial discrepancy obtaining the same result as Spencer. Our second result gives a new approach to obtains partial colorings and shows that every convex body $K\subseteq R^n$, possibly non-symmetric, with Gaussian measure at least $e^{-εn}$, for a small $ε>0$, contains a point $y\in K$ where a constant fraction of coordinates of $y$ are in $\{-1,1\}$. Finally, we give a simple proof that shows that for any $δ>0$ there exists a constant $c>0$ such that given a body $K$ with $γ_n(K)\geq δ$, a uniformly random $x$ from $\{-1,1\}^n$ is in $cK$ with constant probability. This gives an algorithmic version of a special case of the result of Banaszczyk.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑