AtCoder 137 C Distinct Numbers（博弈论）
AtCoder 137 C Distinct Numbers题意给定一个长度为n(2≤n≤3×105)n\left(2\le n\leq3\times 10^{5}\right)n(2≤n≤3×105)的严格递增的自然数序列A1,A2,⋯ ,AnA_1,A_2,\cdots,A_nA1,A2,⋯,An现在有两个人在轮流进行如下操作：选择序列中最大数mxmxmx，使其变成一个小于mxmxmx的自然数，并且变化后需要满足：序列中没有相同的数。然后将由另一个人来对这个序列进行操作。直至一个人
