algorithm.md

Algorithm

Let $A=a_{11}{a}_{12}..a_{1k_1},a_{21}..a_{N{k}_N}$ and $B=b_{11}{b}_{12}..b_{1l_1},b_{21}..b_{M{l}_M}$ be tokens of length N and M respectively. Each token $A_i$ in $A$ and $B_j$ in $B$ have length $k_i$ and $l_j$ respectively. The alignment $A{L}_{AB}$ of $A$ to $B$ is such that $ \forall j \in AL_{AB,i} => B_j \cap A_i $. ($t\cap s$ means t partially matches s.) For example, $a=["f","o","o"],b=["fo","o"]=>A{L}_{AB}=[[1],[1],[2]],A{L}_{BA}=[[1,2],[3]]$. The goal of this algorithm is to find such $A{L}_{AB}$ and $A{L}_{BA}$

1. Normalize tokens in the unicode normalization form "NFKD", then lowercase all characters.
2. Concatenate all tokens $A$ and $B$ to generate $TA$ and $TB$ respectively
3. Calculate shortest path on edit graph of $TA$ and $TB$
4. Get character mapping $C_{AB}$ and $C_{BA}$ from the edit graph
5. Get $A{L}_{AB}$ and $A{L}_{BA}$ from the character alignments $C_{AB}$ and $C_{BA}$

Details:

1. Normalize tokens in the unicode normalization form "NFKD"

To compare the token positions, we must compare each characters in tokens. Because the two tokenizations may be partially different, we normalize them in "NFKD" and lowercase them first.

2. Concatenate all tokens $A$ and $B$ to generate $TA$ and $TB$ respectively

Before calculating the edit graph, we combine tokens into text. For example, if we have tokens ["Foo", "bar"], we concatenate them into one text Foobar.

3. Calculate shortest path on edit graph from $TA$ and $TB$

We calculate the shortest path on edit graph from texts $TA$ and $TB$ to get character map between them. The path can be calculated, for example, by Myers' algorighm

4. Get character alignments $C_{AB}$ and $C_{BA}$ from the edit graph

Let $T{A}_i$ and $T{B}_j$ be the i-th and j-th character in the text $TA$ and $TB$, respectively. $C_{AB}$ is a mapping from $TA$ to $TB$ such that $C_{AB},i\ne -1\wedge C_{AB,i}=j\Rightarrow T{A}_i=T{A}_j$. For example, $TA=f0o,TB=fboo$ then $C_{AB}=[1,-1,3],C_{BA}=[1,-1,3,-1]$. We can calculate $C_{AB}$ and $C_{BA}$ from the shortest path on the edit graph. If there exists diagonal edge $(i-1,j-1)->(i,j)$ in the path, $C_{AB,i}=j$ and $C_{BA,j}=i$. If there doesn't exist any diagonal edge to $\mathrm{\forall }j(i,j)$ then $C_{AB,i}=-1$.

5. Get $A{L}_{AB}$ and $A{L}_{BA}$ from the character alignments $C_{AB}$ and $C_{BA}$

Now we can calculate the desired $A{L}_{AB}$ and $A{L}_{BA}$ from the previous calculated $C_{AB}$ and $C_{BA}$.