A common approach to solve a combinatorial optimization problem is to first solve a continous relaxation and then round the fractional solution. For the latter, the framework of contention resolution schemes (or CR schemes) introduced by Chekuri, Vondrak, and Zenklusen, has become a general and successful tool. A CR scheme takes a fractional point $x$ in a relaxation polytope, rounds each coordinate $x_i$ independently to get a possibly non-feasible set, and then drops some elements in order to satisfy the independence constraints. Intuitively, a CR scheme is $c$-balanced if every element $i$ is selected with probability at least $c \cdot x_i$. It is known that general matroids admit a $(1-1/e)$-balanced CR scheme, and that this is (asymptotically) optimal. This is in particular true for the special case of uniform matroids of rank one. In this work, we provide a simple monotone CR scheme with a balancedness factor of $1 - e^{-k}k^k/k!$ for uniform matroids of rank $k$, and show that this is optimal. This result generalizes the $1-1/e$ optimal factor for the rank one (i.e. $k=1$) case, and improves it for any $k>1$. Moreover, this scheme generalizes into an optimal CR scheme for partition matroids.
翻译:解决组合优化问题的常见方法是首先解决连锁放松,然后绕过分数解决方案。对于后者而言,Chekuri、Vondrak和Zenklusen提出的争议解决方案(或CR计划)框架(或CR计划)已经成为一个普遍的成功工具。CR方案在放松的聚点中采用一个分点$x美元平衡的CR方案,每个回合单独协调$x美元,以获得一个可能不可行的套件,然后降低一些元素以满足独立限制。直观地说,如果每选一个要素美元,其概率至少为$c\cdot x_i美元,CR计划就会达到$CR计划(或CR计划)的平衡。众所周知,在放松的聚点中,CR计划将一个分点(ax_i)点($xx美元)独立,然后将一些元素丢弃。在这个工作中,我们提供一个简单的单项CRM方案,其平衡系数为$-eQ$_k美元。这个普通的平价/k 标准将这个平级的平级结果显示为1美元/lalmacal 。 这个平级的平则显示一个平级的平级。