Question

【題目】已知為正整數，集合的個三元子集，，…，滿足：對任何的其他三元子集，均存在整數和子集使得．求的最小值．

Answer 1

【答案】

【解析】

若、、，且，

則稱是長為的“循環組”，并約定、、為同一個循環組．

考慮長為的循環組的數目．

、、、中有兩個相等的循環組有個；

若，、、、互不相等的循環組個數為；

若，互不相等的循環組個數為．

綜上，長為的不同循環組的總個數為．

對于每個長為的循環組，取集合的一個三元子集，存在一個子集與之對應，且易驗證不同的循環組對應的子集也不同，從而，．

另一方面，對于前面的個循環組中的每個，取與之對應的子集，共得到個不同子集．

接下來說明這些子集滿足要求．

事實上，對集合的每個子集（不妨設），

令，，．

則得到一個長為的循環組，

該循環組對應的子集滿足存在整數（或或）使得

．

綜上，．