>>833
出現する記号+-*/を順に並べ、
+→aa
-→bb
*→ab
/→ba
という２文字に変換して、2n-2文字の文字列を作ると、
+と-が同数という制約からaとbは同数となり、
aとbをn-1文字ずつ並べる順列と、>>825の条件を満たす演算子列が1対1に対応する
というわけか。