ELMO SL 2012 C2

Determine whether it's possible to cover a $K_{2012}$ with

a) 1000 $K_{1006}$ 's;

b) 1000 $K_{1006,1006}$ 's.

David Yang.

Dataset text AI-MO AoPS. Quoted with source.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.