哈哈,我有本书上也有这道题,咱们是不是同一本书啊.我就把我的理解说一下
P种不同的语言记做集合A,则A的子集有C(n,0)+C(n,1)+……C(n,n)=2^p种,也就是说k个科学家可以在这2^p种选择中随便选k种作为自己的语言.由于任何两个科学家都至少使用一种共同语言,即k个科学家随便选的这k个集合是两两相交的,即都不是互补的.这k个集合是两两不等的.因为A的子集个数2^p是偶数个,给定一个集合,必能给出一个补集,共有2^p/2对每对都是互补的,如果k>2^p/2,则必有2个落在同一对中,因此互补矛盾,所以k