我个人对于订立题目难度的想法

我认为，一道题的难度不应为其证明难度，而应取决于其想出做法的难度、做法和代码实现难度。这就好比1+1等于几，是个人都会做，但要严谨证明1+1=2却很难（罗素写了300多页），那难道就要设1+1的难度是紫题、黑题？

对于想出做法的难度简单的题，代码的实现难度不严重大于想出做法的难度，则此题的难度应为想出做法的难度，而不应为严谨证明的难度。

对于代码实现简单，而想出做法的难度却很难，那么此题的难度应略小于想出做法的难度。

请注意，我说的“想出做法的难度”并不是“证明的难度”。在此题中，想出做法的难度就可以指想出怎么写cmp的难度。