能不能证总存在至少一种最优方案使得 $m$ 次操作中所有变量的值没有发生任何变化？

如果错误请 hack。