为什么输出方案时从后往前每次选字典序最大就能保证答案序列字典序最小

比如：假如23145和12453都是合法方案，按这种方法应该就会输出23145吧

程序如图（状压题）（自己写的，勿喷）