Complete Characterization on Maximum Pairwise Cross Intersecting Families (I)
The families A and B are cross intersecting if A∩B=∅ for any A∈A and B∈B. Let t≥2 and k1≥k2≥⋯≥kt. We say that (F1,…,Ft) is an (n,k1,…,kt)-cross intersecting system if F1⊆(k1[n]),…,Ft⊆(kt[n]) are non-empty pairwise cross intersecting families. Let M(n,k1,…,kt) denote the maximum sum of sizes of families of an (n,k1,…,kt)-cross intersecting system. The case t=2 was studied by Frankl--Tokushige. Solving a problem of Shi-Frankl-Qian, Huang-Peng-Wang and Zhang-Feng independently determined M(n,k1,…,kt) for all n≥k1+k2.