The following code implements an exhaustive search using backtracking to compute the maximum size of a 3-uniform set system on [n] with VC-dimension at most 2. In practice, this program only works for small values of n. For our purpose, we only need the result for n=6 and n=7. For example, on a typical personal […]