https://i.imgur.com/DPP7yt2.jpg
问个弱弱的问题
第一行的 lAl <=3 有点看不懂
不清楚是怎么来的

这种鸽笼系列的题目常常需要用经验来假设状况做证明思路我觉得能这样想，题目要证明所有S的非空子集合的组合之中，存在着相异组合的sum是相同的换个角度想就是“存在两组”即得证为了用鸽笼做证明，因此要考虑对证明有利的情况，结果就是利用这个|A|<=3的情况可以想想看|A|为4的情况，就会发现无法证出来惹，鸽子数跟笼子数相同