不变量

找出操作过程中永远不变的量，就能判断某个目标状态可不可达。