i<ji < ji<jかつAi>AjA_i > A_jAi>Ajとなる1つのペアの解への寄与を考えます。
このペアが含まれる区間の個数はi×(N−j+1)i \times (N-j+1)i×(N−j+1)個です。
jjjを固定して考えた際、Ai>AjA_i > A_jAi>Ajとなるiiiについて、∑i×(N−j+1)\sum i \times (N-j+1)∑i×(N−j+1)が答えに加わることになります。
Fenwick treeで条件を満たすAiA_iAiにiiiを加算すればAjA_jAjが決まれば高速に総和を求めることができます。
Rust
C++