construct/ae p52 erdos squarefree
construct/ae p52 erdos squarefree: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Let N = 4172. Find a set A of distinct integers in {1, 2, ..., N} with 167 <= A <= 354 such that for ALL a, b in A (including a = b) the number a b + 1 is NOT squarefree, i.e. a b + 1 is divisible by…
The task
Let N = 4172. Find a set A of distinct integers in {1, 2, ..., N} with 167 <= |A| <= 354 such that for ALL a, b in A (including a = b) the number a*b + 1 is NOT squarefree, i.e. a*b + 1 is divisible by p^2 for some prime p.