P8477「GLR-R3」春分题目看起来比较魔怔，考虑怎么搞一下。首先，一个最简单的想法，每对溶液组都配一个板子，可以用\(n^2\)个板子解决，看得出来很不优啊，但是可以得到Sub1的分数。节俭一点，我们如果把每个板子都拿出来一面用来对应一种溶液，此时就可以拼起来，只需要\(2n\)个板子解

  前情提要：在「洛谷P8477」「GLR-R3」春分中，我们给出了\(\frac{7}{6}n\pm\mathcalO(1)\)的解法，但没能给出相关的下界证明。现在我们尝试给出一个未完全完成的下界证明。  为方便描述，我们综合链接中题意和某个“通俗”的题意，称隔板为“板”，称溶液为“人”。  这个