考虑题目中，当前数组中每个数都可进行+x、-x操作。所以要想到与“mod剩余系”有关。
构造数中各个数对x取mod的值的出现的次数，当MEX%x的出现次数 >= 当前MEX/X + 1 时说明数组中存在多余的一个数可以拿出来一直进行+x操作使它等于MEX。
举例子：比如MEX = 7,X = 3时， S[7%3] = S[1]，假如1出现的次数 >= 7/3+1=3时，就可以拿出多余的1个1让他构成1+3 = 4，多余的1个1让他构成1 + 3 + 3 = 7；
参考：https://blog.csdn.net/weixin_43589675/article/details/104085387
思维题(取模)| CF#615Div3 D.MEX maximizing
原文：https://www.cnblogs.com/fisherss/p/12294190.html