A fast algorithm for the string editing problem and decision graph complexity