CF303C Minimum Modular

给定 $n$ 个互不相同的整数 $a_{1},a_{2},...,a_{n}$。你最多可以删除其中的 $k$ 个数。请你求出最小的正整数 $m$，使得对于所有剩下的整数对 $(a_{i},a_{j})$，都满足：。

第一行包含两个整数 $n$ 和 $k$（$1 \leq n \leq 5000, 0 \leq k \leq 4$）。 第二行包含 $n$ 个互不相同的整数 $a_{1},a_{2},...,a_{n}$（$0 \leq a_{i} \leq 10^6$）。

输出一个正整数，表示满足条件的最小 $m$。

由 ChatGPT 5 翻译