4x4 数独其实只有 12 种（以及一个寻找最小提示子集的巧妙技巧）