不严格证明的计算我已经知道
但不确定计算机该如何求解

蛮力算法，遍历所有的排列显然不可行
--
FROM 125.86.92.*