f[i] 表示有 i 个公司的时候这个集团能否被出售。

\[f[i] = \exist j \in [1, m] : \{f[i-j-k .. i-j-1]\} = \{1\}\]

暴力转移即可。