>>514,529
a[7]=7 にはならない。なぜなら、
順列7654321は転倒数が21であり、操作1,2は転倒数を高々それぞれ1,3しか増加させないので、
操作数が7なら、すべて操作2でなくてはならないが、この場合、互いに独立した1357と246の隣接互換での操作に等しい。
それぞれ7531と642にする操作数は、それぞれ6,3なので、合わせて9となり、矛盾する。
また、順列7654321は置換として奇置換であり、操作1,2も奇置換であるから、操作数は奇数。
したがって、上のすべて操作2の場合が最小となり、a[7]=9。
PCにやらせた結果も、a[7]=9。
PCの結果は、a[2]=a[3]=1, a[4]=a[5]=4, a[6]=7, a[7]=9, a[8]=14, a[9]=16。
（a[9]=16 出すのに数時間かかった。）