MathDB
Sequence of sets of size 4

Source: Miklos Schweitzer 2023, Problem 7

November 7, 2023

Problem Statement

Prove that there exist two subsets D,KD, K of N2\mathbb{N}^2 such that for any 44-element sets A1,A2A_1, A_2 we have A1A2=1|A_1 \cap A_2|=1 if and only if there exist 44-element sets A3,A4,A_3, A_4, \ldots, such that AiAj=A_i \cap A_j=\emptyset for all (i,j)D(i, j) \in D and AiAj=2|A_i \cap A_j|=2 for all (i,j)K(i, j) \in K.