Exact algorithms for pairwise protein structure alignment door