這道題目的模型倒是可以記住
我們發現這個配對很像摩爾投票，所以考慮原數列是否有主元素
對於一個集合，我們選出其中最大的\(a_i\)，假設剩餘的\(a\)的和小於等於\(a_i\)（此時有主元素），那麼比較顯而易見的就是最終會分出\(a_i\)個組；否則的話，我們考慮下界\(\lceil \frac{\sum a}{2} \rceil\)，可以找到一個合理的構造方法，即從大到小依次考慮每種顏色，然後像下面這樣（假設紅色有4個，藍色有3個，綠色有3個）
由於沒有主元素不難發現這種構造方法是合法的
剩下的就是簡單揹包了