我觉得纯语法应该评红吧。

一眼看到全称量词和存在量词，这题可以算是纯语文语法+信息学语法了，充还有分可蒙的样例。

这种分讨有难度吗？Together 情况显然考虑最坏把所有已有的人平分塞到各个队伍里，这样每个队空出来空间最少；

保证了 $p+k\le n\times m$，剩下两种情况猜也能猜出来吧。

代码也是一点坑都没有，码量思维都能说小于小苹果和词典吧，建议降回红。