counting

CF995F

首先只要求了偏序关系，所以实际上对于一个最终状态可以进行一手离散化。换句话说我们可以宣称值域是 \([1,n]\) 这个量级。