There is a iteration process : Sk+1 =BSkAT+BTSkA
S is the similarity matrix of GA and GB. And A and B are adjacency matrices of graphs and S0 is a matrix whose entries are all equal to 1. Sequence Sk does not always converge, but the even and odd subsequences do converge.
I want to know how to measure if Sk reach it limit in the iteration process?