(ICML20) Streaming Submodular Maximization under a $k$-Set System
号称第一个解决 streaming + non-monotone + \(k\)-system constraint 问题的算法出现了. 究竟是怎么一回事呢? 现在就让小编带大家一起来看看吧.
A Framework
文章提出了一个新的将适用于单调次模函数的流算法转变为适用于非单调次模函数的流算法的框架. 其实这种 converting 框架在 AAAI2018 的一篇文章中已经被提出过一次了, 不过在那篇文章中要求所用的流算法具有 \[ f(S)\geq\alpha f(S\cup T) \] 这样的性质 (\(S\) 为算法输出, \(T\) 为任一可行解, \(\alpha>0\) 为某个常数).
本文中的框架对输入算法要求具有 \((\alpha,\gamma)\)-approximation 的性质:
现在我们来看看这个 framework, 记 \(\text{StreamingAlg}\) 为输入的流算法, \(\text{ConstrainedAlg}\) 为同一问题的 offline 算法.
算法的思想很简单, 首先对每个到来的元素 \(u\), 使用 \(r\) 个独立相同的 \(\text{StreamingAlg}\) 程序来依次进行处理: 第一个程序的输入为 \(\{u\}\), 之后每个程序以被上一个程序扔出内存的部分 (可能是因为 constraint 不满足, 或者是因为部分元素被置换出去) 为输入进行处理. 当 stream 整个 pass 结束后, 仍按次序输出这 \(r\) 个子程序的结果. 由于 \(\text{StreamingAlg}\) 是 \((\alpha,\gamma)\)-approximation 算法, 我们将集合 \(S,A\) 输出, 同时也对集合 \(A\) 跑一次 offline 程序 \(\text{ConstrainedAlg}\). 在输出 \(S,A\) 的同时, 我们也将所有在该子程序内存中但不在 \(A\) 中的数据构成的集合 \(D\) 输出, 作为下一个子程序的输入 (第一个子程序的输入为空集). 这个过程可以简单描述成如下图所示.
仿佛就是 streaming 版本的 RepeatedGreedy (实际上接下来的 Proposition 1 的推导完全类似 RepeatedGreedy 的近似比推导) |
对于这个框架, 我们有如下结论.
Algorithms
下面介绍论文提出的解决 \(k\)-system 约束的算法. 为了方便分析, 先给出一个预先知道 \(M=\max_{u\in\mathcal{N},\{u\}\in\mathcal{I}}f(\{u\})\) 和最大独立集大小 \(\rho\) 的版本.
下面我们将详细分析一下这个算法的性质. 首先我们可以看出 Alg. 2 仍采用了类似 sieve 的方法. 那么, 在 streaming 条件下使用 threshold 有什么困难? 对 knapsack, 同时超过 threshold 且超过 budget 的元素可以对 threshold 设置成和 budget 相关的一个量来 bound 住这部分元素的值. 但对 \(k\)-system, 如果硬上 multi-solution + threshold, 超过 threshold 但因 independent set 约束不能加入集合的这部分元素无法像 knapsack 那样简单地处理. 算法对不同 threshold 构造了 \(\ell\) 个集合, 然后最终的结果通过在这 \(\ell\) 个集合中按一定规则进行挑选得到. 首先我们需要说明集合 \(E\) 的性质是好的, 这由以下引理保证.
Proof Sketch of Lemma 1: 算法构造了 \(\ell+1\) 个区间 \((2^{-(i+1)}\tau,2^{-i}\tau]\) 和与之对应的集合 \(E_i\), \(i=0,1,\dots,\ell\). 每当 \(u\) 到来时的 marginal gain 满足 \[ m(u)=f(u|\text{Pre}(u,E))\in (2^{-(i+1)}\tau,2^{-i}\tau] \] 时 (这里 \(E=\cup_{i=0}^{\ell}E_i\)), 我们就将 \(u\) 加入到 \(E_i\) 中 (在满足 \(k\)-system 条件约束下). 由 greedy 性质可知 \(E_i\) 是 \(U_i=\{u\in\mathcal{N}:i(u)=i\}\) 的一个 base, 再结合 \(U_i\) 之间的不交性启发我们考虑 \(S\) 在各 \(U_i\) 中的部分: \(|S\cap U_i|\leq k|E_i|\), \(i=0,1,\dots,\ell\). 而对 \(i<0\vee i>\ell\) 的部分, 我们就可以通过调整 \(\ell,\tau\) 的值将其 bound 住.
由于我们现在得到的 \(E\) 并不一定是 independet set, 所以我们需要从 \(E\) 中选出满足约束条件的集合的同时, 也要要求其和 \(E\) 能建立起某种联系 (方便近似比的导出). 下面来看这个关键的引理.
Proof of Lemma 2: 由次模性 \[ f(T_j|\emptyset)=\sum_{u\in T_j}f(u|\text{Pre}(u,T_j))\geq\sum_{u\in T_j}f(u|\text{Pre}(u,E))=\sum_{u\in T_j}m(u)\tag{1} \] 我们记 \(T_j^i\) 是从 \(E_j\) 开始对 \(E_i\) 做完 greedy 后得到的集合 (\(j\leq i\leq \ell, i\equiv j\pmod{h}\)). 设 \(T_j^{j-h}=\emptyset\), 下面我们证明一个更强的结论 \[ \sum_{u\in T_j^i}m(u)\geq\frac{1}{4k}\sum_{\substack{j\leq r\leq i\\ r\equiv j\pmod{h}}}\sum_{u\in E_r}m(u)+\frac{|T_j^i|\tau}{2^{i+2}k},\quad \forall i\in[-h,\ell],\ i\equiv j(\text{mod}\ h) \] 我们对 \(i\) 作归纳证明. 当 \(i<0\) 时, 显然不等式两边都为 0, 下面考虑 \(0\leq i\leq\ell\) 的情况. 由于 \(T_j^{i}\) 是 \(T_j^{i-h}\cup E_i\) 的 base, 故 \(|E_i|\leq k|T_j^i|\), 再使用 \(i-h\) 的归纳猜想, 我们有 \[ \begin{aligned} \sum_{u\in T_j^i}m(u)=&\sum_{u\in T_j^i\backslash T_j^{i-h}}m(u)+\sum_{u\in T_j^{i-h}}m(u)\geq\Big(\frac{|E_i|}{k}-|T_j^{i-h}|\Big)\frac{\tau}{2^{i+1}}+\sum_{u\in T_j^{i-h}}m(u)\\ \geq&\frac{1}{4k}\sum_{u\in E_i}m(u)+\frac{|E_i|\tau}{2^{i+2}k}-\frac{|T_j^{i-h}|\tau}{2^{i+1}} + \frac{1}{4k}\sum_{\substack{j\leq r\leq i-h\\ r\equiv j\pmod{h}}}\sum_{u\in E_r}m(u)+\frac{|T_j^{i-h}|\tau}{2^{i-h+2}k}\\ =&\frac{1}{4k}\sum_{\substack{j\leq r\leq i\\ r\equiv j\pmod{h}}}\sum_{u\in E_r}m(u)+\frac{|E_i|\tau}{2^{i+2}k}+\frac{|T_j^{i-h}|\tau}{2^{i+2}k}(2^h-2k)\\ \geq&\frac{1}{4k}\sum_{\substack{j\leq r\leq i\\ r\equiv j\pmod{h}}}\sum_{u\in E_r}m(u)+\frac{|E_i|\tau}{2^{i+2}k}+\frac{|T_j^{i-h}|\tau}{2^{i+2}k}\\ \geq&\frac{1}{4k}\sum_{\substack{j\leq r\leq i\\ r\equiv j\pmod{h}}}\sum_{u\in E_r}m(u)+\frac{|T_j^i|\tau}{2^{i+2}k} \end{aligned} \] 故由归纳法知结论成立. 取 \(i=j+h\lfloor(\ell-j)/h\rfloor\) 结合式 \((1)\) 即知 Lemma 2 欲证式成立, 证毕.
Proof of Proposition 2: space complexity 是显然的. 另外可由 \[ \begin{aligned} f(T)\geq&\frac{\sum_{j=0}^{h-1}f(T_j)}{h}\geq f(\emptyset)+\frac{1}{4kh}\sum_{j=0}^{h-1}\sum_{\substack{0\leq i\leq\ell\\ i\equiv j\pmod{h}}}\sum_{u\in E_i}m(u)\\ =&f(\emptyset)+\frac{1}{4kh}\sum_{i=0}^{\ell}\sum_{u\in E_i}m(u)\geq f(\emptyset)+\frac{f(E|\emptyset)}{4kh}\geq\frac{f(E\cup S)-\tau/4}{4kh(2k+1)} \end{aligned} \] 得到.
有了 Proposition 2 后我们就可以来分析对单调和非单调的目标函数的结果了. 当目标函数 \(f\) 是单调的时候直接使用 Alg. 2 即可: 取 \(U=O\), 再由 \(\tau\leq2M\leq 2f(O)\), 得到 \[ f(T)\geq\frac{f(O)-f(O)/2}{4kh(2k+1)}\Rightarrow f(O)\leq8kh(2k+1)f(T) \] 而对于非单调的情形我们需要采用 Alg. 1 框架: 取 \(A=E\) 根据定义可知 Alg. 2 是一个 \((4kh(2k+1),\tau/4)\)-approximation 的 streaming 算法. 我们使用 Alg. 2 作为 Alg. 1 中的 \(\text{StreamingAlg}\), 使用 RepeatedGreedy (此时 \(\beta=k+O(\sqrt{k})\)) 作为 Alg. 1 中的 \(\text{ConstrainedAlg}\), 取 \(r=4\) 就有 \[ f(T)\geq\frac{(4-1)f(O)-\tau}{4\alpha+6\beta}\geq\frac{3f(O)-2f(O)}{16kh(2k+1)+6(k+O(\sqrt{k}))}\Rightarrow f(O)\leq O(k^2\log k)f(T) \] 所以综合以上两种情况我们就有如下关于近似比的结论.
对于更强的 \(k\)-extendible 约束, 有稍好的结果 (证略).
由于无法预先知道 \(M,\rho\), 文章采取了逐步减弱条件的方式来达到同样效果.