AOJ 安定なソートに関しての質問です。
1 isStable(in, out)
2 for i = 0 to N-1
3 for j = i+1 to N-1
4 for a = 0 to N-1
5 for b = a+1 to N-1
6 if in[i] と in[j] の数字が等しい && in[i] == out[b] && in[j] == out[a]
7 return false
8 return true
が擬似コードとして示されておりますが、in[i] == out[b] && in[j] == out[a]の部分のaとbがなぜ必要なのか、この部分があることによりなぜ判定ができるのかが、考えてもわかりませんでした。
この理由について教えていただければ幸いです。